Muen 1.0 चे प्रकाशन, अत्यंत विश्वासार्ह प्रणाली तयार करण्यासाठी एक मुक्त स्रोत मायक्रोकर्नल

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

पृथक्करण कर्नल एक मायक्रोकर्नल आहे जो एकमेकांपासून विलग केलेल्या घटकांच्या अंमलबजावणीसाठी वातावरण प्रदान करतो, ज्याचा परस्परसंवाद दिलेल्या नियमांद्वारे काटेकोरपणे नियंत्रित केला जातो. पृथक्करण हे इंटेल व्हीटी-एक्स वर्च्युअलायझेशन विस्ताराच्या वापरावर आधारित आहे आणि गुप्त संप्रेषण चॅनेलच्या संघटनेला अवरोधित करण्यासाठी सुरक्षा यंत्रणा समाविष्ट करते. विभाजन कर्नल इतर मायक्रोकर्नल पेक्षा अधिक सूक्ष्म आणि स्थिर आहे, ज्यामुळे बिघाड होऊ शकणाऱ्या परिस्थितींची संख्या कमी होते.

कर्नल VMX रूट मोडमध्ये चालते, हायपरवाइजर प्रमाणेच, आणि इतर सर्व घटक VMX नॉन-रूट मोडमध्ये चालतात, अतिथी प्रणालींप्रमाणेच. इंटेल व्हीटी-डी डीएमए एक्स्टेंशन्स आणि इंटरप्ट रीमॅपिंग वापरून उपकरणांमध्ये प्रवेश केला जातो, ज्यामुळे मुएन अंतर्गत चालणाऱ्या घटकांना PCI उपकरणांचे सुरक्षित बंधन लागू करणे शक्य होते.

Muen च्या क्षमतांमध्ये मल्टी-कोर सिस्टम, नेस्टेड मेमरी पेजेस (EPT, एक्स्टेंडेड पेज टेबल्स), MSI (मेसेज सिग्नल केलेले इंटरप्ट्स), आणि मेमरी पेज ॲट्रिब्यूट टेबल्स (PAT, पेज ॲट्रिब्यूट टेबल) यांचा समावेश होतो. मुएन इंटेल व्हीएमएक्स प्रीम्प्टिव्ह टाइमरवर आधारित एक निश्चित राऊंड-रॉबिन शेड्यूलर देखील प्रदान करते, एक कॉम्पॅक्ट रनटाइम जो कार्यक्षमतेवर परिणाम करत नाही, क्रॅश ऑडिटिंग सिस्टम, एक नियम-आधारित स्थिर संसाधन असाइनमेंट यंत्रणा, इव्हेंट हाताळणी प्रणाली आणि सामायिक मेमरी चॅनेल कार्यरत घटकांमध्ये संवाद.

हे 64-बिट मशीन कोड, 32- किंवा 64-बिट व्हर्च्युअल मशीन्स, Ada आणि SPARK 64 भाषांमधील 2014-बिट ऍप्लिकेशन्स, Muen च्या वर असलेल्या MirageOS वर आधारित लिनक्स व्हर्च्युअल मशीन्स आणि स्व-निहित “युनिकर्नल्स” सह कार्यरत घटकांना समर्थन देते.

मुएन 1.0 च्या रिलीझमध्ये ऑफर केलेले मुख्य नवकल्पना:

• कर्नल (डिव्हाइस आणि आर्किटेक्चर), सिस्टम (सिस्टम पॉलिसी, Tau0 आणि टूलकिट) आणि घटकांसाठी तपशीलांसह दस्तऐवज प्रकाशित केले गेले आहेत, जे प्रकल्पाच्या सर्व पैलूंचे दस्तऐवजीकरण करतात.
• Tau0 (Muen System Composer) टूलकिट जोडले गेले आहे, ज्यामध्ये प्रणाली प्रतिमा तयार करण्यासाठी आणि मुएनच्या वर चालणाऱ्या मानक सेवा विकसित करण्यासाठी तयार-तयार सत्यापित घटकांचा संच समाविष्ट आहे. प्रदान केलेल्या घटकांमध्ये AHCI (SATA) ड्राइव्हर, डिव्हाइस व्यवस्थापक (DM), बूट लोडर, सिस्टम व्यवस्थापक, आभासी टर्मिनल इ.
• muenblock Linux ड्रायव्हर (Muen शेअर केलेल्या मेमरीच्या वर चालणाऱ्या ब्लॉक उपकरणाची अंमलबजावणी) blockdev 2.0 API वापरण्यासाठी रूपांतरित केले आहे.
• मूळ घटकांचे जीवन चक्र व्यवस्थापित करण्यासाठी लागू केलेली साधने.
• अखंडतेचे संरक्षण करण्यासाठी SBS (साइन केलेले ब्लॉक स्ट्रीम) आणि CSL (कमांड स्ट्रीम लोडर) वापरण्यासाठी सिस्टम प्रतिमा रूपांतरित केल्या आहेत.
• एक सत्यापित AHCI-DRV ड्राइव्हर कार्यान्वित केला गेला आहे, जो SPARK 2014 भाषेत लिहिलेला आहे आणि तुम्हाला घटकांना ATA इंटरफेस किंवा वैयक्तिक डिस्क विभाजनांना समर्थन देणारे ड्राइव्ह कनेक्ट करण्याची परवानगी देतो.
• MirageOS आणि Solo5 प्रकल्पांमधून सुधारित युनिकर्नल समर्थन.
• Ada भाषा टूलकिट GNAT समुदाय 2021 प्रकाशनासाठी अद्यतनित केले गेले आहे.
• सतत एकीकरण प्रणाली Bochs एमुलेटर वरून QEMU/KVM नेस्टेड वातावरणात हस्तांतरित केली गेली आहे.
• Linux घटक प्रतिमा Linux 5.4.66 कर्नल वापरतात.

स्त्रोत: opennet.ru