Аудит исправления race в Linux mshv_irqfd_deassign: lock-ownership trace, список pt_irqfds и ограниченный concurrency test в nested VM.
Граница исправления: mshv irqfd deassign lifecycle
Деактивация irqfd и обход pt_irqfds_list требуют pt_irqfds_lock; исправление удерживает lock на deassign path и устраняет несинхронизированный обход. Это узкая граница mshv irqfd deassign lifecycle: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-322j-r4fq-pwx8 сопоставляет проблему с CVE-2026-80896, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.
Артефакт контроля для mshv irqfd deassign lifecycle
Основной рабочий артефакт — lock timeline thread × operation × pt_irqfds_lock owner × list node state × deactivate count × free point. В исходную строку входят kernel/mshv commit, synthetic eventfd ids, list length, lockdep/KCSAN settings, deassign threads, iteration cap и teardown baseline. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.
Обратимый тест: linux-mshv-irqfd-deassign-lock-race-audit
В nested VM два ограниченных потока чередуют assign/deassign одного synthetic irqfd с фиксированным barrier; test заканчивается по малому счётчику, а не по времени. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.
PASS и решение по CVE-2026-80896
PASS: Каждый list traversal и deactivate наблюдается под lock, node удаляется один раз, lockdep/KCSAN молчат, eventfd refs возвращаются к baseline. Рекомендуемое действие: Обновить stable kernel; пока backport не подтверждён, сериализовать control-plane deassign операции и исключить их из недоверенного API. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.
Stop-rule для mshv irqfd deassign lifecycle
Не увеличивать число потоков после любого warning, не выполнять на host partition и остановиться при hung eventfd, list corruption или невозможности восстановить snapshot. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.
Минимальный пакет сопровождения mshv irqfd deassign lifecycle
Передать владельцу следует только: kernel/mshv hashes, iteration cap, lock-owner trace, node lifecycle, eventfd refs, sanitizer verdict и cleanup timestamp. Добавляют московское время, expected/actual, прямые ссылки на GHSA-322j-r4fq-pwx8 и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-322j-r4fq-pwx8 проверено 2026-09-05
- Linux stable commit for mshv irqfd deassign lifecycle проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.