13.10.2015: Проект LDV - исправлена вторая сотня ошибок в ядре Linux

С выпуском ядра Linux-4.3-rc1 достигнут второй рубеж для проекта Linux Driver Verification. В этот релиз вошло 200 исправлений ошибок, обнаруженных в ходе проекта. 151 патч, подготовленный членами нашей команды, принят в основную ветку разработки ядра Linux.

Полный список обнаруженных в ходе проекта LDV ошибок в ядре можно посмотреть здесь. На графике ниже с помощью нарастающего итога представлена статистика исправления ошибок в различных подсистемах ядра Linux. Первая ошибка была исправлена в ядре версии 2.6.31, релиз которого состоялся 9 сентября 2009 года. Исправления последних обнаруженных ошибок будут доступны в ядре версии 4.3, которое выйдет в ближайшее время.

В среднем для ядра версий от 2.6.31 до 4.3-rc1 в каждой версии было исправлено около 6 ошибок. При этом с течением времени количество исправлений ошибок увеличивается. Объясняется это тем, что разработчики LDV Tools применяют ее на практике все более и более активно, а также тем, что постепенно расширяется список проверяемых правил. Стоит отметить, что последние 1-2 года с помощью LDV Tools выявляется больше ошибок в модулях ядра ОС Linux, чем разработчики LDV Tools успевают проанализировать и сообщить авторам соответствующих модулей.

Представленный график демонстрирует, что в целом количество исправляемых ошибок в подсистемах сохраняется пропорциональным. Скачки на графике объясняются изменениями набора проверяемых правил и параметров запуска системы верификации.