Данила Пучкин, разработчик-исследователь управления перспективных технологий Лаборатории Касперского.
Окончил факультет ВМК МГУ имени М.В. Ломоносова по специальности «Прикладная математика и информатика», продолжает учебу в аспирантуре. Занимается исследованиями и разработкой в области самовосстанавливающихся систем на базе KasperskyOS.
Задача контроля корректности вычислений встает перед разработчиками решений под любую операционную систему. При этом возникает необходимость как определения момента некорректного вычисления, так и локализации команд процесса, приведших к некорректным вычислениям. Для решения данной задачи использование подходов, основанных на контрольном таймере, дублировании процессов или наложенных средствах контроля, является или избыточным, или не гарантирует локализацию нарушения вычислений в максимально короткие сроки.
В докладе предлагаются подходы контроля корректности функционирования процессов, основанные на методе контроля размерностей переменных процесса. Предлагаемый метод позволяет определять некорректность производимых процессом вычислений непосредственно после исполнения некорректной команды.
