ఎనిమిది సంవత్సరాల అభివృద్ధి తర్వాత, Muen 1.0 ప్రాజెక్ట్ విడుదల చేయబడింది, సెపరేషన్ కెర్నల్‌ను అభివృద్ధి చేసింది, దీని యొక్క సోర్స్ కోడ్‌లో లోపాలు లేకపోవడం అధికారిక విశ్వసనీయత ధృవీకరణ యొక్క గణిత పద్ధతులను ఉపయోగించి నిర్ధారించబడింది. కెర్నల్ x86_64 ఆర్కిటెక్చర్ కోసం అందుబాటులో ఉంది మరియు ఇది మిషన్-క్రిటికల్ సిస్టమ్‌లలో ఉపయోగించబడుతుంది, దీనికి అధిక స్థాయి విశ్వసనీయత మరియు వైఫల్యాల హామీ అవసరం. ప్రాజెక్ట్ యొక్క సోర్స్ కోడ్ అడా భాష మరియు దాని ధృవీకరించదగిన మాండలికం SPARK 2014లో వ్రాయబడింది. కోడ్ GPLv3 లైసెన్స్ క్రింద పంపిణీ చేయబడింది.
సెపరేషన్ కెర్నల్ అనేది మైక్రోకెర్నల్, ఇది ఒకదానికొకటి వేరుచేయబడిన భాగాలను అమలు చేయడానికి వాతావరణాన్ని అందిస్తుంది, దీని పరస్పర చర్య ఇచ్చిన నియమాల ద్వారా ఖచ్చితంగా నియంత్రించబడుతుంది. ఐసోలేషన్ అనేది ఇంటెల్ VT-x వర్చువలైజేషన్ పొడిగింపుల వాడకంపై ఆధారపడి ఉంటుంది మరియు రహస్య కమ్యూనికేషన్ ఛానెల్‌ల సంస్థను నిరోధించడానికి భద్రతా విధానాలను కలిగి ఉంటుంది. విభజన కెర్నల్ ఇతర మైక్రోకెర్నల్‌ల కంటే మినిమలిస్టిక్ మరియు స్టాటిక్‌గా ఉంటుంది, ఇది వైఫల్యానికి కారణమయ్యే పరిస్థితుల సంఖ్యను తగ్గిస్తుంది.
కెర్నల్ VMX రూట్ మోడ్‌లో నడుస్తుంది, హైపర్‌వైజర్ మాదిరిగానే మరియు అన్ని ఇతర భాగాలు గెస్ట్ సిస్టమ్‌ల మాదిరిగానే VMX నాన్-రూట్ మోడ్‌లో నడుస్తాయి. పరికరానికి ప్రాప్యత Intel VT-d DMA పొడిగింపులు మరియు అంతరాయ రీమ్యాపింగ్‌ని ఉపయోగించి చేయబడుతుంది, ఇది Muen కింద నడుస్తున్న భాగాలకు PCI పరికరాలను సురక్షిత బైండింగ్‌ని అమలు చేయడం సాధ్యపడుతుంది.
Muen యొక్క సామర్థ్యాలలో మల్టీ-కోర్ సిస్టమ్స్, నెస్టెడ్ మెమరీ పేజీలు (EPT, ఎక్స్‌టెండెడ్ పేజ్ టేబుల్స్), MSI (మెసేజ్ సిగ్నల్డ్ ఇంటరప్ట్‌లు) మరియు మెమరీ పేజీ అట్రిబ్యూట్ టేబుల్స్ (PAT, పేజ్ అట్రిబ్యూట్ టేబుల్) మద్దతు ఉన్నాయి. Muen ఇంటెల్ VMX ప్రీఎంప్టివ్ టైమర్, పనితీరుపై ప్రభావం చూపని కాంపాక్ట్ రన్‌టైమ్, క్రాష్ ఆడిటింగ్ సిస్టమ్, రూల్-బేస్డ్ స్టాటిక్ రిసోర్స్ అసైన్‌మెంట్ మెకానిజం, ఈవెంట్ హ్యాండ్లింగ్ సిస్టమ్ మరియు షేర్డ్ మెమరీ ఛానెల్‌ల ఆధారంగా స్థిర రౌండ్-రాబిన్ షెడ్యూలర్‌ను కూడా అందిస్తుంది. నడుస్తున్న భాగాలలో కమ్యూనికేషన్.
ఇది 64-బిట్ మెషిన్ కోడ్, 32- లేదా 64-బిట్ వర్చువల్ మెషీన్‌లు, అడా మరియు SPARK 64 భాషలలో 2014-బిట్ అప్లికేషన్‌లు, Linux వర్చువల్ మెషీన్‌లు మరియు Muen పైన MirageOS ఆధారంగా స్వీయ-నియంత్రణ "యూనికెర్నల్స్"తో రన్నింగ్ కాంపోనెంట్‌లకు మద్దతు ఇస్తుంది.
Muen 1.0 విడుదలలో అందించబడిన ప్రధాన ఆవిష్కరణలు:
- ప్రాజెక్ట్ యొక్క అన్ని అంశాలను డాక్యుమెంట్ చేసే కెర్నల్ (డివైస్ మరియు ఆర్కిటెక్చర్), సిస్టమ్ (సిస్టమ్ విధానాలు, Tau0 మరియు టూల్‌కిట్) మరియు కాంపోనెంట్‌ల కోసం స్పెసిఫికేషన్‌లతో పత్రాలు ప్రచురించబడ్డాయి.
- Tau0 (Muen సిస్టమ్ కంపోజర్) టూల్‌కిట్ జోడించబడింది, ఇందులో సిస్టమ్ ఇమేజ్‌లను కంపోజ్ చేయడానికి మరియు Muen పైన అమలవుతున్న ప్రామాణిక సేవలను అభివృద్ధి చేయడానికి సిద్ధంగా ఉన్న ధృవీకరించబడిన భాగాల సమితి ఉంటుంది. అందించిన భాగాలు AHCI (SATA) డ్రైవర్, పరికర నిర్వాహికి (DM), బూట్ లోడర్, సిస్టమ్ మేనేజర్, వర్చువల్ టెర్మినల్ మొదలైనవి.
- muenblock Linux డ్రైవర్ (Muen భాగస్వామ్య మెమరీ పైన నడుస్తున్న బ్లాక్ పరికరం యొక్క అమలు) blockdev 2.0 APIని ఉపయోగించడానికి మార్చబడింది.
- స్థానిక భాగాల జీవిత చక్రాన్ని నిర్వహించడానికి అమలు చేయబడిన సాధనాలు.
- సమగ్రతను రక్షించడానికి సిస్టమ్ ఇమేజ్‌లు SBS (సైన్డ్ బ్లాక్ స్ట్రీమ్) మరియు CSL (కమాండ్ స్ట్రీమ్ లోడర్) ఉపయోగించేలా మార్చబడ్డాయి.
- ధృవీకరించబడిన AHCI-DRV డ్రైవర్ అమలు చేయబడింది, ఇది SPARK 2014 భాషలో వ్రాయబడింది మరియు ATA ఇంటర్‌ఫేస్ లేదా వ్యక్తిగత డిస్క్ విభజనలకు మద్దతు ఇచ్చే డ్రైవ్‌లను భాగాలకు కనెక్ట్ చేయడానికి మిమ్మల్ని అనుమతిస్తుంది.
- MirageOS మరియు Solo5 ప్రాజెక్ట్‌ల నుండి మెరుగైన యూనికెర్నల్ మద్దతు.
- GNAT కమ్యూనిటీ 2021 విడుదల కోసం అడా లాంగ్వేజ్ టూల్‌కిట్ అప్‌డేట్ చేయబడింది.
- నిరంతర ఏకీకరణ వ్యవస్థ Bochs ఎమ్యులేటర్ నుండి QEMU/KVM సమూహ వాతావరణాలకు బదిలీ చేయబడింది.
- Linux కాంపోనెంట్ ఇమేజ్‌లు Linux 5.4.66 కెర్నల్‌ని ఉపయోగిస్తాయి.
మూలం: opennet.ru