В Linux исправили ошибку, срабатывавшую 1 раз из 1000

Для этого пришлось сотни тысяч раз загрузить операционную систему.

Разработчику Ричарду Джонсу удалось исправить редкую ошибку в операционной системе Linux с ядром 6.4. Баг проявлялся при загрузке ОС, но очень редко — примерно один раз на тысячу загрузок операционной системы.

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

Оказалось, что ошибка появилась в какой-то момент после выхода ядра Linux 6.0. Затем последовало длительное тестирование; в общей сложности разработчик запустил Linux 292612 раз.

Запуски, конечно, проводились не вручную. Джонс написал специальный код, запускавший ОС и отслеживавший результат; код работал в несколько потоков, даже так процесс занял почти сутки.

В итоге выяснилось, что операционная система могла не загружаться из-за ошибки в функции printk. По какой-то причине ОС чаще зависала на процессорах AMD, чем на чипах Intel, но исследовать этот вопрос Джонс не стал.