È stato rilasciato Bareflank 3.0, un hypervisor che fornisce strumenti per lo sviluppo rapido di hypervisor specializzati. Bareflank è scritto in C++ e supporta C++ STL. L'architettura modulare di Bareflank consente di espandere facilmente le funzionalità esistenti dell'hypervisor e di creare varianti personalizzate, sia che funzionino su hardware (come Xen) sia che siano eseguite in ambienti software esistenti (come VirtualBox). È disponibile la possibilità di eseguire il sistema operativo dell'ambiente host in una macchina virtuale separata. Il codice del progetto è distribuito sotto la licenza LGPL 2.1.
Bareflank supporta Linux, Windows e UEFI su CPU Intel e AMD a 64 bit. Per la separazione hardware delle risorse macchine virtuali viene utilizzata la tecnologia Intel VT-x. In futuro è prevista l'aggiunta di supporto per macOS e sistemi BSD, oltre alla possibilità di operare su piattaforme ARM64. Inoltre, il progetto sta sviluppando un driver proprietario per il caricamento di VMM (Virtual Machine Manager), un caricatore ELF per il caricamento dei moduli VVM e un'applicazione bfm per la gestione dell'hypervisor dallo spazio utente. Viene fornito un toolkit per la scrittura di estensioni utilizzando elementi definiti nelle specifiche C++11/14, una libreria di gestione delle eccezioni (unwind) e una propria libreria runtime per supportare l'uso di costruttori/distruttori e la registrazione di gestori di eccezioni.
Sulla base di Bareflank, è in fase di sviluppo il sistema di virtualizzazione Boxy, che supporta l'esecuzione di sistemi guest e consente l'uso di macchine virtuali leggere con Linux e Unikernel per l'esecuzione di servizi o applicazioni specializzate. In forma di servizi isolati possono essere eseguiti sia normali servizi web sia applicazioni con requisiti specifici di affidabilità e sicurezza, isolati dall'influenza dell'ambiente host (l'ambiente host è isolato in una macchina virtuale separata). Bareflank è anche la base dell'hypervisor MicroV, progettato per l'esecuzione di macchine virtuali minimaliste (macchina virtuale di una singola applicazione), che implementa l'API KVM e si adatta alla creazione di sistemi critici.
Le principali novità di Bareflank 3.0:
- Transizione all'uso del concetto di microkernel. In precedenza, l'ipervisore aveva un'architettura monolitica, che richiedeva l'uso di una API speciale per la registrazione di chiamate di callback per espandere la funzionalità, rendendo difficile lo sviluppo di estensioni a causa del legame con il linguaggio C++ e della struttura interna. La nuova architettura basata sul microkernel implica la suddivisione dell'ipervisore in componenti del kernel, eseguiti in modalità ring zero, ed estensioni, eseguite nel terzo anello (spazio utente). Entrambe le parti operano in modalità root di VMX, mentre tutto il resto, incluso l'ambiente host, opera in modalità non-root di VMX. Le estensioni nello spazio utente implementano le funzionalità del gestore delle macchine virtuali (VMM) e interagiscono con il kernel dell'ipervisore attraverso chiamate di sistema, per le quali viene garantita la retrocompatibilità. Le estensioni possono essere create in qualsiasi linguaggio di programmazione, incluso l'uso del linguaggio Rust.
- È stata effettuata la transizione all'uso della propria libreria BSL con supporto per Rust e C++, che ha sostituito le librerie esterne libc++ e newlib. L'abbandono delle dipendenze esterne ha permesso di implementare in Bareflank il supporto nativo per la compilazione su Windows, semplificando lo sviluppo su questa piattaforma.
- È stato aggiunto il supporto per i processori AMD. Inoltre, lo sviluppo di Bareflank ora avviene su un sistema con CPU AMD e poi viene portato per CPU Intel.
- Nel caricatore è stato aggiunto il supporto per l'architettura ARMv8, l'adattamento dell'ipervisore per la quale sarà completato in una delle prossime versioni.
- È stata garantita la conformità ai requisiti per lo sviluppo di sistemi critici, formulati dalle organizzazioni AUTOSAR e MISRA.
Fonte: opennet.ru
