К обсуждениям

Linux iommufd: аудит hwpt при replace device

Редакция VOne Технологии

Как проверить, что Linux iommufd отвечает на faults через правильный old hwpt при замене device: object map, mock faults и строгая изоляция IOMMU стенда.

Граница исправления: iommufd hardware page table replacement

При замене device helper автоматического ответа на faults получал новый hwpt вместо старого handle context; исправление передаёт корректный page-table object. Это узкая граница iommufd hardware page table replacement: совпадение версии Linux, семейства устройства или общего симптома ещё не устанавливает достижимость именно этого path. Карточка GHSA-jg86-gjjj-22qv сопоставляет проблему с CVE-2026-80894, а stable commit показывает фактическое изменение upstream. Сначала подтверждают загруженное ядро и наличие backport, затем конфигурацию компонента и только потом runtime-ветку. Отсутствие сбоя в одном запуске не равно PASS, а наличие advisory не означает инцидент. Все UNKNOWN сохраняют до получения provenance; выводы не расширяют на другие drivers или версии.

Артефакт контроля для iommufd hardware page table replacement

Основной рабочий артефакт — object map device × old hwpt id × new hwpt id × pending fault owner × response target × replace phase. В исходную строку входят kernel/iommufd commit, mock device, IOAS/HWPT object ids, pending synthetic fault, old handle, new handle и refcounts. Каждое поле получает фактическое значение, TRUE/FALSE/UNKNOWN и ссылку на воспроизводимый источник: package digest, runtime symbol, trace marker либо selftest output. Версия из репозитория или панели не заменяет хеш загруженного kernel image. IP, usernames, ключи, содержимое buffers, пользовательские файлы и длинные raw logs исключают; достаточно относительных ids и агрегированных counters.

Обратимый тест: linux-iommufd-hwpt-replace-fault-response-check

В IOMMU selftest fixture создать два mock HWPT, пометить один безвредный pending fault за old object и выполнить replace с trace только object ids. Перед стартом фиксируют SHA-256 fixture, baseline counters и конкретный rollback либо snapshot. Меняют один фактор, ограничивают число итераций и deadline, после чего выполняют штатный teardown и повторно снимают те же показатели. Положительный контроль подтверждает работоспособность harness; отрицательный должен остановиться на ожидаемой границе, а не просто не упасть. Реальные пользовательские данные, внешняя сеть и production credentials в fixture не входят.

PASS и решение по CVE-2026-80894

PASS: Fault response адресован old HWPT до его release, new HWPT не получает чужой event, replace завершается, а refcounts обоих objects сходятся после teardown. Рекомендуемое действие: Применить stable commit; до обновления не совмещать HWPT replacement с доступными пользователю fault queues на затронутой версии. UPDATE-REQUIRED ставят при affected runtime или отсутствии подтверждённого backport. NOT-REACHABLE допустим только для проверенного entry point, а не для всего продукта. UNKNOWN нужен при расхождении binary, config и документации. После штатного обновления повторяют тот же узкий control и один нормальный smoke-test, не совмещая это с firmware, network, storage или policy changes: иначе причинность результата потеряется.

Stop-rule для iommufd hardware page table replacement

Не связывать физическое PCI device, не DMA-мапить реальные страницы и прекратить при IOMMU fault вне mock domain или расхождении object ownership. После первого неожиданного warning, timeout, sanitizer report или изменения за пределами fixture не повышают нагрузку, права и объём входа. Тест не должен превращаться в воспроизведение атаки: не ищут дополнительные malformed variants, не публикуют trigger bytes, memory dumps, адреса и конфигурацию инфраструктуры. Если безопасной модели недостаточно для решения, работу останавливают и передают владельцу kernel/platform минимальный evidence pack; advisory используется как граница проверки, а не как утверждение о прошлом событии.

Минимальный пакет сопровождения iommufd hardware page table replacement

Передать владельцу следует только: kernel digest, anonymized object ids, old/new map, pending-fault owner, response target, refcounts и selftest cleanup proof. Добавляют московское время, expected/actual, прямые ссылки на GHSA-jg86-gjjj-22qv и stable commit, а также владельца rollback. Перед отправкой удаляют абсолютные домашние пути, hostnames, IP, serial numbers, pid, session identifiers, cookies, токены и payloads. Пакет должен позволять проверить ровно один заявленный инвариант, но не раскрывать среду. Он не доказывает отсутствие прошлой эксплуатации, применимость к иной сборке, массовость пользовательской боли, поисковый спрос, индексацию либо будущие позиции страницы.

Материал подготовлен редакцией VOne с помощью автоматизированного черновика. Факты и границы вывода сверены 5 сентября 2026 года по прямой advisory и первичному stable commit. Текст написан самостоятельно; опасные действия и реальные пользовательские данные не использовались.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.