Сборники трудов ИСП РАН


Анализ типовых ошибок в драйверах операционной системы Linux.

В.С. Мутилин, Е.М. Новиков, А.В. Хорошилов.

Аннотация

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

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

операционная система; ядро; драйвер; правило взаимодействия; классификация ошибок

Издание

Труды Института системного программирования РАН, том 22, 2012, стр. 349-374.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2012-22-19

Полный текст статьи в формате pdf Вернуться к содержанию тома