12.05.2013: Проект LDV - первая сотня ошибок в ядре Linux исправлена
С выпуском ядра Linux-3.10-rc1 достигнут первый рубеж для проекта Linux Driver Verification. В этот релиз вошло 100-ое исправление ошибки, обнаруженной в ходе проекта. 86 патчей, подготовленных членами нашей команды, приняты в основную ветку разработки ядра Linux.
Полный список обнаруженных в ходе проекта LDV ошибок в ядре можно посмотреть здесь. На графике ниже с помощью нарастающего итога представлена статистика исправления ошибок в различных подсистемах ядра Linux. Первая ошибка была исправлена в ядре версии 2.6.31, релиз которого состоялся 9 сентября 2009 года. Исправления последних обнаруженных ошибок будет доступно в ядре версии 3.10, которое выйдет в ближайшее время. Помимо статистики по подсистемам ядра Linux, на графике также представлено среднее количество исправлений ошибок в зависимости от версии ядра (оранжевая пунктирная линия). Данная линия демонстрирует, что в проекте LDV скорость обнаружения новых проблем в ядре в целом возрастает с течением времени, что обусловлено увеличением усилий, направляемых на анализ результатов верификации последних версий ядра, а также поддержкой проверки новых правил.