rilascio del progetto , che consente la creazione di sistemi operativi basati su un'unica applicazione, in cui l'applicazione è fornita come un 'unikernel' autosufficiente, capace di funzionare senza l'uso di sistemi operativi, un kernel separato o qualsiasi interfaccia. Per lo sviluppo delle applicazioni viene utilizzato il linguaggio OCaml. Il codice del progetto è sotto licenza libera ISC.
Tutta la funzionalità a basso livello tipica di un sistema operativo è realizzata sotto forma di una libreria allegata all'applicazione. L'applicazione può essere sviluppata in qualsiasi sistema operativo, dopodiché viene compilata in un kernel specializzato (il concetto di ), che può essere eseguito direttamente sopra hypervisor come Xen, KVM, BHyve e VMM (OpenBSD), su piattaforme mobili, come processo in un ambiente compatibile POSIX o in ambienti cloud come Amazon Elastic Compute Cloud e Google Compute Engine.
L'ambiente generato non contiene nulla di superfluo e interagisce direttamente con l'iperparallelatore senza driver e strati di sistema, il che consente una significativa riduzione delle spese generali e un aumento della sicurezza. Lavorare con MirageOS si svolge in tre fasi: preparazione della configurazione con la definizione dei pacchetti OPAM usati nell'ambiente , costruzione dell'ambiente e avvio dell'ambiente. Il runtime per garantire il funzionamento sopra Xen si basa su un kernel semplificato , mentre per altri hypervisor e sistemi basati su kernel .
Nonostante le applicazioni e le librerie siano sviluppate in un linguaggio di alto livello come OCaml, gli ambienti finali mostrano prestazioni piuttosto buone e dimensioni minime (ad esempio, un server DNS occupa solo 200 KB). La gestione degli ambienti è semplificata, poiché, se necessario, per aggiornare il programma o modificare la configurazione, basta creare e avviare un nuovo ambiente. Sono supportate in OCaml per l'esecuzione di operazioni di rete (DNS, SSH, OpenFlow, HTTP, XMPP, ecc.), gestione dello storage e garantire l'elaborazione parallela dei dati.
Le principali modifiche nella nuova versione riguardano il supporto per le nuove funzionalità proposte nell'insieme di strumenti (ambiente sandbox per l'esecuzione di unikernel):
- È stata aggiunta la possibilità di eseguire unikernel MirageOS in un ambiente isolato («sandboxed process tender»), fornito dall'insieme di strumenti . Utilizzando il backend spt, i kernel MirageOS vengono eseguiti in processi utente Linux, con una minima isolamento basato su seccomp-BPF;
- Implementato il supporto per del progetto Solo5, che consente di definire più adattatori di rete e dispositivi di archiviazione collegati a unikernel, con isolamento basato su backend hvt, spt e muen (l'uso dei backend genode e virtio è attualmente limitato a un dispositivo);
- Rinforzata la protezione dei backend basati su Solo5 (hvt, spt), ad esempio, è stata garantita la compilazione in modalità SSP (Stack Smashing Protection).
Fonte: opennet.ru
