रस्ट में लिनक्स कर्नेल के लिए सुरक्षित ड्राइवर लिखने की रूपरेखा

जोश ट्रिपलेट, जो इंटेल में काम करते हैं और क्रेट्स.आईओ के विकास की देखरेख करने वाली समिति में हैं, ओपन सोर्स टेक्नोलॉजी शिखर सम्मेलन में बोल रहे हैं प्रस्तुत एक कार्य समूह का उद्देश्य सिस्टम प्रोग्रामिंग के क्षेत्र में रस्ट भाषा को सी भाषा के बराबर लाना है।

एक कार्य समूह में जो बनने की प्रक्रिया में है, रस्ट डेवलपर्स, इंटेल के इंजीनियरों के साथ मिलकर, सिस्टम प्रोग्रामिंग के लिए रस्ट में लागू की जाने वाली कार्यक्षमता को परिभाषित करने वाले विनिर्देश तैयार करेंगे। सिस्टम प्रोग्रामिंग में अक्सर निम्न-स्तरीय हेरफेर की आवश्यकता होती है, जैसे विशेषाधिकार प्राप्त प्रोसेसर निर्देशों को निष्पादित करना और प्रोसेसर की स्थिति के बारे में विस्तृत जानकारी प्राप्त करना। रस्ट के लिए पहले से ही विकसित की जा रही समान सुविधाओं में से, अनाम संरचनाओं, यूनियनों, असेंबली भाषा आवेषण ("एएसएम!" मैक्रो) और बीएफएलओएटी16 फ़्लोटिंग पॉइंट नंबर प्रारूप के लिए समर्थन नोट किया गया है।

जोश का मानना ​​है कि सिस्टम प्रोग्रामिंग का भविष्य रस्ट का है, और आधुनिक वास्तविकताओं में सी भाषा उस स्थान का दावा कर रही है जो पिछले वर्षों में असेंबली द्वारा कब्जा कर लिया गया था। जंग
न केवल डेवलपर्स को सी भाषा में अंतर्निहित समस्याओं से राहत मिलती है जो मेमोरी के साथ निम्न-स्तरीय काम के कारण उत्पन्न होती हैं, बल्कि आधुनिक प्रोग्रामिंग प्रतिमानों के विकास में इसका उपयोग करने का अवसर भी प्रदान करती हैं।

प्रगति में है विचार-विमर्श प्रदर्शन
जोश के मन में रस्ट भाषा में लिनक्स कर्नेल में ड्राइवर विकसित करने की क्षमता जोड़ने का विचार आया, जिससे न्यूनतम प्रयास के साथ सुरक्षित और बेहतर ड्राइवर बनाना संभव हो जाएगा, जो फ्री होने के बाद मेमोरी एक्सेस जैसी समस्याओं से मुक्त होगा। सूचक डीरेफ़रेंस, और बफ़र ओवररन।

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

पता चला कि कई टीमें पहले से ही इस दिशा में काम कर रही हैं। उदाहरण के लिए, कंपनी "फिश इन ए बैरल" के डेवलपर्स подготовили सुरक्षा बढ़ाने के लिए इंटरफेस और कर्नेल संरचनाओं पर अमूर्त परतों के एक सेट का उपयोग करके, रस्ट भाषा में लिनक्स कर्नेल के लिए लोड करने योग्य मॉड्यूल लिखने के लिए एक टूलकिट। उपयोगिता का उपयोग करके मौजूदा कर्नेल हेडर फ़ाइलों के आधार पर परतें स्वचालित रूप से उत्पन्न होती हैं बाइंडगेन. क्लैंग का उपयोग परतें बनाने के लिए किया जाता है। इंटरलेयर्स के अलावा, असेंबल किए गए मॉड्यूल स्टैटिकलिब पैकेज का उपयोग करते हैं।

समानांतर विकसित हो रहा है एक अन्य परियोजना एम्बेडेड सिस्टम और IoT उपकरणों के लिए ड्राइवर विकसित करने पर केंद्रित है, जो कर्नेल हेडर फ़ाइलों के आधार पर परतें उत्पन्न करने के लिए बाइंडजेन का भी उपयोग करती है। फ्रेमवर्क आपको कर्नेल में परिवर्तन किए बिना ड्राइवर सुरक्षा में सुधार करने की अनुमति देता है - कर्नेल में ड्राइवरों के लिए अतिरिक्त अलगाव स्तर बनाने के बजाय, अधिक सुरक्षित रस्ट भाषा का उपयोग करके संकलन चरण में समस्याओं को ब्लॉक करने का प्रस्ताव है। यह माना जाता है कि उचित ऑडिट किए बिना जल्दबाजी में मालिकाना ड्राइवर विकसित करने वाले उपकरण निर्माताओं द्वारा इस तरह के दृष्टिकोण की मांग हो सकती है।

सभी इच्छित कार्यक्षमता अभी तक लागू नहीं की गई है, लेकिन फ्रेमवर्क पहले से ही काम के लिए काफी उपयुक्त है और इसका उपयोग रास्पबेरी पाई 9512 बोर्ड में आपूर्ति किए गए LAN3 USB ईथरनेट नियंत्रक के लिए एक कार्यशील ड्राइवर लिखने के लिए किया गया था। मौजूदा smsc95xx ड्राइवर, इन द्वारा लिखा गया है सी भाषा। यह ध्यान दिया जाता है कि रस्ट में ड्राइवर विकसित करते समय रनटाइम घटकों से मॉड्यूल का आकार और ओवरहेड महत्वहीन होता है, जो सीमित संसाधनों वाले उपकरणों के लिए ढांचे का उपयोग करने की अनुमति देता है।

स्रोत: opennet.ru