{"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\/pl\/blog\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"Wydanie Muen 1.0, otwartego mikroj\u0105dra do tworzenia system\u00f3w o wysokiej niezawodno\u015bci","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Po o\u015bmiu latach prac rozwojowych zadebiutowa\u0142 projekt Muen 1.0, rozwijaj\u0105cy j\u0105dro separacji, kt\u00f3rego brak b\u0142\u0119d\u00f3w w kodzie \u017ar\u00f3d\u0142owym potwierdzono metodami formalnej weryfikacji bezpiecze\u0144stwa. J\u0105dro jest dost\u0119pne dla architektury x86_64 i mo\u017ce by\u0107 stosowane w systemach krytycznych, kt\u00f3re wymagaj\u0105 wysokiego poziomu niezawodno\u015bci i gwarancji braku awarii. Kody \u017ar\u00f3d\u0142owe projektu zosta\u0142y napisane w j\u0119zyku Ada oraz jego weryfikowalnej wersji SPARK 2014. Kod jest rozpowszechniany na licencji GPLv3. <\/p>\n
J\u0105dro separacji to mikroj\u0105dro, kt\u00f3re zapewnia \u015brodowisko do dzia\u0142ania izolowanych od siebie komponent\u00f3w, kt\u00f3rych interakcje s\u0105 \u015bci\u015ble regulowane okre\u015blonymi zasadami. Izolacja opiera si\u0119 na zastosowaniu rozszerze\u0144 wirtualizacji Intel VT-x, a tak\u017ce przewiduje mechanizmy ochronne zapobiegaj\u0105ce powstawaniu ukrytych kana\u0142\u00f3w komunikacyjnych. J\u0105dro separacji jest bardziej minimalistyczne i statyczne w por\u00f3wnaniu do innych mikroj\u0105der, co pozwala zredukowa\u0107 liczb\u0119 sytuacji mog\u0105cych prowadzi\u0107 do awarii. <\/p>\n
J\u0105dro dzia\u0142a w trybie korzennym VMX, analogicznie do hipernadzorcy, natomiast wszystkie pozosta\u0142e komponenty dzia\u0142aj\u0105 w trybie niekorzennym VMX, tak jak systemy go\u015bcinne. Dost\u0119p do sprz\u0119tu odbywa si\u0119 przy u\u017cyciu rozszerze\u0144 Intel VT-d DMA oraz remappingu przerwa\u0144, co umo\u017cliwia bezpieczne przypisanie urz\u0105dze\u0144 PCI do komponent\u00f3w uruchamianych pod kontrol\u0105 Muen.
<\/center> <\/p>\n
W\u015br\u00f3d mo\u017cliwo\u015bci Muen wyr\u00f3\u017cnia si\u0119 wsparcie dla system\u00f3w wielordzeniowych, zagnie\u017cd\u017conych stron pami\u0119ci (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), a tak\u017ce tabel atrybut\u00f3w stron pami\u0119ci (PAT, Page Attribute Table). Muen oferuje tak\u017ce ustalony cykliczny harmonizator oparty na wykluczaj\u0105cym timerze Intel VMX, kompaktowy runtime, kt\u00f3ry nie wp\u0142ywa na wydajno\u015b\u0107, system audytu awarii, mechanizm statycznego przydzielania zasob\u00f3w na podstawie regu\u0142, system obs\u0142ugi zdarze\u0144 oraz kana\u0142y pami\u0119ci wsp\u00f3lnej do komunikacji wewn\u0105trz uruchamianych komponent\u00f3w. <\/p>\n
![\"Wydanie](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n