Безопасный аудит Linux KVM s390 PCI: вычисление размеров AIBV/AISB, validation-before-pin и табличный control без pinning guest production pages.
Граница исправления: KVM s390 PCI interrupt buffers
Размер AIBV зависит от NOI и AIBVO; исправление проверяет AIBV и AISB до pinning guest pages, чтобы недопустимые границы не доходили до memory operation. Это узкая граница KVM s390 PCI interrupt buffers: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-4g2w-hpr2-f26j сопоставляет проблему с CVE-2026-80891, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.
Артефакт контроля для KVM s390 PCI interrupt buffers
Основной рабочий артефакт — calculation sheet NOI × AIBVO × derived AIBV bytes × AISB address span × validation result × pin-call count. В исходную строку входят kernel/KVM commit, synthetic function NOI/AIBVO, guest address limits, page size, mock pin counter и допустимые maximum values. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.
Обратимый тест: linux-kvm-s390-aibv-aisb-size-validation
В s390 KVM selftest рассчитать несколько крайних descriptors и передать их validator с mock pin callback; реальные guest pages не выделяются и не закрепляются. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.
PASS и решение по CVE-2026-80891
PASS: Допустимый descriptor вызывает ожидаемый mock pin, overflow/out-of-range варианты отклоняются раньше, их pin-call count остаётся нулевым, arithmetic не wraps. Рекомендуемое действие: Установить stable backport; до обновления не принимать изменение interrupt buffer geometry от недоверенного guest control plane. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.
Stop-rule для KVM s390 PCI interrupt buffers
Не закреплять production guest memory, не запускать на LPAR без test isolation и остановиться при любом реальном pin либо расхождении address limit. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.
Минимальный пакет сопровождения KVM s390 PCI interrupt buffers
Передать владельцу следует только: kernel/KVM hashes, NOI/AIBVO inputs, derived sizes, validator codes, mock pin counts, arithmetic flags и selftest environment id. Добавляют московское время, expected/actual, прямые ссылки на GHSA-4g2w-hpr2-f26j и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.
Источники и проверка
- GitHub Advisory GHSA-4g2w-hpr2-f26j проверено 2026-09-05
- Linux stable commit for KVM s390 PCI interrupt buffers проверено 2026-09-05
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.