विलक्षणता आरडीके एक शोध परियोजना सिस्टम, भाषाओं के क्षेत्रों में नवाचार के माध्यम से भरोसेमंद प्रणालियों के निर्माण पर केंद्रित है
अब डाउनलोड करो

विलक्षणता आरडीके रैंकिंग और सारांश

विलक्षणता आरडीके टैग

प्रोटोटाइप एल-सिस्टम संपादित करें एल प्रणालियों माप प्रणाली समस्या संकल्प प्रणाली समीकरण के सिस्टम प्रणाली मल्टीकोर सिस्टम अनुसंधान विकास किट प्रोटोटाइप ओएस सॉफ्टवेयर पृथक प्रक्रिया आरडीके व्यक्तित्व सट्टेबाजी प्रणाली शीतलन प्रणाली बुद्धिमान प्रणालियों का विकास सिस्टम सेवा सुरक्षा-महत्वपूर्ण प्रणाली जटिल प्रणाली अनुसंधान ओडीईएस एकीकरण की प्रणाली प्रक्रिया लिंडेनमेयर सिस्टम - संख्यात्मक पी सिस्टम अनुकरण करें न्यूमेरिकल पी सिस्टम सिम्युलेटर संख्यात्मक पी सिस्टम का विश्लेषण करें निरंतर राज्य प्रणाली पीओएस सिस्टम संचार प्रणाली सिस्टम उपकरण उपकरण प्रणाली प्रदर्शन प्रणाली मानव संसाधन प्रणालियों संपादकीय प्रणालियाँ व्हीलिंग सिस्टम तंत्र उपयोगिता साइनेज सिस्टम रोस्टरिंग ड्यूटी सिस्टम प्रणालीगत दृष्टिकोण

विलक्षणता आरडीके विवरण

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

विलक्षणता आरडीके संबंधित सॉफ्टवेयर