गुगलले सुरक्षित अपरेटिङ सिस्टम KataOS को लागि कोड खोल्यो

गुगलले इम्बेडेड हार्डवेयरका लागि सुरक्षित अपरेटिङ सिस्टम सिर्जना गर्ने उद्देश्यले काटाओएस परियोजनासँग सम्बन्धित विकासहरू पत्ता लगाउने घोषणा गरेको छ। KataOS प्रणाली कम्पोनेन्टहरू Rust मा लेखिएका छन् र seL4 माइक्रोकर्नेलको माथि चल्छन्, जसको लागि RISC-V प्रणालीहरूमा विश्वसनीयताको गणितीय प्रमाण प्रदान गरिएको छ, जसले कोडले औपचारिक भाषामा निर्दिष्ट गरिएका विनिर्देशहरूसँग पूर्ण रूपमा पालना गरेको संकेत गर्दछ। परियोजना कोड Apache 2.0 लाइसेन्स अन्तर्गत खुला छ।

प्रणालीले RISC-V र ARM64 आर्किटेक्चरहरूमा आधारित प्लेटफर्महरूको लागि समर्थन प्रदान गर्दछ। हार्डवेयरको शीर्षमा seL4 र KataOS वातावरणको सञ्चालनलाई अनुकरण गर्न, विकास प्रक्रियाको क्रममा Renode फ्रेमवर्क प्रयोग गरिन्छ। सन्दर्भ कार्यान्वयनको रूपमा, Sparrow सफ्टवेयर र हार्डवेयर जटिल प्रस्ताव गरिएको छ, KataOS लाई OpenTitan प्लेटफर्ममा आधारित सुरक्षित चिपहरूसँग संयोजन गर्दै। प्रस्तावित समाधानले तपाईलाई ओपनटाइटन प्लेटफर्म र RISC-V आर्किटेक्चर प्रयोग गरी निर्मित विश्वसनीय हार्डवेयर कम्पोनेन्टहरू (RoT, Root of Trust) सँग तार्किक रूपमा प्रमाणित अपरेटिङ सिस्टम कर्नेललाई संयोजन गर्न अनुमति दिन्छ। KataOS कोडको अतिरिक्त, यो भविष्यमा हार्डवेयर घटक सहित अन्य सबै Sparrow कम्पोनेन्टहरू खोल्ने योजना छ।

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

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

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

रस्टले सन्दर्भ जाँच, वस्तु स्वामित्व र वस्तु लाइफटाइम ट्र्याकिङ (स्कोपहरू) मार्फत कम्पाइल समयमा मेमोरी सुरक्षा लागू गर्दछ, र रनटाइममा मेमोरी पहुँचहरूको शुद्धता मूल्याङ्कन गरेर। Rust ले पूर्णांक ओभरफ्लोहरू विरुद्ध पनि सुरक्षा प्रदान गर्दछ, प्रयोग गर्नु अघि चर मानहरू सुरु गर्न आवश्यक छ, पूर्वनिर्धारित रूपमा अपरिवर्तनीय सन्दर्भहरू र चरहरूको अवधारणा प्रयोग गर्दछ, र तार्किक त्रुटिहरू कम गर्न बलियो स्थिर टाइपिङ प्रदान गर्दछ।

स्रोत: opennet.ru