{"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\/hu\/blog\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"A Muen 1.0 megjelen\u00e9se, egy ny\u00edlt mikrokernel a magas megb\u00edzhat\u00f3s\u00e1g\u00fa rendszerek l\u00e9trehoz\u00e1s\u00e1hoz","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Nyolc \u00e9v fejleszt\u00e9s ut\u00e1n megjelent a Muen 1.0 projekt, amely a szepar\u00e1ci\u00f3s kernel magj\u00e1t fejleszti. A forr\u00e1sk\u00f3d hib\u00e1tlans\u00e1g\u00e1t matematikai form\u00e1lis verifik\u00e1ci\u00f3s m\u00f3dszerek seg\u00edts\u00e9g\u00e9vel igazolt\u00e1k. A kernel el\u00e9rhet\u0151 az x86_64 architekt\u00far\u00e1hoz, \u00e9s olyan kritikus rendszerekben alkalmazhat\u00f3, amelyek magas szint\u0171 megb\u00edzhat\u00f3s\u00e1got \u00e9s a hib\u00e1k hi\u00e1ny\u00e1nak garanci\u00e1j\u00e1t ig\u00e9nylik. A projekt forr\u00e1sa Ada nyelven \u00e9s annak verifik\u00e1lhat\u00f3 SPARK 2014 dialektus\u00e1ban k\u00e9sz\u00fclt. A k\u00f3d GPLv3 licenc alatt terjeszthet\u0151. <\/p>\n
A szepar\u00e1ci\u00f3s kernel egy mikrokernel, amely lehet\u0151s\u00e9get biztos\u00edt elszigetelt, egym\u00e1st\u00f3l f\u00fcggetlen komponensek futtat\u00e1s\u00e1ra, amelyek k\u00f6z\u00f6tti interakci\u00f3t szigor\u00faan meghat\u00e1rozott szab\u00e1lyok szab\u00e1lyozz\u00e1k. Az elszigetel\u00e9s az Intel VT-x virtualiz\u00e1ci\u00f3s kiterjeszt\u00e9sek alkalmaz\u00e1s\u00e1n alapul, \u00e9s mag\u00e1ban foglalja a rejtett kommunik\u00e1ci\u00f3s csatorn\u00e1k l\u00e9trehoz\u00e1s\u00e1nak blokkol\u00e1s\u00e1ra szolg\u00e1l\u00f3 v\u00e9delmi mechanizmusokat is. A szepar\u00e1ci\u00f3s kernel minimalist\u00e1bb \u00e9s statikusabb, mint m\u00e1s mikrokernel, ami cs\u00f6kkenti a le\u00e1ll\u00e1shoz vezet\u0151 helyzetek sz\u00e1m\u00e1t. <\/p>\n
A kernel a VMX gy\u00f6k\u00e9r m\u00f3dban fut a hiperv\u00edzorhoz hasonl\u00f3an, m\u00edg az \u00f6sszes t\u00f6bbi komponens a VMX nem gy\u00f6k\u00e9r m\u00f3dban m\u0171k\u00f6dik a vend\u00e9g rendszerekhez hasonl\u00f3an. A hardverhez val\u00f3 hozz\u00e1f\u00e9r\u00e9s az Intel VT-d DMA kiterjeszt\u00e9sek \u00e9s az interrupt remapping haszn\u00e1lat\u00e1val t\u00f6rt\u00e9nik, ami lehet\u0151v\u00e9 teszi a PCI-eszk\u00f6z\u00f6k biztons\u00e1gos k\u00f6t\u00e9s\u00e9t a Muen \u00e1ltal vez\u00e9relt komponensekhez.
<\/center> <\/p>\n
A Muen lehet\u0151s\u00e9gei k\u00f6z\u00f6tt szerepel a t\u00f6bbmagos rendszerek t\u00e1mogat\u00e1sa, a be\u00e1gyazott mem\u00f3riaoldalak (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), valamint a mem\u00f3riaoldalak attrib\u00fatumainak t\u00e1bl\u00e1i (PAT, Page Attribute Table). A Muen emellett fix ciklikus \u00fctemez\u0151t biztos\u00edt az Intel VMX preempt\u00edv id\u0151z\u00edt\u0151je alapj\u00e1n, kompakt runtime-t, amely nem befoly\u00e1solja a teljes\u00edtm\u00e9nyt, \u00f6sszeoml\u00e1sok audit rendszer\u00e9t, szab\u00e1lyokon alapul\u00f3 statikus er\u0151forr\u00e1s-kioszt\u00e1si mechanizmust, esem\u00e9nykezel\u0151 rendszert \u00e9s megosztott mem\u00f3ria csatorn\u00e1kat a fut\u00f3 komponensek k\u00f6z\u00f6tti interakci\u00f3hoz. <\/p>\n
![\"A](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n