एकवचन एक माइक्रोसॉफ्ट रिसर्च प्रोजेक्ट है जो अत्यधिक भरोसेमंद माइक्रोक्रोनर ऑपरेटिंग सिस्टम बनाने के लिए है जिसमें कर्नेल, डिवाइस ड्राइवर और एप्लिकेशन सभी प्रबंधित कोड में लिखे गए हैं। ओएस कर्नेल का 9 0% से अधिक सी # में लिखा गया है, जो सी # उच्च स्तरीय प्रोग्रामिंग भाषा का विस्तार है।
माइक्रोसॉफ्ट रिसर्च सिंगुल्यिटी
एकवचन एक शोध परियोजना है जो सिस्टम, भाषाओं और उपकरणों के क्षेत्रों में नवाचार के माध्यम से भरोसेमंद प्रणालियों के निर्माण पर केंद्रित है। हम एक शोध ऑपरेटिंग सिस्टम प्रोटोटाइप (सिंगुल्युलर कहा जाता है), प्रोग्रामिंग भाषाओं का विस्तार, और प्रोग्राम व्यवहार को निर्दिष्ट और सत्यापित करने के लिए नई तकनीकों और उपकरणों का विकास कर रहे हैं।
भाषाओं, कंपाइलरों और उपकरणों में अग्रिम सॉफ्टवेयर को काफी सुधारने की संभावना को खोलता है। उदाहरण के लिए, सिंगुल्युलिटी टाइप-सेफ लैंग्वेज और एक अमूर्त निर्देश सेट का उपयोग करती है ताकि हम सॉफ़्टवेयर पृथक प्रक्रियाओं (एसआईपी) को कॉल कर सकें। एसआईपी हार्डवेयर-लागू सुरक्षा डोमेन के ऊपरी हिस्से के बिना ओएस प्रक्रियाओं (पृथक ऑब्जेक्ट स्पेस, अलग जीसी, अलग रनटाइम्स) की मजबूत अलगाव गारंटी प्रदान करते हैं। वर्तमान सिंगुल्युलिटी प्रोटोटाइप एसआईपी में बहुत सस्ते हैं; वे कर्नेल के पता स्थान में रिंग 0 में भागते हैं।
एकवचनता इन भरोसेमंद प्रणालियों और अनुप्रयोगों के निर्माण के लिए इन प्रगति का उपयोग करती है। उदाहरण के लिए, क्योंकि एसआईपी बनाने और लागू करने के लिए बहुत सस्ते हैं, सिंगुल्युलिटी प्रत्येक प्रोग्राम, डिवाइस ड्राइवर या सिस्टम एक्सटेंशन को अपने स्वयं के एसआईपी में चलाती है। एसआईपी को स्मृति साझा करने या अपने कोड को संशोधित करने की अनुमति नहीं है। नतीजतन, हम एक एसआईपी में चल रहे कोड के बारे में मजबूत विश्वसनीयता गारंटी बना सकते हैं। हम पारंपरिक ओएस प्रक्रियाओं में चल रहे कोड के लिए किए जा सकने वाले समय से संकलन या समय स्थापित करने पर एसआईपी के बारे में बहुत व्यापक गुणों को सत्यापित कर सकते हैं। स्थिर व्यवहार का व्यापक अनुप्रयोग सिस्टम व्यवहार की भविष्यवाणी करने और विश्वसनीयता के बारे में उपयोगकर्ताओं को मजबूत गारंटी प्रदान करने के लिए महत्वपूर्ण है।
माइक्रोसॉफ्ट रिसर्च ने डाउनलोड के लिए उपलब्ध कराया है, द एकवचन अनुसंधान विकास किट (आरडीके) । आप इसे माइक्रोसॉफ्ट के ओपन सोर्स कोड प्रोजेक्ट होस्टिंग वेबसाइट, कोडप्लेक्स से डाउनलोड कर सकते हैं। आप भी डाउनलोड कर सकते हैं एकवचन परियोजना का अवलोकन, यहां क्लिक करके।
सिंगुल्युलिटी, गैलन हंट और जिम लारस के प्रमुख डेवलपर्स ने कहा है कि विंडोज, लिनक्स और मैक ओएस जैसे सभी मौजूदा ऑपरेटिंग सिस्टम मल्टीक्स नामक एक ऑपरेटिंग सिस्टम पर वापस आ सकते हैं, जिसका मूल 1 9 60 के दशक में है। असल में, वर्तमान ऑपरेटिंग सिस्टम अभी भी 40 साल पहले विचारों और मानदंडों पर आधारित हैं। मल्टीप्लेक्ड सूचना और कंप्यूटिंग सेवा, या मल्टीक्स 1 9 65 में शुरू होने वाली मेनफ्रेम टाइमशेयरिंग ऑपरेटिंग सिस्टम है और 2000 तक उपयोग की जाती है।
2003 में माइक्रोसॉफ्ट रिसर्च सिंगुलरिटी को ओएस बिल्डिंग के लिए पूरी तरह से नए दृष्टिकोण के रूप में देखा गया था।
