След година разработка беше публикувано издание на свободния хипервизор Xen 4.17. В разработката на новия епизод участваха компании като Amazon, Arm, Bitdefender, Citrix, EPAM Systems и Xilinx (AMD). Създаването на обновления за версия Xen 4.17 ще продължи до 12 юни 2024 г., а публикуването на корекции на уязвимости до 12 декември 2025 г.
Ключови промени в Xen 4.17:
- Осигурено е частично съответствие на изискванията за разработка на безопасни и надеждни програми на C, формулирани в спецификациите MISRA-C, използвани при създаването на критично важни системи. В Xen официално са внедрени 4 директиви и 24 правила от MISRA-C (от 143 правила и 16 директиви), а също така е осигурена интеграция в сборъчните процеси на статичния анализатор MISRA-C, който проверява изпълнението на изискванията от спецификацията.
- Предоставена е възможността за определяне на статична конфигурация на Xen за системи ARM, която предварително строго определя всички ресурси, нужни за стартиране на гостуващи системи. Всички ресурси, като споделена памет, канали за уведомление за събития и място в хипервизора, се разпределят предварително при стартиране на хипервизора, а не се выделят динамично, което изключва възможни сривове заради недостиг на ресурси по време на работа.
- За вградени системи на базата на архитектура ARM е реализирана експериментална (tech preview) поддръжка на виртуализация на вход/изход с използване на протоколи VirtIO. За обмен на данни с виртуално входно/изходно устройство се използва транспорт virtio-mmio, което позволи осигуряване на съвместимост с широк спектър от устройства VirtIO. Реализирана е поддръжка на фронтенд за Linux, инструментария (libxl/xl), режим dom0less и бекендове, стартирани в пространството на потребителя (тестирани бекендове virtio-disk, virtio-net, i2c и gpio).
- Подобрена е поддръжката на режима dom0less, който позволява да се избегне разгръщането на среда dom0 при стартиране виртуални машини в началния етап на зареждане на сървъра. Възможността за определяне на пулове CPU (CPUPOOL) е предоставена на етапа на зареждане (чрез дървото на устройството), което позволява използването на пулове в конфигурации без dom0, например за свързване на различни типове ядра CPU в ARM системи, базирани на архитектурата big.LITTLE, комбиниращи в един чип мощни, но енергийно интензивни ядра, и по-малко производителни, но по-енергоефективни ядра. Освен това, в dom0less е предоставена възможност за свързване на фронтенда/бекенда на паравиртуализацията към гостуващите системи, което позволява зареждането на гостуващи системи с необходимите паравиртуализирани устройства.
- В ARM системите структурирането на виртуализацията на паметта (P2M, Physical to Machine) сега се разпределя от паметния пул, образуван при създаването на домейна, което увеличава ефективността на изолацията между гостуващите системи при възникване на свързани със паметта грешки.
- За ARM системите е добавена защита от уязвимостта Spectre-BHB в микроархитектурните структури на процесорите.
- В ARM системите е предоставена възможност за стартиране на операционната система Zephyr в коренното окружение Dom0.
- Предоставена е възможност за отделно (out-of-tree) компилиране на хипервизора.
- В x86 системите е осигурена поддръжка за големи IOMMU страници (superpage) за всички типове гостуващи системи, което позволява увеличаване на пропускната способност при проброса на PCI устройства. Добавена е поддръжка за хостове с до 12 TB RAM. На етапа на зареждане е реализирана възможността за задаване на параметри cpuid за dom0. За управление в гостуващите системи, реализирани на ниво хипервизор, са предложени параметри VIRT_SSBD и MSR_SPEC_CTRL за защита от атаки към CPU.
- Отделно се развива транспортът VirtIO-Grant, който се отличава от VirtIO-MMIO с по-високо ниво на сигурност и възможност за стартиране на обработчици в отделен изолиран домейна за драйвери. В VirtIO-Grant вместо директно картографиране на паметта се използва транслация на физически адреси на гостуващата система в grant-свързвания, което позволява използването на предварително одобрени области на споделена памет за обмен на данни между гостуващата система и бекенда VirtIO, без предоставяне на бекенда права за извършване на картографиране на паметта. Поддръжката на VirtIO-Grant вече е реализирана в ядрото на Linux, но все още не е включена в бекендите на QEMU, в virtio-vhost и в инструментариума (libxl/xl).
- Развитието на инициативата Hyperlaunch продължава, с цел предоставяне на гъвкави инструменти за настройка на стартирането на виртуални машини по време на зареждането на системата. В момента е готов първият набор от пачове, позволяващ определяне на PV-домейни и прехвърляне на техните образи при зареждане на хипервизора. Осигурено е също всичко необходимо за стартиране на подобни паравиртуализирани домейни, включително компоненти на Xenstore за PV-драйвери. След приемането на пачовете ще започне работа по включване на поддръжка за устройства PVH и HVM, както и реализиране на отделен домейн domB (builder domain), подходящ за организиране на измерима загрузка (measured boot), потвърдяваща достоверността на всички зареждащи се компоненти.
- Работата по създаването на порта Xen за архитектурата RISC-V продължава.
Източник: opennet.ru
