{"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\/sq\/blog\/novosti-interneta\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"L\u00ebshimi i Muen 1.0, mikrothek\u00ebs s\u00eb hapur p\u00ebr krijimin e sistemeve me besueshm\u00ebri t\u00eb lart\u00eb","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Pas pas tet\u00eb vite zhvillimi, projekti Muen 1.0, i cili zhvillon kernelin e ndarjes (Separation kernel), doli n\u00eb drit\u00eb, pa asnj\u00eb gabim n\u00eb kodin burimor, t\u00eb konfirmuar p\u00ebrmes metodave matematikore t\u00eb v\u00ebrtetimit formal t\u00eb besueshm\u00ebris\u00eb. Kernel-i \u00ebsht\u00eb i disponuesh\u00ebm p\u00ebr arkitektur\u00ebn x86_64 dhe mund t\u00eb p\u00ebrdoret n\u00eb sisteme kritike q\u00eb k\u00ebrkojn\u00eb nj\u00eb nivel t\u00eb lart\u00eb t\u00eb besueshm\u00ebris\u00eb dhe garanci p\u00ebr munges\u00ebn e \u00e7rregullsive. Kodet burimore t\u00eb projektit jan\u00eb shkruar n\u00eb gjuh\u00ebn Ada dhe n\u00eb dialektin e saj t\u00eb verifikuesh\u00ebm SPARK 2014. Kodi shp\u00ebrndahet sipas licenc\u00ebs GPLv3. <\/p>\n
Kernel-i i ndarjes paraqet nj\u00eb mikrokernel q\u00eb ofron nj\u00eb mjedis p\u00ebr p\u00ebrfitimin e komponenteve t\u00eb izoluara nga nj\u00ebra-tjetra, nd\u00ebrveprimi i t\u00eb cilave rregullohet rrept\u00ebsisht nga rregulla t\u00eb caktuara. Izolimi bazohet n\u00eb p\u00ebrdorimin e zgjerimeve t\u00eb virtualizimit Intel VT-x dhe p\u00ebrfshin mekanizma mbrojt\u00ebse p\u00ebr bllokimin e organizimit t\u00eb kanaleve t\u00eb fshehta t\u00eb komunikimit. Kernel-i i ndarjes \u00ebsht\u00eb m\u00eb minimal dhe statik n\u00eb krahasim me mikrokernelet e tjera, gj\u00eb q\u00eb lejon t\u00eb reduktoj\u00eb numrin e situatave q\u00eb mund t\u00eb \u00e7ojn\u00eb n\u00eb \u00e7rregullim. <\/p>\n
Kernel-i funksionon n\u00eb modin rr\u00ebnj\u00ebsor VMX, ngjash\u00ebm me hipervizorin, nd\u00ebrsa t\u00eb gjitha komponent\u00ebt e tjer\u00eb n\u00eb modin jo-rr\u00ebnj\u00ebsor VMX, ngjash\u00ebm me sistemet mysafire. Qasja n\u00eb pajisje realizohet me p\u00ebrdorimin e zgjerimeve Intel VT-d DMA dhe rimapping t\u00eb nd\u00ebrprerjeve, q\u00eb lejon implementimin e lidhjes s\u00eb sigurt t\u00eb pajisjeve PCI me komponent\u00ebt e drejtuar nga Muen.
<\/center> <\/p>\n
Nga mund\u00ebsit\u00eb e Muen, p\u00ebrmendet mb\u00ebshtetje p\u00ebr sisteme me shum\u00eb b\u00ebrthama, faqe t\u00eb brendshme t\u00eb memories (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), tabela t\u00eb atributit t\u00eb faqeve t\u00eb memories (PAT, Page Attribute Table). Muen gjithashtu ofron nj\u00eb planifikues ciklik t\u00eb pal\u00ebkundur t\u00eb bazuar n\u00eb qullin e z\u00ebvend\u00ebsimit Intel VMX, nj\u00eb runtime kompak q\u00eb nuk ndikon n\u00eb performanc\u00eb, nj\u00eb sistem auditi t\u00eb d\u00ebshtimeve, nj\u00eb mekaniz\u00ebm p\u00ebr caktimin statik t\u00eb burimeve mbi baza rregullash, nj\u00eb sistem p\u00ebr p\u00ebrpunimin e ngjarjeve dhe kanale t\u00eb memories s\u00eb ndar\u00eb p\u00ebr nd\u00ebrveprimin brenda komponent\u00ebve t\u00eb aktivizuar. <\/p>\n
![\"L\u00ebshimi](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n