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

Авторы

Андрианов Павел, Мутилин Вадим, Хорошилов Алексей

Аннотация

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

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

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

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

Издание

Материалы международной научно-практической конференции Инструменты и Методы Анализа Программ(TMPA-2014), с.128-135, 14-15 ноября 2014, Кострома, Россия.

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

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

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

Все публикации