{"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\/news\/vypusk-muen-1-0-otkrytogo-mikroyadra-dlya-sozdaniya-vysokonadyozhnyh-sistem","title":{"rendered":"L\u00ebshimi i Muen 1.0, mikrocores t\u00eb hapura p\u00ebr krijimin e sistemeve me besueshm\u00ebri t\u00eb lart\u00eb","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Pas tet\u00eb vjet\u00ebsh zhvillimi, doli n\u00eb drit\u00eb l\u00ebshimi i projektit Muen 1.0, i cili zhvillon kernelin e ndarjes (Separation kernel), ku mungesa e gabimeve n\u00eb tekstin e burimit \u00ebsht\u00eb konfirmuar p\u00ebrmes metodave matematikore t\u00eb verifikimit formal t\u00eb besueshm\u00ebris\u00eb. Kernel-i \u00ebsht\u00eb n\u00eb dispozicion p\u00ebr arkitektur\u00ebn x86_64 dhe mund t\u00eb p\u00ebrdoret n\u00eb sisteme kritike q\u00eb k\u00ebrkojn\u00eb nj\u00eb nivel m\u00eb t\u00eb lart\u00eb besueshm\u00ebrie dhe garanci t\u00eb munges\u00ebs s\u00eb d\u00ebshtimeve. Tekstet e burimit 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 n\u00ebn licenc\u00ebn GPLv3. <\/p>\n
Kernel-i i ndarjes p\u00ebrfaq\u00ebson nj\u00eb mikrokernel q\u00eb ofron nj\u00eb mjedis p\u00ebr ekzekutimin e komponenteve t\u00eb izoluara nga nj\u00ebra-tjetra, me nd\u00ebrveprimin e tyre t\u00eb rregulluar rrigorisht nga rregulla t\u00eb caktuara. Izolimi bazohet n\u00eb p\u00ebrdorimin e zgjerimeve t\u00eb virtualizimit Intel VT-x dhe parashikon, nd\u00ebr t\u00eb tjera, mekanizma mbrojt\u00ebs 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, duke lejuar k\u00ebshtu uljen e numrit t\u00eb situatave q\u00eb mund t\u00eb \u00e7ojn\u00eb n\u00eb d\u00ebshtim. <\/p>\n
Kernel-i ekzekutohet n\u00eb modin rr\u00ebnj\u00ebsor VMX, n\u00eb m\u00ebnyr\u00eb t\u00eb ngjashme me hipervizorin, nd\u00ebrsa t\u00eb gjitha komponent\u00ebt e tjer\u00eb ekzekutohen n\u00eb modin jo rr\u00ebnj\u00ebsor VMX, si sistemi i mysafir\u00ebve. Qasja n\u00eb harduer realizohet duke p\u00ebrdorur zgjerimet Intel VT-d DMA dhe rimappingun e nd\u00ebrprerjeve, gj\u00eb q\u00eb mund\u00ebson realizimin e lidhjes s\u00eb sigurt t\u00eb pajisjeve PCI me komponent\u00ebt q\u00eb ekzekutohen n\u00ebn menaxhimin e Muen.
<\/center> <\/p>\n
N\u00eb mesin e mund\u00ebsive t\u00eb Muen \u00ebsht\u00eb mb\u00ebshtetja p\u00ebr sisteme me shum\u00eb b\u00ebrthama, faqet e mb\u00ebshtetjes s\u00eb thell\u00eb t\u00eb kujtes\u00ebs (EPT, Extended Page Tables), MSI (Message Signaled Interrupts), tabelat e atributeve t\u00eb faqeve t\u00eb kujtes\u00ebs (PAT, Page Attribute Table). Muen gjithashtu ofron nj\u00eb planifikues ciklik t\u00eb fiksuar mbi baz\u00ebn e nj\u00eb timer-i q\u00eb bllokon Intel VMX, nj\u00eb runtime kompakt q\u00eb nuk ndikon n\u00eb performanc\u00eb, nj\u00eb sistem auditimi t\u00eb d\u00ebshtimeve, nj\u00eb mekaniz\u00ebm t\u00eb caktimit statik t\u00eb burimeve mbi baza rregullash, nj\u00eb sistem p\u00ebr p\u00ebrpunimin e ngjarjeve dhe kanale t\u00eb kujtes\u00ebs s\u00eb ndar\u00eb p\u00ebr komunikim brenda komponenteve t\u00eb ekzekutimit. <\/p>\n
![\"L\u00ebshimi](\"\/wp-content\/uploads\/2021\/10\/bd30e656326f6fd3667eec5773341420.jpg\")
<\/center> <\/p>\n