Институт системного программирования им. В.П. Иванникова РАН


Cистема для выявления состояний гонки в модулях ядра Linux

Никита Комаров. Начало семинара - 16 апреля 2014 г.

Одним из важных классов ошибок в программах являются состояния гонки, особенно распространенные и опасные в таких программных продуктах, как ядро операционной системы. В докладе будут рассмотрены некоторые подходы к поиску таких ошибок. Будет представлена система Racehound для выявления состояний гонки в ядре ОС Linux, а также описаны некоторые особенности ее реализации.

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

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

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

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