{"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\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Rilascio di Muen 1.0, un microkernel open source per la creazione di sistemi ad alta affidabilit\u00e0","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Dopo otto anni di sviluppo, \u00e8 stato rilasciato il progetto Muen 1.0, che sviluppa un nucleo di separazione (Separation kernel), la cui assenza di errori nei testi sorgente \u00e8 stata confermata attraverso 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 testi sorgente del progetto sono scritti in Ada e nel suo dialetto verificabile SPARK 2014. Il codice \u00e8 distribuito sotto licenza GPLv3. <\/p>\n
Il nucleo di separazione \u00e8 un microkernel che fornisce un ambiente per l'esecuzione di componenti isolati l'uno dall'altro, il cui interazione \u00e8 rigidamente regolata da regole definite. L'isolamento si basa sull'uso delle estensioni di virtualizzazione Intel VT-x e prevede anche meccanismi di protezione per bloccare l'organizzazione di canali di comunicazione nascosti. Il nucleo di separazione \u00e8 pi\u00f9 minimalista e statico rispetto ad altri microkernel, il che consente di ridurre il numero di situazioni che possono portare a un guasto. <\/p>\n
Il nucleo viene eseguito in modalit\u00e0 root VMX, analogamente a un hypervisor, mentre tutti gli altri componenti operano in modalit\u00e0 non root VMX, in modo simile ai sistemi guest. L'accesso all'hardware avviene utilizzando le estensioni Intel VT-d DMA e il rimappamento delle interruzioni, il che consente di realizzare un collegamento sicuro dei dispositivi PCI ai componenti in esecuzione sotto Muen.
<\/center> <\/p>\n
Tra le funzionalit\u00e0 di Muen si segnala il supporto per sistemi multicore, pagine di memoria nidificate (EPT, Extended Page Tables), MSI (Message Signaled Interrupts) e tabelle degli attributi delle pagine di memoria (PAT, Page Attribute Table). Muen fornisce anche uno scheduler ciclico fisso basato su un timer di preemption Intel VMX, un runtime compatto che non influisce sulle prestazioni, un sistema di audit 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 tra i componenti in esecuzione. <\/p>\n
![\"Rilascio](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n