🥇seL4 परियोजनाले ACM सफ्टवेयर सिस्टम अवार्ड जित्यो

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

ACM सफ्टवेयर प्रणाली पुरस्कार वार्षिक रूपमा सफ्टवेयर प्रणालीहरूको विकासलाई पहिचान गर्न प्रस्तुत गरिन्छ जसले उद्योगमा परिभाषित प्रभाव पारेको छ, नयाँ अवधारणाहरू परिचय गर्न वा नयाँ व्यावसायिक अनुप्रयोगहरू खोल्न। पुरस्कारको राशि ३५ हजार अमेरिकी डलर रहेको छ । विगतका वर्षहरूमा, 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

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

एक टिप्पणी थप्न Отменить ответ