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


О реализации метода выявления состояний гонки для модулей ядра Linux на основе точек прерывания.

Авторы

Никита Комаров

Аннотация

Важным классом ошибок в программном обеспечении являются состояния гонки. Ошибки этого класса становятся более распространенными и более опасными с разработкой и широким внедрением многопроцессорных и многоядерных систем, особенно в таких принципиально параллельных окружениях, как ядро операционной системы. В статье рассматриваются некоторые существующие подходы к выявлению состояний гонки, включая систему DataCollider, основанную на отслеживании конкурирующих доступов к памяти. Также в статье представлен RaceHound, система для обнаружения состояний гонки для драйверов Linux, основанная на принципах, аналогичных DataCollider.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

верификация; динамическая верификация; верификация драйверов; состояния гонки; ядро linux; операционные системы

Издание

Труды SYRCoSE 2013

DOI: 10.15514/SYRCOSE-2013-7-14

978-5-91474-020-4

Научная группа

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

Все публикации за 2013 год Все публикации