- Об институте
- Инновации
- Структура
- Отдел "Архитектуры вычислительных систем"
- Отдел "Информационных систем"
- Отдел "Компиляторных технологий"
- Отдел "Системного программирования"
- Отдел "Системной интеграции и прикладных программных комплексов"
- Отдел "Теоретической информатики"
- Отдел "Технологий программирования"
- Ученый совет
- Диссертационный совет
- Центр верификации ОС Linux
- Исследовательский центр доверенного искусственного интеллекта
- Центр компетенции по параллельным и распределенным вычислениям
- Образование
- Издания
- Новости
- Лицензии
О реализации метода выявления состояний гонки для модулей ядра Linux на основе точек прерывания.
Авторы
Никита Комаров
Аннотация
Важным классом ошибок в программном обеспечении являются состояния гонки. Ошибки этого класса становятся более распространенными и более опасными с разработкой и широким внедрением многопроцессорных и многоядерных систем, особенно в таких принципиально параллельных окружениях, как ядро операционной системы. В статье рассматриваются некоторые существующие подходы к выявлению состояний гонки, включая систему DataCollider, основанную на отслеживании конкурирующих доступов к памяти. Также в статье представлен RaceHound, система для обнаружения состояний гонки для драйверов Linux, основанная на принципах, аналогичных DataCollider.
Полный текст статьи в формате pdf (на английском)Ключевые слова
верификация; динамическая верификация; верификация драйверов; состояния гонки; ядро linux; операционные системы
Издание
Труды SYRCoSE 2013
DOI: 10.15514/SYRCOSE-2013-7-14
978-5-91474-020-4