Эксперт перезагрузил Linux 292 612 раз, чтобы найти баг ядра

Эксперт перезагрузил Linux 292 612 раз, чтобы найти баг ядра

Эксперт перезагрузил Linux 292 612 раз, чтобы найти баг ядра

Ричард Джонс, один из разработчиков Red Hat, нашёл баг в системе Linux и сделал это очень интересным способом. Специалист заметил, что ОС виснет на этапе загрузки один из тысячи раз. Чтобы доказать свои выводы, Джонс загрузил компьютер 292 612 раз.

По словам эксперта, баг затрагивает ядро Linux версии 6.4. После того как Джонс перезагрузил устройство 292 612 раз, ещё тысяча перезагрузок понадобилась на подтверждение проблемы. Все манипуляции заняли у разработчика 21 час.

Эксперт показал, что брешь реже встречается на железе Intel, чем на AMD. Впервые Джонс заподозрил наличие бага, когда ряд софтовых тестов с протоколом nbdkit «рандомно зависали» при работе с инструментом libguestsfs (для доступа к образам дисков виртуальной машины и их модификации).

Несмотря на общую фазу тестирования в 21 час и 292 612 перезагрузок, Джонс отметил, что к этому он шёл несколько дней. Исследователь метался между Linux v6.0 и v6.4-rc6, чтобы выявить виновника бага. Последним оказалась регрессия функции printk.

Определить причину помог тот факт, что ошибка всегда возникала на одном и том же раннем этапе загрузки ОС (при запуске последней версии qemu). По ссылке можно увидеть, что самый простой способ воспроизвести баг — запустить команду guestfish в цикле со множеством параллельных копий.

Джонс, например, запускал guestfish в цикле 10 тыс. раз. Разработчик утверждает, что проблема зависания при загрузке возникает реже в системах Intel, чем в AMD. Ожидается, что на баг обратят внимание и поправят его.

OOXML — фикция: LibreOffice обвинила Microsoft в манипуляциях

Проблемы совместимости остаются одной из главных причин, по которым пользователи не спешат переходить с Microsoft Office на LibreOffice. Формально всё работает, но на практике время от времени всплывают странности с вёрсткой, форматированием и отображением данных. И, как считают в The Document Foundation (TDF), дело тут вовсе не в LibreOffice.

Фонд, стоящий за LibreOffice, снова выступил с жёсткой критикой Microsoft. В блоге Итало Виньоли — одного из основателей TDF — корпорация из Редмонда обвиняется в том, что она игнорирует интересы отрасли ради собственных коммерческих целей.

По его словам, утверждение «OOXML — это стандарт, и его просто нужно принять» выглядит, мягко говоря, странно.

Виньоли настаивает: Office Open XML (OOXML) не может считаться полноценным стандартом, пока Microsoft не готова радикально переработать сами приложения Office. В качестве примера он напомнил о давней проблеме Excel с автопреобразованием данных — истории, которая напрямую затронула научное сообщество.

Excel годами автоматически превращал текстовые значения в даты. Для обычных таблиц это удобно, но для генетиков — катастрофа. Названия генов вроде MARCH1, SEPT1 или DEC1 Excel воспринимал как даты и превращал их в «1-Mar», «1-Sep» и «1-Dec».

В 2016 году журнал Genome Biology проанализировал почти 3,6 тысячи научных работ с Excel-файлами и выяснил, что примерно в каждой пятой были ошибки, вызванные именно автозаменой форматов.

Долгое время Microsoft считала проблему нишевой и не давала возможность отключить такое поведение. Лишь в 2023 году компания добавила соответствующую настройку; уже после того, как Комитет по номенклатуре генов человека (HGNC) был вынужден переименовать около 27 генов, чтобы избежать ошибок. К тому моменту ущерб для исследований уже был нанесён.

По словам Виньоли, OOXML «открыт» лишь формально. Спецификация формата занимает около 7 000 страниц, что делает полноценную и корректную реализацию сторонними разработчиками почти невозможной.

Кроме того, Microsoft Office сам не использует строгую версию стандарта (Strict OOXML), предпочитая так называемый Transitional-вариант. В нём до сих пор есть зависимости от старых, проприетарных форматов и поведения древних версий Word — вплоть до элементов с названиями вроде autoSpaceLikeWord95 или shapeLayoutLikeWW8.

Отдельно Виньоли критикует рекомендации использовать Windows Metafile для графики вместо открытых и кросс-платформенных форматов вроде SVG.

Для пользователей всё это выливается в знакомую проблему: документы между Office и LibreOffice открываются, но не всегда так, как ожидалось. Для TDF же это очередное подтверждение того, что формат Office по-прежнему работает как инструмент удержания пользователей внутри экосистемы Microsoft.

Спор вокруг OOXML длится уже много лет, и новый выпад со стороны LibreOffice ясно показывает: вопрос совместимости и «открытых стандартов» по-прежнему далёк от закрытия.

RSS: Новости на портале Anti-Malware.ru