{"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\/de\/blog\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Ver\u00f6ffentlichung von Muen 1.0, einem offenen Mikrokernel zur Erstellung hochzuverl\u00e4ssiger Systeme","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Nach acht Jahren Entwicklung wurde die Version 1.0 des Projekts Muen ver\u00f6ffentlicht, das einen Separation Kernel entwickelt, dessen Quelltexte mithilfe mathematischer Methoden zur formalen Verifikation von Zuverl\u00e4ssigkeit auf Fehlerfreiheit \u00fcberpr\u00fcft wurden. Der Kernel ist f\u00fcr die Architektur x86_64 verf\u00fcgbar und kann in sicherheitskritischen Systemen eingesetzt werden, die ein hohes Ma\u00df an Zuverl\u00e4ssigkeit und Garantien gegen Ausf\u00e4lle erfordern. Die Quelltexte des Projekts sind in der Programmiersprache Ada und ihrem verifizierbaren Dialekt SPARK 2014 geschrieben. Der Code wird unter der GPLv3-Lizenz vertrieben. <\/p>\n

Der Separation Kernel ist ein Mikrokernel, der eine Umgebung f\u00fcr die Ausf\u00fchrung isolierter Komponenten bereitstellt, deren Interaktionen streng durch festgelegte Regeln geregelt sind. Die Isolation basiert auf der Nutzung von Virtualisierungs-Extensions wie Intel VT-x und umfasst Mechanismen zum Schutz gegen die Bildung versteckter Kommunikationskan\u00e4le. Der Separation Kernel ist im Vergleich zu anderen Mikrokernen minimaler und statischer, was die Anzahl der Situationen verringert, die zu einem Ausfall f\u00fchren k\u00f6nnen. <\/p>\n

Der Kernel wird im VMX-Ring 0 ausgef\u00fchrt, \u00e4hnlich wie ein Hypervisor, w\u00e4hrend alle anderen Komponenten im VMX-Ring 1 ausgef\u00fchrt werden, \u00e4hnlich wie Gastbetriebssysteme. Der Zugriff auf die Hardware erfolgt unter Verwendung von Intel VT-d DMA-Extensions und der Umleitung von Interrupts, was die sichere Bindung von PCI-Ger\u00e4ten an unter Muen laufende Komponenten erm\u00f6glicht.

\"Ver\u00f6ffentlichung<\/center> <\/p>\n

Zu den F\u00e4higkeiten von Muen z\u00e4hlen die Unterst\u00fctzung von Mehrkernsystemen, Nested Page Tables (EPT), MSI (Message Signaled Interrupts) und Page Attribute Tables (PAT). Muen bietet au\u00dferdem einen festen, zyklischen Scheduler basierend auf dem preemptiven Timer von Intel VMX, ein kompaktes Runtime-System ohne Leistungseinbu\u00dfen, ein \u00dcberwachungsmechanismus f\u00fcr Abst\u00fcrze, eine statische Ressourcen-Zuweisung basierend auf Regeln, ein Ereignisverarbeitungssystem und Shared Memory-Kan\u00e4le f\u00fcr die Interaktion zwischen den laufenden Komponenten. <\/p>\n

Die Ausf\u00fchrung von Muen-Komponenten mit 64-Bit-Maschinen-Code, 32- oder 64-Bit-Anwendungen in den Sprachen Ada und SPARK 2014, virtuellen Maschinen mit Linux und selbst\u00e4ndigen 'Unikernel'-Systemen auf Basis von MirageOS wird unterst\u00fctzt. virtuelle Maschinen<\/a>, 64-Bit-Anwendungen in den Sprachen Ada und SPARK 2014, virtuellen Maschinen mit Linux und autarken \u201eunikernels\u201c basierend auf MirageOS. <\/p>\n

Die wichtigsten Neuerungen, die mit der Ver\u00f6ffentlichung von Muen 1.0 eingef\u00fchrt wurden: <\/p>\n