Как проверить memory ordering исправления Linux mshv pt_vp_array: event timeline, synthetic irqfd и race-test в отдельной VM без доступа к рабочему hypervisor.
Граница исправления: mshv VP creation and irqfd assertion
VP инициализировался до публикации в pt_vp_array, но irqfd path мог увидеть указатель без гарантии порядка; исправление связывает publish и чтение корректной синхронизацией. Это узкая граница mshv VP creation and irqfd assertion: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-8532-xhgq-93cj сопоставляет проблему с CVE-2026-80895, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.
Артефакт контроля для mshv VP creation and irqfd assertion
Основной рабочий артефакт — happens-before timeline allocation × mutex/waitqueue init × page map × array publish × irqfd dereference. В исходную строку входят kernel/mshv commit, число synthetic VP, irqfd fixture, publish/load primitives, race iterations, KCSAN state и VM snapshot. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.
Обратимый тест: linux-mshv-vp-publish-irqfd-ordering-check
В nested disposable VM многократно чередовать создание одного VP и безвредное eventfd assertion с барьерами scheduler; guest workload и внешние устройства не подключать. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.
PASS и решение по CVE-2026-80895
PASS: Ни один reader не видит VP до завершения всех init markers, KCSAN не сообщает race, assertion учитывается один раз и teardown освобождает VP/eventfd. Рекомендуемое действие: Использовать stable backport; до обновления не разрешать конкурентные create-VP и irqfd operations недоверенному control plane. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.
Stop-rule для mshv VP creation and irqfd assertion
Не запускать race-test на host hypervisor, не повышать concurrency после warning и остановиться при hung vCPU либо невозможности гарантировать nested rollback. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.
Минимальный пакет сопровождения mshv VP creation and irqfd assertion
Передать владельцу следует только: kernel/mshv hashes, ordering primitives, iteration count, init-marker bitmap, KCSAN result, eventfd count и teardown confirmation. Добавляют московское время, expected/actual, прямые ссылки на GHSA-8532-xhgq-93cj и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-8532-xhgq-93cj проверено 2026-09-05
- Linux stable commit for mshv VP creation and irqfd assertion проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.