Бэкенд VIRTIO на базе Zephyr в Xen: к функциональной безопасности с открытым исходным кодом - Хир...

Присоединяйтесь к нам на ведущей независимой от поставщиков конференции по открытому исходному коду, где разработчики и технологи собираются вместе, чтобы сотрудничать, обмениваться знаниями и изучать последние инновации и достижения в области технологий с открытым исходным кодом. Узнайте больше на https://events.linuxfoundation.org/

Бэкенд VIRTIO на основе Zephyr для Xen: к функциональной безопасности открытого исходного кода — Хироши Токита

Модель DriverDomain в Xen традиционно включает в себя полноценную гостевую систему Linux — функциональную, но отнюдь не компактную.
В этой сессии будет представлен революционный бэкенд VIRTIO на основе Zephyr для Xen, разработанный Хироши Токитой, который уменьшает доверенную вычислительную базу до менее чем 1 МБ. Домен драйверов Zephyr загружается всего за десятки миллисекунд и работает всего на нескольких килобайтах оперативной памяти.

Эта экономия открывает новое пространство для проектирования: несколько специально разработанных доменов драйверов могут сосуществовать, при этом каждая виртуальная машина будет обслуживать только один — или несколько — классов устройств. Неисправный сетевой стек больше не угрожает хранилищу или графике, обеспечивая изоляцию отказов в стиле микроядра, сохраняя при этом проверенную архитектуру Xen.
Малый размер также упрощает сертификацию. Минимальную RTOS гораздо проще проверять, что делает функциональную безопасность с открытым исходным кодом доступной для автомобильной, робототехнической и других высоконадежных рабочих нагрузок.

В этом докладе описывается архитектура, текущий статус в upstream и путь к основной ветке. Участники получат рецепты сборки, советы по интеграции и конкретные первые проблемы — готовые помочь превратить более компактный Xen в мощный вариант для периферийных вычислений.