🥇seL4 प्रोजेक्ट ने ACM सॉफ्टवेयर सिस्टम पुरस्कार जीता

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

एसीएम सॉफ्टवेयर सिस्टम अवार्ड उन सॉफ्टवेयर सिस्टम के विकास को मान्यता देने के लिए प्रतिवर्ष प्रदान किया जाता है, जिनका उद्योग पर निर्णायक प्रभाव पड़ा है, नई अवधारणाओं को पेश किया गया है या नए वाणिज्यिक अनुप्रयोगों को खोला गया है। पुरस्कार की राशि 35 हजार अमेरिकी डॉलर है. पिछले वर्षों में, एसीएम पुरस्कार जीसीसी और एलएलवीएम परियोजनाओं और उनके संस्थापकों रिचर्ड स्टॉलमैन और क्रिस लैटनर को दिए गए हैं। जिन अन्य परियोजनाओं और प्रौद्योगिकियों को मान्यता दी गई है उनमें UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB, और Eclipse शामिल हैं।

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

स्रोत: opennet.ru

seL4 प्रोजेक्ट ने ACM सॉफ्टवेयर सिस्टम पुरस्कार जीता

एक टिप्पणी जोड़ें उत्तर रद्द