projectrelease , waarmee applicatiesystemen worden gevormd waarin de applicatie wordt geleverd als een op zichzelf staande "unikernel", die kan draaien zonder gebruik van besturingssystemen, een afzonderlijke besturingskern en enige schillen. Voor de ontwikkeling van applicaties wordt de taal OCaml gebruikt. De code van het project is beschikbaar onder de ISC-vrijstelling.
Alle laag-niveau functionaliteit die typisch is voor een besturingssysteem is geĆÆmplementeerd in de vorm van een bibliotheek die aan de applicatie wordt toegevoegd. De applicatie kan in elk OS worden ontwikkeld en wordt daarna gecompileerd tot een gespecialiseerde kern (concept ), die direct kan draaien bovenop hypervisors zoals Xen, KVM, BHyve en VMM (OpenBSD), op mobiele platforms, als een proces in een POSIX-compatibele omgeving of in cloud-omgevingen zoals Amazon Elastic Compute Cloud en Google Compute Engine.
De gegenereerde omgeving bevat niets overbodigs en communiceert direct met de hypervisor zonder stuurprogramma's en systeemschelpen, wat aanzienlijke overheadvermindering en verhoogde veiligheid mogelijk maakt. Werken met MirageOS kan worden samengevat in drie fasen: configuratievoorbereiding met de specificatie van de gebruikte , samenstelling van de omgeving en lancering van de omgeving. De runtime voor de werking bovenop Xen is gebaseerd op een verkorte kernel , terwijl voor andere hypervisors en systemen gebaseerd op de kernel .
Hoewel applicaties en bibliotheken worden gevormd in de hoog-niveau taal OCaml, tonen de uiteindelijke omgevingen opmerkelijke prestaties en een minimale grootte (bijvoorbeeld een DNS-server neemt slechts 200 kB in beslag). Ook het onderhoud van omgevingen wordt vereenvoudigd, aangezien het, wanneer het programma of de configuratie moet worden bijgewerkt, voldoende is om een nieuwe omgeving te creƫren en te starten. Er worden ondersteund voor netwerkoperaties (DNS, SSH, OpenFlow, HTTP, XMPP, enz.), opslag en het waarborgen van parallelle gegevensverwerking.
De belangrijkste wijzigingen in de nieuwe release zijn gericht op het bieden van ondersteuning voor nieuwe mogelijkheden die worden aangeboden in de toolkit (sandbox-omgeving voor het uitvoeren van unikernel):
- De mogelijkheid om unikernel MirageOS in een geĆÆsoleerde omgeving te draaien is toegevoegd (āsandboxed process tenderā), geboden door de toolkit . Bij het gebruik van de spt backend worden MirageOS-kernen uitgevoerd in gebruikersprocessen van Linux, met minimale isolatie op basis van seccomp-BPF;
- Ondersteuning voor van het Solo5-project, dat het mogelijk maakt om meerdere aan unikernel gehechte netwerkadapters en opslagapparaten te definiƫren met isolatie op basis van de backends hvt, spt en muen (het gebruik van de backends genode en virtio is momenteel beperkt tot ƩƩn apparaat);
- De beveiliging van de backends op basis van Solo5 (hvt, spt) is versterkt, bijvoorbeeld met assemblage in de SSP-modus (Stack Smashing Protection).
Bron: opennet.ru
