Defensive-проверка исправления Linux OCFS2 circular locking dependency: lock graph, direct-I/O completion и lockdep в одноразовом filesystem image.
Граница исправления: OCFS2 direct-I/O write completion
Circular dependency связывала INODE_ALLOC, EXTENT_ALLOC и ORPHAN_DIR system inodes на ocfs2_dio_end_io_write path; исправление меняет опасный порядок. Это узкая граница OCFS2 direct-I/O write completion: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-3265-4r84-rmmm сопоставляет проблему с CVE-2026-80879, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.
Артефакт контроля для OCFS2 direct-I/O write completion
Основной рабочий артефакт — directed lock graph acquisition edge × callsite × held locks × requested lock × lockdep result. В исходную строку входят kernel/OCFS2 commit, cluster mode fixture, filesystem image hash, direct-I/O range, three system-inode locks, lockdep state и mount lifecycle. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.
Обратимый тест: linux-ocfs2-dio-end-io-lock-order-check
В одноразовой VM смонтировать новый маленький OCFS2 image, выполнить один bounded direct write и completion под lockdep, затем размонтировать и удалить image. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.
PASS и решение по CVE-2026-80879
PASS: Граф не содержит цикл между тремя system inodes, completion укладывается в deadline, lockdep не предупреждает, filesystem check после unmount чист. Рекомендуемое действие: Применить stable backport; до обновления не использовать затронутый DIO write path для недоверенных workloads и не выключать lockdep ради прохождения теста. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.
Stop-rule для OCFS2 direct-I/O write completion
Не подключать production cluster/disks, не имитировать I/O failure вне fixture и остановиться при lockdep report, hung task или ошибке unmount. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.
Минимальный пакет сопровождения OCFS2 direct-I/O write completion
Передать владельцу следует только: kernel/OCFS2 hashes, image hash, lock graph edges, DIO range, completion time, lockdep result и offline fs-check summary. Добавляют московское время, expected/actual, прямые ссылки на GHSA-3265-4r84-rmmm и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-3265-4r84-rmmm проверено 2026-09-05
- Linux stable commit for OCFS2 direct-I/O write completion проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.