लिनक्स कर्नेलमा रस्ट विकास उपकरणहरू थप्ने मुद्दामा छलफल गर्न प्रस्ताव

निक डिसाग्नियर (निक डेसलनियर्स), जसले प्रदान गर्न Google मा काम गर्दछ समर्थन Clang कम्पाइलर प्रयोग गरेर लिनक्स कर्नेल निर्माण गर्दै र पनि मद्दत गर्दै रस्ट कम्पाइलरमा बगहरू ठीक गर्नुहोस्, सुझाव दिए सम्मेलनमा राख्नुहोस् लिनक्स प्लंबर सम्मेलन २०२० Rust मा कर्नेल कम्पोनेन्टहरू विकास गर्न सम्भव बनाउन छलफल गर्न सत्र। निकले LLVM लाई समर्पित माइक्रो-कन्फ्रेन्स आयोजना गर्दैछ, र कर्नेलमा रस्ट समर्थनको सम्भावित एकीकरणका प्राविधिक पक्षहरूबारे छलफल गर्न पाउँदा राम्रो हुनेछ (उनले केबिल्डको लागि काम गर्ने प्रोटोटाइप तयार गरिसकेका छन्) र त्यस्ता समर्थन गर्नुपर्छ कि भनेर बुझ्नुहोस्। सबैमा थपिनेछ र रस्टको प्रयोगमा के प्रतिबन्धहरू स्वीकार गर्नुपर्छ।

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

• "ब्यारेलमा माछा" कम्पनीबाट विकासकर्ताहरू तयार रस्ट भाषामा लिनक्स कर्नेलका लागि लोड गर्न मिल्ने मोड्युलहरू लेख्नको लागि टुलकिट, सुरक्षा बढाउन इन्टरफेस र कर्नेल संरचनाहरूमा सार तहहरूको सेट प्रयोग गरेर। उपयोगिता प्रयोग गरेर अवस्थित कर्नेल हेडर फाइलहरूमा आधारित तहहरू स्वचालित रूपमा उत्पन्न हुन्छन् bingen। तहहरू निर्माण गर्न क्ल्याङ प्रयोग गरिन्छ। इन्टरलेयरहरूको अतिरिक्त, एसेम्बल मोड्युलहरूले स्टेटिकलिब प्याकेज प्रयोग गर्दछ।
• हङकङको चिनियाँ विश्वविद्यालयका अनुसन्धानकर्ताहरू विकास रस्टमा इम्बेडेड प्रणालीहरू र इन्टरनेट अफ थिंग्स यन्त्रहरूका लागि ड्राइभरहरू विकास गर्ने परियोजना, जसले कर्नेल हेडर फाइलहरूमा आधारित तहहरू उत्पन्न गर्न बिन्डजेन पनि प्रयोग गर्दछ। ढाँचाले तपाईंलाई कर्नेलमा परिवर्तन नगरी ड्राइभर सुरक्षा सुधार गर्न अनुमति दिन्छ - कर्नेलमा ड्राइभरहरूका लागि थप अलगाव स्तरहरू सिर्जना गर्नुको सट्टा, अधिक सुरक्षित रस्ट भाषा प्रयोग गरेर, संकलन चरणमा समस्याहरू रोक्न प्रस्ताव गरिएको छ। यस्तो दृष्टिकोण उपयुक्त लेखापरीक्षण सञ्चालन नगरी हतारमा स्वामित्व ड्राइभरहरू विकास गर्ने उपकरण निर्माताहरू द्वारा माग हुन सक्छ भन्ने अनुमान गरिएको छ।
• फ्रेमवर्क विकासकर्ताहरू C2Rust रस्टमा सी कोड प्रसारणको लागि, खर्च गर्नुहोस् न्यूनतम म्यानुअल सम्पादनको साथ कर्नेल मोड्युलहरू रूपान्तरणमा प्रयोगहरू। नोट गरिएका समस्याहरू मध्ये एउटा कोडको कर्नेलको धेरै भागहरूमा प्रयोग हो जसले GCC विस्तारहरू प्रयोग गर्दछ जुन अझै C2Rust मा समर्थित छैन। यो समस्या समाधान गर्न, C2Rust ले GCC विशेषताहरू इनलाइन, चिसो, उपनाम, प्रयोग गरिएको र खण्डको लागि समर्थन थप्ने योजना बनाएको छ, साथै इनलाइन एसेम्बलरको क्षमताहरू विस्तार गर्ने र पङ्क्तिबद्ध र प्याक गरिएका संरचनाहरूसँग समस्याहरू समाधान गर्ने योजना छ (उदाहरणका लागि, xregs_state)। । म्यानुअल काम आवश्यक पर्ने महत्त्वपूर्ण समस्याहरूमा गैर-तुच्छ सी म्याक्रोहरू Rust म्याक्रोमा अनुवाद गर्न असक्षमता र प्रकारहरू पुन: परिभाषित गर्ने आवश्यकता समावेश छ, किनकि C2Rust लाई libc प्याकेजमा परिभाषाहरूमा C प्रकारहरू अनुवाद गर्दछ, तर यो प्याकेज कर्नेल मोड्युलहरूमा प्रयोग गर्न सकिँदैन।

स्रोत: opennet.ru