{"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\/novosti-interneta\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Ver\u00f6ffentlichung von Muen 1.0, einem offenen Mikrokern zur Erstellung hochzuverl\u00e4ssiger Systeme","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Nach achtj\u00e4hriger Entwicklung wurde das Projekt Muen 1.0 ver\u00f6ffentlicht, das einen Separation Kernel entwickelt. Die Fehlerfreiheit des Quellcodes wurde durch mathematische Methoden der formalen Verifizierung der Zuverl\u00e4ssigkeit best\u00e4tigt. 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 Garantie f\u00fcr St\u00f6rungsfreiheit erfordern. Der Quellcode des Projekts ist in der Programmiersprache Ada und dessen verifizierbarem Dialekt SPARK 2014 geschrieben. Der Code wird unter der Lizenz GPLv3 verbreitet. <\/p>\n
Der Separation Kernel ist ein Mikrokernel, der eine Umgebung f\u00fcr die Ausf\u00fchrung isolierter Komponenten bereitstellt, deren Interaktion streng durch festgelegte Regeln geregelt ist. Die Isolation basiert auf der Verwendung der Intel VT-x Virtualisierungs-Extensions und umfasst auch Schutzmechanismen zur Verhinderung versteckter Kommunikationskan\u00e4le. Im Vergleich zu anderen Mikrokernen ist der Separation Kernel minimalistischer und stabiler, was die Anzahl m\u00f6glicher Fehlerszenarien verringert. <\/p>\n
Der Kernel l\u00e4uft im Root-Modus VMX \u00e4hnlich wie ein Hypervisor, w\u00e4hrend alle anderen Komponenten im Non-Root-Modus VMX \u00e4hnlich wie Gastsysteme ausgef\u00fchrt werden. Der Zugriff auf die Hardware erfolgt \u00fcber die Intel VT-d DMA-Extensions und Interrupt-Remapping, was die sichere Bindung von PCI-Ger\u00e4ten an unter Muen ausgef\u00fchrte Komponenten erm\u00f6glicht.
<\/center> <\/p>\n
Die M\u00f6glichkeiten von Muen beinhalten die Unterst\u00fctzung von Mehrkernsystemen, verschachtelten Seitentabellen (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), und Seitenattributtabellen (PAT, Page Attribute Table). Muen bietet au\u00dferdem einen festen zyklischen Scheduler auf Basis des preemptiven Timers Intel VMX, ein kompaktes Runtime, das die Leistung nicht beeintr\u00e4chtigt, ein Absturz-Audit-System, einen statischen Ressourcen-Zuweisungsmechanismus basierend auf Regeln, ein Ereignisverarbeitungssystem und Shared-Memory-Kan\u00e4le f\u00fcr die Interaktion innerhalb der laufenden Komponenten. <\/p>\n
![\"Ver\u00f6ffentlichung](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n