लिनक्स कर्नलमध्ये रस्ट डेव्हलपमेंट टूल्स जोडण्याच्या मुद्द्यावर चर्चा करण्याचा प्रस्ताव

निक डिसॅग्नियर (निक डेसॉलनियर्स), जो प्रदान करण्यासाठी Google वर काम करतो समर्थन क्लॅंग कंपाइलर वापरून लिनक्स कर्नल तयार करणे आणि ते देखील मदत करणे रस्ट कंपाइलरमधील बगचे निराकरण करा, सुचविले परिषदेत ठेवा लिनक्स प्लंबर्स कॉन्फरन्स 2020 रस्टमध्ये कर्नल घटक विकसित करणे शक्य करण्यासाठी चर्चा करण्यासाठी सत्र. निक LLVM ला समर्पित मायक्रो-कॉन्फरन्स आयोजित करत आहे, आणि त्याला विश्वास आहे की कर्नलमध्ये रस्ट सपोर्टच्या संभाव्य एकत्रीकरणाच्या तांत्रिक बाबींवर चर्चा करणे चांगले होईल (त्याने KBuild साठी आधीच कार्यरत प्रोटोटाइप तयार केला आहे) आणि असे समर्थन करावे की नाही हे समजून घेणे. अजिबात जोडले जावे आणि रस्टच्या वापरावर कोणते निर्बंध स्वीकारले जावेत.

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

• "फिश इन अ बॅरल" कंपनीचे विकसक तयार रस्ट भाषेत लिनक्स कर्नलसाठी लोड करण्यायोग्य मॉड्यूल्स लिहिण्यासाठी टूलकिट, सुरक्षा वाढवण्यासाठी इंटरफेस आणि कर्नल संरचनांवर अमूर्त स्तरांचा संच वापरून. युटिलिटी वापरून विद्यमान कर्नल हेडर फाइल्सवर आधारित स्तर आपोआप तयार होतात bingen. थर बांधण्यासाठी क्लॅंगचा वापर केला जातो. इंटरलेअर्स व्यतिरिक्त, असेंबल केलेले मॉड्यूल स्टॅटिकलिब पॅकेज वापरतात.
• हाँगकाँगच्या चीनी विद्यापीठातील संशोधक विकसित करणे रस्टमध्ये एम्बेडेड सिस्टम्स आणि इंटरनेट ऑफ थिंग्ज डिव्हाइसेससाठी ड्रायव्हर्स विकसित करण्याचा प्रकल्प, जो कर्नल हेडर फाइल्सवर आधारित स्तर तयार करण्यासाठी बाइंडजेनचा वापर करतो. फ्रेमवर्क तुम्हाला कर्नलमध्ये बदल न करता ड्रायव्हर सुरक्षितता सुधारण्याची परवानगी देते - कर्नलमधील ड्रायव्हर्ससाठी अतिरिक्त अलगाव पातळी तयार करण्याऐवजी, अधिक सुरक्षित रस्ट भाषा वापरून, संकलनाच्या टप्प्यावर समस्या अवरोधित करण्याचा प्रस्ताव आहे. असे गृहीत धरले जाते की योग्य ऑडिट न करता घाईघाईत मालकी चालक विकसित करणार्‍या उपकरण उत्पादकांकडून अशा पद्धतीची मागणी असू शकते.
• फ्रेमवर्क विकसक C2Rust सी कोड रस्टवर प्रसारित करण्यासाठी, पार पाडणे कमीतकमी मॅन्युअल संपादनांसह कर्नल मॉड्यूल्स रूपांतरित करण्याचे प्रयोग. लक्षात घेतलेल्या समस्यांपैकी एक म्हणजे C2Rust मध्ये अद्याप समर्थित नसलेल्या GCC विस्तारांचा वापर करणार्‍या कोडच्या कर्नलच्या अनेक भागांमध्ये वापर. या समस्येचे निराकरण करण्यासाठी, C2Rust ने GCC विशेषता इनलाइन, कोल्ड, उपनाव, वापरलेले आणि सेक्शनसाठी समर्थन जोडण्याची योजना आखली आहे, तसेच इनलाइन असेंबलरच्या क्षमतांचा विस्तार करणे आणि संरेखित आणि पॅक केलेल्या संरचनांसह समस्या सोडवणे (उदाहरणार्थ, xregs_state) . मॅन्युअल कामाची आवश्यकता असलेल्या महत्त्वाच्या समस्यांमध्ये गैर-क्षुल्लक C मॅक्रोचे रस्ट मॅक्रोमध्ये भाषांतर करण्याची असमर्थता आणि प्रकार पुन्हा परिभाषित करण्याची आवश्यकता समाविष्ट आहे, कारण C2Rust C प्रकारांना libc पॅकेजमधील व्याख्यांमध्ये अनुवादित करते, परंतु हे पॅकेज कर्नल मॉड्यूलमध्ये वापरले जाऊ शकत नाही.

स्त्रोत: opennet.ru