{"id":101775,"date":"2021-10-25T22:22:37","date_gmt":"2021-10-25T20:22:37","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem"},"modified":"2021-10-25T22:22:37","modified_gmt":"2021-10-25T20:22:37","slug":"vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/novosti-interneta\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Pubblicazione di Muen 1.0, un microkernel open source per la creazione di sistemi altamente affidabili","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Dopo otto anni di sviluppo, \u00e8 stata rilasciata la versione 1.0 del progetto Muen, che sviluppa il nucleo di separazione (Separation kernel), la cui assenza di errori nel codice sorgente \u00e8 confermata da metodi matematici di verifica formale dell'affidabilit\u00e0. Il nucleo \u00e8 disponibile per l'architettura x86_64 e pu\u00f2 essere utilizzato in sistemi critici che richiedono un alto livello di affidabilit\u00e0 e garanzia di assenza di guasti. I codici sorgente del progetto sono scritti in Ada e nel suo dialetto verificabile SPARK 2014. Il codice \u00e8 distribuito con licenza GPLv3. <\/p>\n
Il nucleo di separazione \u00e8 un microkernel che fornisce un ambiente per l'esecuzione di componenti isolati fra loro, il cui interazione \u00e8 rigidamente regolata da regole stabilite. L'isolamento si basa sull'uso di estensioni di virtualizzazione Intel VT-x e include meccanismi di protezione per bloccare la creazione di canali di comunicazione nascosti. Il nucleo di separazione \u00e8 pi\u00f9 minimalista e statico rispetto ad altri microkernel, riducendo cos\u00ec il numero di situazioni che potrebbero portare a guasti. <\/p>\n
Il kernel opera in modalit\u00e0 root VMX, simile a un hypervisor, mentre tutti gli altri componenti girano in modalit\u00e0 non-root VMX, come nei sistemi guest. L'accesso all'hardware avviene mediante estensioni Intel VT-d DMA e rimappatura delle interruzioni, permettendo una vinculaci\u00f3n sicura delle periferiche PCI ai componenti in esecuzione sotto Muen.
<\/center> <\/p>\n
Tra le funzionalit\u00e0 di Muen si trovano il supporto per sistemi multicore, le Extended Page Tables (EPT), gli Interrupts Segnalati da Messaggi (MSI), le Page Attribute Table (PAT). Muen offre anche uno scheduler ciclico fisso basato sul timer a preemption Intel VMX, un runtime compatto che non influisce sulle prestazioni, un sistema di auditing dei crash, un meccanismo di assegnazione statica delle risorse basato su regole, un sistema di gestione degli eventi e canali di memoria condivisa per l'interazione fra i componenti in esecuzione. <\/p>\n
![\"Pubblicazione](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n