Гипервизоры Type-1 Bare-Metal: виртуализация с нулевыми накладными расходами
Сравнение QNX Hypervisor, ACRN, PikeOS и Xen Automotive: накладные расходы CPU, задержка переключения контекста и сертификация ASIL.
Трансляция Stage-2 и аппаратная защита памяти SMMU
Архитектура Arm использует двухэтапную трансляцию памяти: Stage-1 управляется гостевой ОС, а Stage-2 контролируется гипервизором, исключая выход за пределы выделенной физической памяти.
Планирование vCPU и привязка к физическим ядрам
Для исключения джиттера гипервизор привязывает vCPU ASIL-D строго 1:1 к выделенным физическим ядрам. Лишь второстепенные системы делят остальные ядра по квантам времени.
- Выполнение на уровне Arm EL2 с задержкой выхода из VM (VM-exit) менее микросекунды.
- Статическое выделение памяти, исключающее сбои динамического перераспределения страниц.
- Прямой проброс PCI-устройств (SR-IOV) для работы сети на максимальной скорости.
- Сертифицированные пакеты квалификации для аудита безопасности по ISO 26262 ASIL-D.
Исследовать портфель доменов