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


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

Никита Комаров. Начало семинара - 15 января 2013 г.

Важным классом ошибок в программах являются состояния гонки: ситуации, когда несколько потоков одновременно пытаются получить доступ к одним и тем же данным, причем хотя бы один из них выполняет запись. Ошибки этого класса становятся более распространенными и более опасными с развитием многопроцессорных и многоядерных систем, особенно в таких принципиально работающих параллельно программных средах, как ядро операционной системы. В докладе будут рассмотрены некоторые существующие алгоритмы, такие как Lockset и Happens-before, и основанные на них программные системы для выявления состояний гонки, в том числе в ядре операционной системы. Будет более подробно рассмотрена система DataCollider, разработанная в Microsoft Research, и представлена программная система Racehound для ОС Linux, построенная на аналогичных принципах, а также описаны некоторые особенности реализации этой системы.

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

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

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

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