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

थोड़ा इतिहास

मुझे लगता है कि मच का कोर अच्छी तरह से जाना जाता है, इसलिए मैं इस पर बहुत लापरवाही से बात करूंगा। यह 80 के दशक के उत्तरार्ध में कार्नेगी मेलॉन विश्वविद्यालय में विकसित किया गया था - 90 के दशक की शुरुआत में, सीएमयू में परियोजना बंद होने के बाद, इसे यूटा विश्वविद्यालय में विकसित किया गया था और फिर, मेरी राय में, इसे पहले ही जीएनयू / मच कहा जाता था। ग्नू / मच ग्नू / हर्ड ओएस का हिस्सा है। यह एक बहुत ही धीमा माइक्रो कर्नेल है, यह केवल x86 का समर्थन करता है।
90 के दशक के अंत में जोचेन लिडटके ने एक नया, अनुकूलित माइक्रो कर्नेल वास्तुकला का प्रस्ताव रखा, पहले L3, फिर L4। दुर्भाग्य से, 2001 में उनका एक दुर्घटना हुई और उनकी मृत्यु हो गई। L4 एक विचारधारा है और L4 eXperimental Reference Manual में प्रलेखित है। अब X.2 का नवीनतम संस्करण Rev.7 है। कोई भी इस दस्तावेज़ और कार्यक्रम को "अपने" माइक्रोकबर्न आर्किटेक्चर L4 को पढ़ सकता है। नतीजतन, 00 के दशक में काफी अलग-अलग माइक्रोन्यूक्लियर परियोजनाएं दिखाई दीं।

सबसे प्रसिद्ध परियोजनाएं।

कई परियोजनाएं थीं, जिनमें से अब तक सभी जीवित हैं, मैं मौजूदा के सबसे प्रसिद्ध के बारे में बात करूंगा
1. L4Ka :: पिस्ता, कार्लज़ूए इंस्टीट्यूट ऑफ़ टेक्नोलॉजी
यह जोहान लिडटके की टीम है, उन्होंने माइक्रोकर्नेल और पर्यावरण का विकास किया। वर्तमान में, यह टीम L4Ka परियोजना का विकास नहीं करती है, लेकिन इस परियोजना ने कई अन्य लोगों को पैदा किया है।
2. एनआईसीटीए समूह की परियोजनाएं
NICTA समूह - सूचना और संचार प्रौद्योगिकी (ICT) अनुसंधान केंद्र उत्कृष्टता। यह संगठन सिस्टम प्रोग्रामिंग, पैटर्न मान्यता, कृत्रिम बुद्धिमत्ता, किसी प्रकार के नैनो के क्षेत्र में परियोजनाओं में लगा हुआ है। सामान्य तौर पर, सबसे लोकप्रिय सीएस गंतव्य, जो 00 के दशक में और भविष्य में बहुत लोकप्रिय हैं। इसी समय, यह संगठन केवल स्वागत परियोजनाओं में निवेश नहीं करता है, यह उन्हें विश्वविद्यालय के उत्पादों और बिक्री के लिए विश्वविद्यालय में विचार और स्वागत से संचालित करता है।
इस संबंध में L4Ka माइक्रोकर्नल के विकास का इतिहास बहुत ही सांकेतिक है। सबसे पहले, एक रिसर्च प्रोजेक्ट NICTA :: Pistachio-एम्बेडेड (L4Ka के आधार पर बनाया गया था: KIT से Pistachio माइक्रोकर्नेल), तब OKL (ओपन कर्नेल लैब) NICTA के अंदर बनाया गया था, जो पिस्ता माइक्रो-कर्नेल पर आधारित उत्पादों के विकास में लगा हुआ था। फिर उन्होंने अपना उत्पाद बनाया - ओकेएल 4 माइक्रोकर्नल और 2007 के क्षेत्र में क्वालकॉम के साथ एक अनुबंध पर हस्ताक्षर किए, तब से क्वालकॉम चिप्स के आधार पर स्मार्टफ़ोन में माइक्रोकर्नल हो गया है। क्वालकॉम के हाल ही में लीक हुई डेटशीट में, उदाहरण के लिए, L4 एपीआई का वर्णन (हालांकि मुझे यकीन नहीं है कि मैंने इसे संक्षिप्त रूप में देखा है) शामिल हैं। अभी हाल ही में ओकेएल 4 को जनरल डायनेमिक्स को बेचा गया था।
L4.verified L4 आर्किटेक्चर पर एक औपचारिक रूप से सत्यापित कोर है। यह एनआईसीटीए समूह का वैज्ञानिक विकास है, यह माना जा सकता है कि इस परियोजना का ट्रैक ओकेएल 4 जैसा होगा। इस परियोजना का मुख्य विचार गणितीय रूप से कर्नेल कार्यान्वयन की शुद्धता को साबित करना है। तथ्य यह है कि GNU / Linux जैसे अखंड-मॉड्यूलर राक्षसों के विपरीत माइक्रोकर्नेल, छोटे होते हैं, और उन्हें औपचारिक रूप से सत्यापित किया जा सकता है, अर्थात, कोड की प्रत्येक पंक्ति पर एक प्रमेय लिखा जाता है, और सभी प्रमेयों को साबित करते हुए, कुछ सुसंगत साबित होता है। L4.verified माइक्रोकर्नल मॉडल के कार्यान्वयन, अनुरूप चक्रों की अनुपस्थिति और कुछ अन्य चीजों के अनुरूप साबित होता है। इस अध्ययन की लागत लगभग $ 6 मिलियन थी, यह परियोजना 7 वर्षों तक चली। काम की मात्रा 25 व्यक्ति-वर्ष है। यह एक विशाल और बहुत ही रोचक काम है। इसका स्पष्ट अनुप्रयोग युद्ध, सुरक्षा है।
seL4 एक सुरक्षा-उन्मुख ऑपरेटिंग सिस्टम है, मुझे नहीं पता कि कर्नेल सत्यापित है या नहीं। एनआईसीटीए की वेबसाइट पर आप बायनेरिज़ डाउनलोड कर सकते हैं।
3. MINIX3
यह एंड्रयू टेनबाम टीम का एक प्रोजेक्ट है। MINIX3 माइक्रोकर्नल में मुख्य जोर दोष सहिष्णुता और डेस्कटॉप अनुप्रयोग है। मैं इस परियोजना के बारे में बहुत कम जानता हूं, लेकिन अंतिम FOSDEM में डेवलपर्स में से एक मौजूद था, और रूस में उत्साही लोगों का एक छोटा समुदाय है।
4. हेलेनोस
यह प्राग के चार्ल्स विश्वविद्यालय में गणित और भौतिकी संकाय में छात्रों का विकास है। यह परियोजना काफी समय से विकसित हो रही है; कर्नेल आधुनिक हार्डवेयर प्लेटफार्मों का समर्थन करता है। और 2012 में, उन्होंने GSoC में भाग लिया। शुरू में कर्नेल में वास्तु दोष था, उदाहरण के लिए, कर्नेल पूरी तरह से सूक्ष्म नहीं था - डिवाइस ड्राइवर का हिस्सा अभी भी कर्नेल में था। अब, जहां तक ​​मुझे पता है, इस वास्तु दोष को समाप्त कर दिया गया है। मुझे व्यक्तिगत रूप से यह तथ्य पसंद नहीं है कि, सामान्य उद्देश्य ओएस के रूप में तैनात होने के कारण, वे सामान्य ड्राइवरों का समर्थन नहीं करते हैं।
5. टीयू ड्रेसडेन प्रोजेक्ट्स
ड्रेसडेन के तकनीकी विश्वविद्यालय में प्रोफेसर हरमन हैगिग की एक शोध टीम है। उन्होंने जोचन लिडटके के साथ मिलकर काम किया, और उनके प्रबंधन के तहत छात्रों ने ऑपरेटिंग सिस्टम के क्षेत्र में कई दिलचस्प प्रोजेक्ट विकसित किए। पुरानी गुठली - L4 / Fiasco (TUD में पहला L4 कोर), VFiasco (Fiasco को सत्यापित करने का प्रयास, 2005)
आधुनिक गुठली:
Fiasco.OC एक C ++ माइक्रोकर्नेल है जो हर चीज की अवधारणा पर बनाया गया है। एआरएम, x86, पीपीसी, स्पार्क v8 का समर्थन करता है। यह पंडों जैसे आधुनिक प्लेटफार्मों पर शुरू होता है। हम इस परियोजना के विकास में सक्रिय रूप से शामिल हैं। मुख्य लेखक (एडम लेकोरोज़िंस्की और अलेक्जेंडर वारग), जहाँ तक मुझे पता है, कुछ महीने पहले टीयूडी छोड़ दिया था और माइक्रोन्यूक्लि का समर्थन और विकास करने के लिए अपने स्टार्टअप का आयोजन किया था।
नोवा एक माइक्रो हाइपरवाइजर है। इसे उडो स्टाइनबर्ग द्वारा विकसित किया गया था, अब वह इंटेल में इस हाइपरविजर को विकसित करना जारी रखता है।
जैसा कि आप कल्पना कर सकते हैं, माइक्रोन्यूक्लि स्वयं स्वयं क्रियाशील नहीं हैं, इसलिए टीयूडी ने माइक्रोन्यूक्लि के लिए एक वातावरण विकसित किया है: L4Re - L4 रनटाइम पर्यावरण। यह पुस्तकालयों और अनुप्रयोग सॉफ़्टवेयर का एक सेट है जिसे Fiasco और Fiasco.OC microkernels के शीर्ष पर चलाया जा सकता है। इसमें Paravirtualized L4Linux, Linux DDEKit ड्राइवरों का उपयोग करने के लिए एक आवरण शामिल है (वैसे, GNU / Hurd में ऐसा DDEKit है)। इससे मौजूदा सॉफ़्टवेयर का उपयोग करना और वाणिज्यिक परियोजनाओं में माइक्रोकर्नेल का उपयोग करना आसान हो जाता है। यह माइक्रोकर्नेल में एक बहुत तेज़ "प्रवेश" है, जो मुझे बहुत महत्वपूर्ण लगता है। नकारात्मक बिंदु यह है कि टीयू ड्रेसडेन बेहद कम ही अपडेट अपलोड करता है और व्यावहारिक रूप से कोई सामुदायिक काम नहीं करता है। इसलिए, उदाहरण के लिए, हम g4ub में l4Linux के विकास और हमारे संस्करण को रखते हैं।
जेनोड फ्रैमवर्क - प्रोजेक्ट नॉर्मन फेसके और क्रिश्चियन हेल्मुट द्वारा। वे टीयू ड्रेसडेन के स्नातक हैं और पहले एक सुरक्षित ग्राफिक्स सबसिस्टम के विकास और माइक्रोन्यूक्लि के विकास पर काम किया था। अब उनके पास अपना स्वयं का स्टार्टअप है, वे विभिन्न माइक्रोकर्नल (न केवल) ऑपरेटिंग सिस्टम के लिए एक रूपरेखा विकसित कर रहे हैं। टीयूडी के विपरीत जीनोड में नियमित रूप से रिलीज और एक रोडमैप है। स्रोत गितुब पर हैं और हर कोई इसके विकास में भाग ले सकता है। हम इस परियोजना को भी विकसित कर रहे हैं, हम Fiasco.OC + जीनोड ढांचे में रुचि रखते हैं।
दूसरे शब्दों में, TUD की माइक्रोन्यूक्लियर परियोजनाएं अब "प्रायोगिक छात्र परियोजनाओं" की स्थिति से एक वास्तविक उत्पाद की ओर बढ़ रही हैं, जिस पर आप अपने उत्पादों का निर्माण कर सकते हैं। इसलिए सामुदायिक विकास और जुड़ाव वही है जो हमें अभी चाहिए।

6. एकवचन

हमने इस परियोजना के बारे में पहले ही लिखा था , मैंने स्पर्श नहीं किया

FOSDEM

इस साल हमने FOSDEM में हिस्सा लिया और मैंने माइक्रोक्राइन ओएस का उपयोग करने के बारे में अपने अनुभव के बारे में बात की । मैंने शेष सत्रों में भाग नहीं लिया, जैसा कि मैंने पहले दिन अपने देवघर में भाग लिया, और अगले दिन हमारे पास आधे दिन के लिए एक डेमो अनुभाग था, जहां हमने माइक्रोकर्नेल, l4linux और Genode पर विश्वसनीय फोन के लिए फर्मवेयर का प्रदर्शन किया। देवभूमि में परियोजनाएं थीं:
जीएनयू / हर्ड, सैमुअल थिबॉल्ट ने उनके बारे में बात की, इस परियोजना के सबसे सक्रिय डेवलपर, यह मुझे लगता है। वह बोलने वाले पहले व्यक्ति थे, और एक पैनल चर्चा में भाग लिया।
जीनोड लैब ने पिछले एक साल में अपने काम के बारे में बात की। उन्होंने 2012 में जेनोड फ्रेमवर्क को पैंडाबॉर्ड में पोर्ट किया । मुझे लगता है कि यह बहुत महत्वपूर्ण है, और यह फ्रेमवर्क और माइक्रोकर्नेल के विकास के लिए बेहद उपयोगी है, क्योंकि यह लोकप्रियता जोड़ता है। हम pandaboard पर बंदरगाह में भाग नहीं लेते थे, हालांकि हम वास्तविक ARM आधारित हार्डवेयर पर जेनोड को लॉन्च करने वाले पहले व्यक्ति थे।
हेलेनोस के कर्मचारी भी मौजूद थे, उन्होंने अगले साल के लिए अपनी योजनाओं के बारे में बात की, जो पहले से ही हेलनओएस में समर्थित है।
Udo था और NOVA के बारे में बात की, कि इस हाइपरविजर का प्रदर्शन नुकसान Xen और eSXI की तुलना में कम है, इसके अलावा, यह हाइपरविजर Genode में समर्थित है, अर्थात, माइक्रोक्राइन के शीर्ष पर अनुप्रयोग सॉफ़्टवेयर के साथ समानांतर में आभासी मशीनों को चलाया जा सकता है।
कुछ नए लोग थे जिन्होंने डीएसएल के बारे में बात की थी, लेकिन इस कमजोर रिश्ते को माइक्रोन्यूक्लि से होना था।
टीयूडी से बोज़र्न डोबेल थे, उन्होंने अपने ओपन सोर्स प्रतिकृति ढांचे के बारे में बात की। यह उनकी शोध परियोजना है।
डेमो अनुभाग में टीयू बर्लिन के एक युवा ने भाग लिया था। टीयू बर्लिन में एक टी लैब विभाग है जो सूचना सुरक्षा के क्षेत्र में आरएनडी से संबंधित है। विशेष रूप से, वे ड्यूश टेलीकॉम के लिए Paravirtualized L4Android पर एक विश्वसनीय फोन विकसित कर रहे हैं
मुझे रिपोर्ट पसंद आईं, और अगले साल, हम माइक्रोकर्नेल और घटक-आधारित ओएस डेवरूम का आयोजन करेंगे।

पी / एस / और, पिछले साल भी हमने सिस्टम प्रोग्रामिंग के एक ग्रीष्मकालीन स्कूल का आयोजन किया था , और अब हम उन छात्रों की तलाश कर रहे हैं जो कंप्यूटर विज्ञान और सिस्टम प्रोग्रामिंग के क्षेत्र में खुद को खोजना चाहते हैं। हमारी टीम में जाने के लिए, आपको पहले तीन व्याख्यानों ( 1 , 2 , 3 ) को देखना होगा और उनसे पूर्ण कार्य करने होंगे। मुझे समाधान को github पर डालने और मुझे मेल sartakov@ksyslabs.org पर एक लिंक भेजने की आवश्यकता है।

पी / पी / एस / यदि दिलचस्पी है, तो मैं आपको हाल के वर्षों में सिस्टम प्रोग्रामिंग के क्षेत्र में मुख्य रुझानों और चुनौतियों के बारे में बता सकता हूं।

पी / पी / पी / एस इस साल हम एक नया स्कूल तैयार कर रहे हैं, लेकिन बाद में उस पर और अधिक