Поиск состояний гонки методами статического анализа

Павел Андрианов. Начало семинара - 02 апреля 2013 г.

Ошибки, связанные с многопоточным выполнением, остаются одними из самых сложно выявляемых. Наиболее распространенными причинами таких ошибок являются состояния гонок. В докладе будет рассказано о методе статической верификации для обнаружения состояний гонок в исходном коде ОС. Особенности задачи состоят в том, что должна учитываться специфика исходного кода ядер ОС, должна масштабироваться для применения к поиску состояний гонок в современных ОС. Метод основан на использовании адаптивного статического анализа, позволяющего совмещать различные техники анализа, в том числе использовать имеющийся в мире задел в области статической верификации.

С презентацией доклада можно ознакомиться здесь.

Семинар группы

Технологии программирования

Перейти к списку семинаров ИСП РАН