kutolewa kwa mradi , ambayo inakuwezesha kuunda mifumo ya uendeshaji kwa programu moja, ambayo maombi hutolewa kama "unikernel" ya kujitegemea ambayo inaweza kutekelezwa bila matumizi ya mifumo ya uendeshaji, kernel tofauti ya OS na tabaka yoyote. Lugha ya OCaml hutumiwa kukuza programu. Msimbo wa mradi chini ya leseni ya bure ya ISC.
Utendaji wote wa kiwango cha chini wa mfumo wa uendeshaji unatekelezwa kwa namna ya maktaba ambayo imeunganishwa kwenye programu. Programu inaweza kuendelezwa katika OS yoyote, baada ya hapo inajumuishwa kuwa kernel maalum (wazo ), ambayo inaweza kukimbia moja kwa moja juu ya Xen, KVM, BHyve na VMM (OpenBSD) hypervisors, juu ya majukwaa ya simu, kama mchakato katika mazingira yanayotii POSIX, au katika Amazon Elastic Compute Cloud na Google Compute Engine mazingira ya wingu.
Mazingira yanayotokana hayana kitu chochote kisichozidi na huingiliana moja kwa moja na hypervisor bila viendeshi au tabaka za mfumo, ambayo inaruhusu kupunguzwa kwa kiasi kikubwa kwa gharama za juu na kuongezeka kwa usalama. Kufanya kazi na MirageOS kunakuja chini kwa hatua tatu: kuandaa usanidi na kutambua zile zinazotumika katika mazingira. , kujenga mazingira na kuzindua mazingira. Muda wa kukimbia juu ya Xen unategemea punje iliyovuliwa , na kwa viboreshaji vingine na mifumo inayotegemea kernel .
Licha ya ukweli kwamba programu na maktaba zinaundwa katika lugha ya kiwango cha juu cha OCaml, mazingira yanayotokana yanaonyesha utendaji mzuri na saizi ndogo (kwa mfano, seva ya DNS inachukua KB 200 pekee). Utunzaji wa mazingira pia umerahisishwa, kwani ikiwa ni muhimu kusasisha programu au kubadilisha usanidi, inatosha kuunda na kuzindua mazingira mapya. Imeungwa mkono katika lugha ya OCaml kufanya shughuli za mtandao (DNS, SSH, OpenFlow, HTTP, XMPP, n.k.), fanya kazi kwa kuhifadhi na kutoa usindikaji wa data sambamba.
Mabadiliko makuu katika toleo jipya yanahusiana na kutoa usaidizi kwa vipengele vipya vinavyotolewa kwenye kisanduku cha zana (mazingira ya sanduku la mchanga kwa kukimbia unikernel):
- Imeongeza uwezo wa kuendesha unikernel MirageOS katika mazingira ya pekee ("mchakato wa zabuni ya sanduku la mchanga") iliyotolewa na zana ya zana . Unapotumia mazingira ya nyuma ya spt, kokwa za MirageOS huendeshwa katika michakato ya watumiaji wa Linux ambapo utengaji mdogo zaidi unatumika kulingana na seccomp-BPF;
- Usaidizi umetekelezwa kutoka kwa mradi wa Solo5, ambao hukuruhusu kufafanua adapta nyingi za mtandao na vifaa vya kuhifadhi vilivyoambatishwa kwa unikernel kwa kutengwa kulingana na hvt, spt na muen backends (matumizi ya nyuma ya genode na virtio kwa sasa yamepunguzwa kwa kifaa kimoja);
- Ulinzi wa backends kulingana na Solo5 (hvt, spt) umeimarishwa, kwa mfano, jengo katika hali ya SSP (Stack Smashing Protection) imetolewa.
Chanzo: opennet.ru