अत्यधिक विश्वसनीय प्रणालियों के निर्माण के लिए एक खुला स्रोत माइक्रोकर्नेल म्यूएन 1.0 का विमोचन

आठ साल के विकास के बाद, म्यूएन 1.0 परियोजना जारी की गई, जिसमें सेपरेशन कर्नेल विकसित किया गया, जिसके स्रोत कोड में त्रुटियों की अनुपस्थिति की पुष्टि औपचारिक विश्वसनीयता सत्यापन के गणितीय तरीकों का उपयोग करके की गई थी। कर्नेल x86_64 आर्किटेक्चर के लिए उपलब्ध है और इसका उपयोग मिशन-क्रिटिकल सिस्टम में किया जा सकता है जिसके लिए विश्वसनीयता के बढ़े हुए स्तर और विफलता न होने की गारंटी की आवश्यकता होती है। प्रोजेक्ट का स्रोत कोड Ada भाषा और इसकी सत्यापन योग्य बोली SPARK 2014 में लिखा गया है। कोड GPLv3 लाइसेंस के तहत वितरित किया गया है।

पृथक्करण कर्नेल एक माइक्रोकर्नेल है जो एक दूसरे से पृथक घटकों के निष्पादन के लिए एक वातावरण प्रदान करता है, जिसकी परस्पर क्रिया को दिए गए नियमों द्वारा कड़ाई से विनियमित किया जाता है। अलगाव इंटेल वीटी-एक्स वर्चुअलाइजेशन एक्सटेंशन के उपयोग पर आधारित है और इसमें गुप्त संचार चैनलों के संगठन को अवरुद्ध करने के लिए सुरक्षा तंत्र शामिल हैं। विभाजन कर्नेल अन्य माइक्रोकर्नेल की तुलना में अधिक न्यूनतर और स्थिर है, जो विफलता का कारण बनने वाली स्थितियों की संख्या को कम कर देता है।

कर्नेल हाइपरविजर के समान वीएमएक्स रूट मोड में चलता है, और अन्य सभी घटक अतिथि सिस्टम के समान वीएमएक्स गैर-रूट मोड में चलते हैं। उपकरण तक पहुंच इंटेल वीटी-डी डीएमए एक्सटेंशन और इंटरप्ट रीमैपिंग का उपयोग करके की जाती है, जिससे म्यूएन के तहत चलने वाले घटकों के लिए पीसीआई उपकरणों की सुरक्षित बाइंडिंग को लागू करना संभव हो जाता है।

मुएन की क्षमताओं में मल्टी-कोर सिस्टम, नेस्टेड मेमोरी पेज (ईपीटी, एक्सटेंडेड पेज टेबल्स), एमएसआई (मैसेज सिग्नल इंटरप्ट्स), और मेमोरी पेज एट्रिब्यूट टेबल (पीएटी, पेज एट्रिब्यूट टेबल) के लिए समर्थन शामिल है। म्यूएन इंटेल वीएमएक्स प्रीमेप्टिव टाइमर पर आधारित एक निश्चित राउंड-रॉबिन शेड्यूलर, एक कॉम्पैक्ट रनटाइम जो प्रदर्शन को प्रभावित नहीं करता है, एक क्रैश ऑडिटिंग सिस्टम, एक नियम-आधारित स्थिर संसाधन असाइनमेंट तंत्र, एक इवेंट हैंडलिंग सिस्टम और साझा मेमोरी चैनल भी प्रदान करता है। चल रहे घटकों के भीतर संचार।

यह 64-बिट मशीन कोड, 32- या 64-बिट वर्चुअल मशीन, एडा और स्पार्क 64 भाषाओं में 2014-बिट एप्लिकेशन, लिनक्स वर्चुअल मशीन और मुएन के शीर्ष पर मिराजओएस पर आधारित स्व-निहित "यूनिकर्नेल" के साथ चलने वाले घटकों का समर्थन करता है।

मुएन 1.0 की रिलीज़ में पेश किए गए मुख्य नवाचार:

• कर्नेल (डिवाइस और आर्किटेक्चर), सिस्टम (सिस्टम नीतियां, Tau0 और टूलकिट) और घटकों के लिए विशिष्टताओं के साथ दस्तावेज़ प्रकाशित किए गए हैं, जो परियोजना के सभी पहलुओं का दस्तावेजीकरण करते हैं।
• Tau0 (Muen सिस्टम कंपोज़र) टूलकिट जोड़ा गया है, जिसमें सिस्टम छवियों को बनाने और Muen के शीर्ष पर चलने वाली मानक सेवाओं को विकसित करने के लिए तैयार सत्यापित घटकों का एक सेट शामिल है। प्रदान किए गए घटकों में एएचसीआई (एसएटीए) ड्राइवर, डिवाइस मैनेजर (डीएम), बूट लोडर, सिस्टम मैनेजर, वर्चुअल टर्मिनल आदि शामिल हैं।
• म्यूएनब्लॉक लिनक्स ड्राइवर (मुएन साझा मेमोरी के शीर्ष पर चलने वाले ब्लॉक डिवाइस का कार्यान्वयन) को ब्लॉकदेव 2.0 एपीआई का उपयोग करने के लिए परिवर्तित किया गया है।
• देशी घटकों के जीवन चक्र के प्रबंधन के लिए कार्यान्वित उपकरण।
• अखंडता की सुरक्षा के लिए सिस्टम छवियों को एसबीएस (साइन्ड ब्लॉक स्ट्रीम) और सीएसएल (कमांड स्ट्रीम लोडर) का उपयोग करने के लिए परिवर्तित किया गया है।
• एक सत्यापित AHCI-DRV ड्राइवर लागू किया गया है, जो SPARK 2014 भाषा में लिखा गया है और आपको उन ड्राइव को कनेक्ट करने की अनुमति देता है जो ATA इंटरफ़ेस या व्यक्तिगत डिस्क विभाजन का समर्थन घटकों से करते हैं।
• मिराजओएस और सोलो5 परियोजनाओं से बेहतर यूनिकर्नेल समर्थन।
• GNAT कम्युनिटी 2021 रिलीज़ के लिए Ada भाषा टूलकिट को अपडेट किया गया है।
• निरंतर एकीकरण प्रणाली को Bochs एमुलेटर से QEMU/KVM नेस्टेड वातावरण में स्थानांतरित कर दिया गया है।
• Linux घटक छवियाँ Linux 5.4.66 कर्नेल का उपयोग करती हैं।

स्रोत: opennet.ru