Издаване на MirageOS 3.6, платформа за стартиране на приложения върху хипервизор

Се състоя релиз на проекта MirageOS 3.6, което позволява създаването на операционни системи с едно приложение, в които приложението се доставя като самодостатъчен „unikernel“, способен да работи без операционни системи, отделно ядро на ОС и каквито и да било прослойки. За разработка на приложения се използва езикът OCaml. Кодът на проекта се разпространява е под свободната лицензия ISC.

Цялата нискоуровнева функционалност, присъща на операционната система, е реализирана под формата на библиотека, прикрепяна към приложението. Приложението може да бъде разработено в която и да е ОС, след което се компилира в специализирано ядро (концепцията unikernel), което може да се стартира директно върху хипервизорите Xen, KVM, BHyve и VMM (OpenBSD), върху мобилни платформи, под формата на процес в POSIX-съвместима среда или в облачни среди Amazon Elastic Compute Cloud и Google Compute Engine.

Сгенерираната среда не съдържа нищо излишно и взаимодейства директно с хипервизора без драйвери и системни прослойки, което позволява значително намаляване на разходите и повишаване на сигурността. Работата с MirageOS се състои от три етапа: подготовка на конфигурацията с определяне на използваните в средата OPAM-пакети, сборка на средата и стартиране на средата. Runtime за осигуряване на работа върху Xen е базиран на съкратено ядро Mini-OS, а за другите хипервизори и системи на базата на ядро Solo5.

Въпреки че приложенията и библиотеките се формулират на високоуровневия език OCaml, крайният облик на средите показва достатъчно добро представяне и минимален размер (например, DNS-сервера заема само 200 Кб). Опростява се и поддържането на средите, тъй като при необходимост от актуализиране на програмата или промяна на конфигурацията, е достатъчно да се създаде и стартира нова среда. Поддържат се няколко десетки библиотеки на езика OCaml за извършване на мрежови операции (DNS, SSH, OpenFlow, HTTP, XMPP и т.н.), работа с хранилища и осигуряване на паралелна обработка на данни.

Основните изменения в новото издание се свързват с осигуряване на поддръжка на нови възможности, предложени в инструментария Solo5 0.6.0 (sandbox-среда за изпълнение на unikernel):

• Добавена е възможността за стартиране на unikernel MirageOS в изолирана среда spt („sandboxed process tender“), предоставяна от инструментария Solo5. При използване на бекенда spt, ядрото на MirageOS се стартира в потребителски процеси на Linux, към които се прилага минимална изолация на база seccomp-BPF;
• Осъществена е поддръжка на манифеста на приложенията от проекта Solo5, позволяващ да се определят няколко прикрепени към unikernel мрежови адаптера и устройства за съхранение при изолация на база бекенди hvt, spt и muen (използването на бекенди genode и virtio в момента е ограничено до едно устройство);
• Укрепена е защитата на бекендите на база Solo5 (hvt, spt), например, осигурена е компилация в режим SSP (Stack Smashing Protection).

Източник: opennet.ru