seL4 प्रकल्पाने ACM सॉफ्टवेअर सिस्टम पुरस्कार जिंकला

ओपन seL4 मायक्रोकर्नल विकसित करणार्‍या प्रकल्पाला एसीएम सॉफ्टवेअर सिस्टम अवॉर्ड मिळाला, जो असोसिएशन फॉर कॉम्प्युटिंग मशिनरी (ACM) द्वारे दरवर्षी दिला जातो, जो संगणक प्रणाली क्षेत्रातील सर्वात अधिकृत आंतरराष्ट्रीय संस्था आहे. ऑपरेशनच्या विश्वासार्हतेच्या गणितीय पुराव्याच्या क्षेत्रातील कामगिरीसाठी हे पारितोषिक दिले जाते, जे औपचारिक भाषेत निर्दिष्ट केलेल्या वैशिष्ट्यांचे पूर्ण अनुपालन प्रदर्शित करते आणि मिशन-क्रिटिकल ऍप्लिकेशन्समध्ये वापरण्यासाठी तत्परता ओळखते. seL4 प्रकल्पाने हे दाखवून दिले आहे की औद्योगिक कार्यप्रणाली-स्तरीय डिझाइन्सची विश्वासार्हता आणि सुरक्षितता पूर्णपणे औपचारिकपणे सत्यापित करणेच शक्य नाही तर कार्यप्रदर्शन आणि अष्टपैलुत्वाशी तडजोड न करता हे साध्य करणे देखील शक्य आहे.

ACM सॉफ्टवेअर सिस्टम अवॉर्ड दरवर्षी अशा सॉफ्टवेअर सिस्टम्सच्या विकासाला ओळखण्यासाठी दिला जातो ज्यांचा उद्योगावर निश्चित प्रभाव पडला आहे, नवीन संकल्पनांचा परिचय झाला आहे किंवा व्यावसायिक अनुप्रयोगाची नवीन क्षेत्रे उघडली आहेत. पुरस्काराची रक्कम 35 हजार अमेरिकन डॉलर आहे. मागील वर्षांमध्ये, GCC आणि LLVM प्रकल्पांना आणि त्यांचे संस्थापक रिचर्ड स्टॉलमन आणि ख्रिस लॅटनर यांना ACM पुरस्कार देण्यात आले आहेत. या पुरस्काराने 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