रस्टमा लिनक्स कर्नेलका लागि सुरक्षित ड्राइभरहरू लेख्नको लागि फ्रेमवर्क

जोश ट्रिपलेट, जो इंटेलमा काम गर्छन् र Crates.io को विकासको निरीक्षण गर्ने समितिमा छन्, खुला स्रोत टेक्नोलोजी शिखर सम्मेलनमा बोल्दै। परिचय प्रणाली प्रोग्रामिङको क्षेत्रमा रस्ट भाषालाई सी भाषासँग समानतामा ल्याउने उद्देश्यले काम गर्ने समूह।

कार्य समूहमा जुन सिर्जना हुने प्रक्रियामा छ, रस्ट विकासकर्ताहरू, इन्टेलका ईन्जिनियरहरूसँग, प्रणाली प्रोग्रामिङको लागि रस्टमा लागू गर्न आवश्यक पर्ने कार्यक्षमता परिभाषित गर्ने विशिष्टताहरू तयार गर्नेछन्। प्रणाली प्रोग्रामिङलाई प्रायः कम-स्तरको हेरफेर चाहिन्छ, जस्तै विशेषाधिकार प्राप्त प्रोसेसर निर्देशनहरू कार्यान्वयन गर्ने र प्रोसेसरको अवस्थाको बारेमा विस्तृत जानकारी प्राप्त गर्ने। रस्टको लागि पहिले नै विकसित भैरहेको समान सुविधाहरू मध्ये, अज्ञात संरचनाहरूको लागि समर्थन, युनियनहरू, एसेम्बली भाषा घुसाउनेहरू ("asm!" म्याक्रो) र BFLOAT16 फ्लोटिंग पोइन्ट नम्बर ढाँचा नोट गरिएको छ।

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

समयमा छलफलहरू प्रदर्शन
जोसले लिनक्स कर्नेलमा रस्ट भाषामा ड्राइभरहरू विकास गर्ने क्षमता थप्ने विचार लिएका थिए, जसले न्यूनतम प्रयासमा सुरक्षित र राम्रो ड्राइभरहरू सिर्जना गर्न सम्भव बनाउँदछ, मुक्त गरेपछि मेमोरी पहुँच जस्ता समस्याहरूबाट मुक्त, शून्य। सूचक dereferences र बफर overruns।

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

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

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

सबै अभिप्रेत कार्यक्षमताहरू अझै लागू गरिएको छैन, तर ढाँचा पहिले नै कामको लागि एकदम उपयुक्त छ र LAN9512 USB इथरनेट नियन्त्रकको लागि काम गर्ने ड्राइभर लेख्न प्रयोग गरिएको थियो जुन Raspberry Pi 3 बोर्डमा उपलब्ध छ सी भाषा। यो नोट गरिएको छ कि रस्टमा ड्राइभर विकास गर्दा रनटाइम कम्पोनेन्टहरूबाट मोड्युल साइज र ओभरहेड नगण्य छन्, जसले फ्रेमवर्कलाई सीमित स्रोतहरू भएका यन्त्रहरूको लागि प्रयोग गर्न अनुमति दिन्छ।

स्रोत: opennet.ru