Muen 1.0 को रिलीज, अत्यधिक भरपर्दो प्रणालीहरू निर्माणको लागि खुला स्रोत माइक्रोकर्नेल

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

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

कर्नेल VMX रूट मोडमा चल्छ, हाइपरभाइजर जस्तै, र अन्य सबै कम्पोनेन्टहरू VMX गैर-रूट मोडमा चल्छ, अतिथि प्रणालीहरू जस्तै। उपकरणहरूमा पहुँच Intel VT-d DMA विस्तारहरू र अवरोध पुन: म्यापिङ प्रयोग गरेर बनाइन्छ, जसले PCI उपकरणहरूलाई Muen अन्तर्गत चल्ने कम्पोनेन्टहरूमा सुरक्षित बाइन्डिङ लागू गर्न सम्भव बनाउँछ।

Muen का क्षमताहरूमा बहु-कोर प्रणालीहरू, नेस्टेड मेमोरी पृष्ठहरू (EPT, विस्तारित पृष्ठ तालिकाहरू), MSI (सन्देश संकेतित अवरोधहरू), र मेमोरी पृष्ठ विशेषता तालिकाहरू (PAT, पृष्ठ विशेषता तालिका) को लागि समर्थन समावेश छ। Muen ले Intel VMX preemptive टाइमरमा आधारित एक निश्चित राउन्ड-रोबिन शेड्यूलर पनि प्रदान गर्दछ, एक कम्प्याक्ट रनटाइम जसले कार्यसम्पादनलाई असर गर्दैन, एक क्र्यास अडिटिङ प्रणाली, एक नियम-आधारित स्थिर स्रोत असाइनमेन्ट संयन्त्र, घटना ह्यान्डलिंग प्रणाली, र साझा मेमोरी च्यानलहरू। चलिरहेको घटक भित्र संचार।

यसले 64-बिट मेसिन कोड, 32- वा 64-बिट भर्चुअल मेसिनहरू, Ada र SPARK 64 भाषाहरूमा 2014-बिट अनुप्रयोगहरू, लिनक्स भर्चुअल मेसिनहरू र Muen को शीर्षमा MirageOS मा आधारित स्व-निहित "unikernels" सँग चलिरहेको घटकहरूलाई समर्थन गर्दछ।

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 परियोजनाहरूबाट सुधारिएको unikernel समर्थन।
• Ada भाषा टूलकिट GNAT समुदाय 2021 रिलीजको लागि अद्यावधिक गरिएको छ।
• निरन्तर एकीकरण प्रणाली Bochs इमुलेटरबाट QEMU/KVM नेस्टेड वातावरणमा स्थानान्तरण गरिएको छ।
• लिनक्स कम्पोनेन्ट छविहरूले लिनक्स 5.4.66 कर्नेल प्रयोग गर्दछ।

स्रोत: opennet.ru