Објавување на MirageOS 4.0, платформа за извршување на апликации на врвот на хипервизорот

По една и пол година развој, објавено е изданието на проектот MirageOS 4.0, кој овозможува создавање оперативни системи за една апликација, во која апликацијата се испорачува како самостоен „уникернел“, способен да работи без употребата на оперативни системи, посебно јадро на ОС и какви било слоеви. Јазикот OCaml се користи за развој на апликации. Проектниот код се дистрибуира под бесплатната ISC лиценца.

Целата функционалност на ниско ниво својствена за оперативниот систем е имплементирана во форма на библиотека која е прикачена на апликацијата. Апликацијата може да се развие на кој било оперативен систем, по што се компајлира во специјализирано јадро (концепт unikernel), кое може да работи директно на врвот на хипервизорите Xen, KVM, BHyve и VMM (OpenBSD), на врвот на мобилните платформи, во форма на процес во средина во согласност со POSIX или во облак средини Amazon Elastic Compute Cloud и Google Compute Engine.

Генерираната околина не содржи ништо излишно и директно комуницира со хипервизорот без драјвери или системски слоеви, што овозможува значително намалување на општите трошоци и зголемена безбедност. Работата со MirageOS се сведува на три фази: подготовка на конфигурацијата со дефинирање на OPAM пакетите што се користат во околината, составување на околината и лансирање на околината. За да се обезбеди работа над хипервизорите, Runtime е изграден врз основа на кернелот Solo5.

И покрај фактот дека апликациите и библиотеките се креираат на јазикот OCaml на високо ниво, добиените околини покажуваат прилично добри перформанси и минимална големина (на пример, серверот DNS зафаќа само 200 KB). Одржувањето на околините е исто така поедноставено, бидејќи ако е неопходно да се ажурира програмата или да се промени конфигурацијата, доволно е да се создаде и стартува нова средина. Неколку стотици библиотеки на јазикот OCaml се поддржани за извршување на мрежни операции (DNS, SSH, OpenFlow, HTTP, XMPP, Matrix, OpenVPN, итн.), Работа со складирање и обезбедување на паралелна обработка на податоци.

Клучни подобрувања:

• Променет е процесот на составување проекти и уникернел. Наместо претходно користениот систем за склопување ocamlbuild, се користат комплетот алатки за дина и локални складишта (monorepo). За да се создадат такви складишта, додадена е нова алатка, opam-monorepo, што овозможува да се одвои управувањето со пакетите од зградата од изворниот код. Услужната алатка opam-monorepo работи како што е создавање датотеки за заклучување за зависности поврзани со проекти, вчитување и извлекување на код за зависност и поставување на околината за користење на системот за изградба на дина. Вистинското склопување го врши комплетот со алатки за дина.
• Обезбеден е повторлив процес на градење. Користењето датотеки за заклучување обезбедува врска до верзиите на зависност и ви овозможува целосно да го повторите процесот на градење со истиот код во секое време.
• Имплементиран е нов процес на вкрстено компајлирање и обезбедена е можност за вкрстено компајлирање за сите поддржани целни платформи од една заедничка градежна средина, која исто така вкрстува зависности и библиотеки кои имаат врски C, без потреба да се додаваат овие врски во главниот пакет. Вкрстената компилација е организирана користејќи работни простори обезбедени од системот за изградба на дина.
• Додадена е поддршка за нови целни платформи, на пример, обезбедена е експериментална способност за градење самостојни апликации за работа на табли Raspberry Pi 4.
• Направена е работа на интегрирање на делови од MirageOS во екосистеми поврзани со развојот на јазикот OCaml за да се поедностави склопувањето на апликациите во форма на уникернел. Многу пакети MirageOS се пренесени во системот за изградба на дина. Услужната алатка opam-monorepo е достапна за инсталација со помош на менаџерот на пакети opam и може да се користи во проекти кои користат систем за изградба на дина. За одржување на закрпи кои решаваат проблеми со градење зависности во дина, создадени се две складишта: dune-universe/opam-overlays и dune-universe/mirage-opam-overlays, кои се стандардно овозможени кога се користи алатката Mirage CLI.
• Интеграцијата на MirageOS со библиотеките C и Rust е поедноставена.
• Предложено е ново траење на OCaml кое ви овозможува да правите без libc (libc-free).
• Можно е да се користи услугата Merlin за интеграција со стандардни интегрирани развојни околини.

Извор: opennet.ru