{"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\/es\/blog\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Lanzamiento de Muen 1.0, un microkernel abierto para crear sistemas altamente confiables","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Despu\u00e9s de ocho a\u00f1os de desarrollo, se ha lanzado el proyecto Muen 1.0, que desarrolla un n\u00facleo de separaci\u00f3n (Separation kernel), cuya ausencia de errores en los textos fuente ha sido confirmada mediante m\u00e9todos matem\u00e1ticos de verificaci\u00f3n formal de fiabilidad. El n\u00facleo est\u00e1 disponible para la arquitectura x86_64 y puede ser utilizado en sistemas cr\u00edticos que requieren un alto nivel de fiabilidad y garant\u00eda de ausencia de fallos. Los textos fuente del proyecto est\u00e1n escritos en Ada y su dialecto verificable SPARK 2014. El c\u00f3digo se distribuye bajo la licencia GPLv3. <\/p>\n
El n\u00facleo de separaci\u00f3n es un microkernel que proporciona un entorno para la ejecuci\u00f3n de componentes aislados entre s\u00ed, cuya interacci\u00f3n est\u00e1 estrictamente regulada por reglas establecidas. La aislamiento se basa en el uso de extensiones de virtualizaci\u00f3n Intel VT-x y prev\u00e9 mecanismos de protecci\u00f3n para bloquear la creaci\u00f3n de canales de comunicaci\u00f3n ocultos. El n\u00facleo de separaci\u00f3n es m\u00e1s minimalista y est\u00e1tico en comparaci\u00f3n con otros microkernels, lo que permite reducir la cantidad de situaciones que podr\u00edan llevar a fallos. <\/p>\n
El n\u00facleo se ejecuta en modo ra\u00edz VMX, al igual que un hipervisor, mientras que todos los dem\u00e1s componentes se ejecutan en modo no ra\u00edz VMX, similar a los sistemas invitados. El acceso al hardware se realiza utilizando extensiones Intel VT-d DMA y re-mapeo de interrupciones, lo que permite implementar un enlace seguro de dispositivos PCI a los componentes que se ejecutan bajo Muen.
<\/center> <\/p>\n
Entre las capacidades de Muen se destacan el soporte para sistemas multin\u00facleo, p\u00e1ginas de memoria anidadas (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), y tablas de atributos de p\u00e1ginas de memoria (PAT, Page Attribute Table). Muen tambi\u00e9n proporciona un planificador c\u00edclico fijo basado en un temporizador de reemplazo Intel VMX, un runtime compacto que no afecta el rendimiento, un sistema de auditor\u00eda de fallos, un mecanismo de asignaci\u00f3n est\u00e1tica de recursos basado en reglas, un sistema de manejo de eventos y canales de memoria compartida para la interacci\u00f3n dentro de los componentes en ejecuci\u00f3n. <\/p>\n
![\"Lanzamiento](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n