{"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\/pt\/blog\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Lan\u00e7amento do Muen 1.0, um microkernel aberto para a cria\u00e7\u00e3o de sistemas altamente confi\u00e1veis","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Ap\u00f3s oito anos de desenvolvimento, foi lan\u00e7ado o projeto Muen 1.0, que desenvolve o n\u00facleo de separa\u00e7\u00e3o (Separation kernel), cuja aus\u00eancia de erros no c\u00f3digo fonte foi confirmada por m\u00e9todos matem\u00e1ticos de verifica\u00e7\u00e3o formal de confiabilidade. O n\u00facleo est\u00e1 dispon\u00edvel para a arquitetura x86_64 e pode ser utilizado em sistemas cr\u00edticos que requerem um n\u00edvel elevado de confiabilidade e garantia de aus\u00eancia de falhas. Os c\u00f3digos-fonte do projeto s\u00e3o escritos na linguagem Ada e seu dialeto verific\u00e1vel SPARK 2014. O c\u00f3digo \u00e9 distribu\u00eddo sob a licen\u00e7a GPLv3. <\/p>\n
O n\u00facleo de separa\u00e7\u00e3o \u00e9 um microkernel que fornece um ambiente para a execu\u00e7\u00e3o de componentes isolados entre si, cuja intera\u00e7\u00e3o \u00e9 rigidamente regulada por regras definidas. A isolamento \u00e9 baseado na aplica\u00e7\u00e3o de extens\u00f5es de virtualiza\u00e7\u00e3o Intel VT-x e prev\u00ea, entre outras coisas, mecanismos de prote\u00e7\u00e3o para bloquear a organiza\u00e7\u00e3o de canais de comunica\u00e7\u00e3o ocultos. O n\u00facleo de separa\u00e7\u00e3o \u00e9 mais minimalista e est\u00e1tico em compara\u00e7\u00e3o com outros microkernels, o que permite reduzir o n\u00famero de situa\u00e7\u00f5es que podem levar a falhas. <\/p>\n
O n\u00facleo opera em modo raiz VMX, semelhante ao hipervisor, enquanto todos os outros componentes funcionam em modo n\u00e3o raiz VMX, semelhante aos sistemas convidados. O acesso ao hardware \u00e9 feito utilizando as extens\u00f5es Intel VT-d DMA e o remapeamento de interrup\u00e7\u00f5es, o que possibilita implementar a conex\u00e3o segura de dispositivos PCI aos componentes que s\u00e3o executados sob o controle do Muen.
<\/center> <\/p>\n
Entre as capacidades do Muen, destacam-se o suporte a sistemas multicore, p\u00e1ginas de mem\u00f3ria aninhadas (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), tabelas de atributos de p\u00e1ginas de mem\u00f3ria (PAT, Page Attribute Table). O Muen tamb\u00e9m oferece um agendador c\u00edclico fixo baseado em um temporizador preemptivo Intel VMX, um runtime compacto que n\u00e3o impacta a performance, um sistema de auditoria de falhas, um mecanismo de aloca\u00e7\u00e3o est\u00e1tica de recursos baseado em regras, um sistema de processamento de eventos e canais de mem\u00f3ria compartilhada para comunica\u00e7\u00e3o entre os componentes executados. <\/p>\n
![\"Lan\u00e7amento](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n