रस्ट भाषा के समर्थन के साथ लिनक्स कर्नेल के लिए पैच का आठवां संस्करण

रस्ट-फॉर-लिनक्स प्रोजेक्ट के लेखक मिगुएल ओजेडा ने लिनक्स कर्नेल डेवलपर्स द्वारा विचार के लिए रस्ट भाषा में डिवाइस ड्राइवर विकसित करने के लिए v8 घटकों को जारी करने का प्रस्ताव रखा। यह पैच का संशोधित संस्करण है, पहले संस्करण को ध्यान में रखते हुए, संस्करण संख्या के बिना प्रकाशित किया गया है। जंग समर्थन को प्रयोगात्मक माना जाता है, लेकिन पहले से ही लिनक्स-नेक्स्ट शाखा में शामिल है, 5.20/6.0 की गिरावट रिलीज में एकीकृत होने का दावा करता है, और कर्नेल सबसिस्टम पर अमूर्त परतें बनाने के साथ-साथ ड्राइवर लिखने पर काम शुरू करने के लिए पर्याप्त परिपक्व है और मॉड्यूल. विकास को Google और ISRG (इंटरनेट सुरक्षा अनुसंधान समूह) द्वारा वित्त पोषित किया गया है, जो लेट्स एनक्रिप्ट परियोजना का संस्थापक है और इंटरनेट सुरक्षा में सुधार के लिए HTTPS और प्रौद्योगिकियों के विकास को बढ़ावा देता है।

नये संस्करण में:

• टूलकिट और एलोक लाइब्रेरी का एक संस्करण, त्रुटियां होने पर "घबराहट" की संभावित स्थिति से मुक्त, रस्ट 1.62 की रिलीज के लिए अद्यतन किया गया है। पहले उपयोग किए गए संस्करण की तुलना में, रस्ट टूलकिट ने कर्नेल पैच में उपयोग की जाने वाली const_fn_trait_body कार्यक्षमता के लिए समर्थन को स्थिर कर दिया है।
• बाइंडिंग कोड को एक अलग क्रेट पैकेज "बाइंडिंग" में विभाजित किया गया है, जो केवल मुख्य पैकेज "कर्नेल" में परिवर्तन किए जाने पर पुनर्निर्माण को सरल बनाता है।
• मैक्रो "concat_idents!" का कार्यान्वयन एक प्रक्रियात्मक मैक्रो के रूप में फिर से लिखा गया है जो concat_idents कार्यक्षमता से बंधा नहीं है और स्थानीय चर के संदर्भों के उपयोग की अनुमति देता है।
• "static_assert!" मैक्रो को फिर से लिखा गया है, जो स्थिरांक के बजाय किसी भी संदर्भ में "core::assert!()" के उपयोग की अनुमति देता है।
• मैक्रो "build_error!" मॉड्यूल के लिए "RUST_BUILD_ASSERT_{WARN,ALLOW}" मोड सेट होने पर काम करने के लिए अनुकूलित।
• सेटिंग्स "kernel/configs/rust.config" के साथ एक अलग फ़ाइल जोड़ी गई।
• मैक्रो प्रतिस्थापन में संसाधित "*.i" फ़ाइलों का नाम बदलकर "*.rsi" कर दिया गया है।
• सी कोड के लिए उपयोग किए जाने वाले अनुकूलन स्तरों से भिन्न अनुकूलन स्तरों वाले रस्ट घटकों के निर्माण के लिए समर्थन बंद कर दिया गया है।
• एफएस मॉड्यूल जोड़ा गया, जो फ़ाइल सिस्टम के साथ काम करने के लिए बाइंडिंग प्रदान करता है। रस्ट में लिखे गए एक सरल फ़ाइल सिस्टम का एक उदाहरण दिया गया है।
• सिस्टम क्यू के साथ काम करने के लिए वर्कक्यू मॉड्यूल जोड़ा गया (वर्क_स्ट्रक्चर और वर्कक्यू_स्ट्रक्चर कर्नेल संरचनाओं पर बाइंडिंग प्रदान करता है)।
• कासिंक मॉड्यूल का विकास अतुल्यकालिक प्रोग्रामिंग विधियों (एसिंक) के कार्यान्वयन के साथ जारी रहा। रस्ट में लिखे गए कोर-स्तरीय टीसीपी सर्वर का एक उदाहरण जोड़ा गया।
• [थ्रेडेड] हैंडलर प्रकार और [थ्रेडेड] पंजीकरण` प्रकारों का उपयोग करके रस्ट भाषा में व्यवधानों को संभालने की क्षमता जोड़ी गई।
• फ़ाइल_ऑपरेशंस संरचना जैसे फ़ंक्शन पॉइंटर्स की तालिकाओं के साथ काम करना आसान बनाने के लिए प्रक्रियात्मक मैक्रो "#[vtable]" जोड़ा गया।
• द्विदिश लिंक्ड सूचियों "असुरक्षित_सूची::सूची" का कार्यान्वयन जोड़ा गया।
• यह जांचने के लिए कि रीड लॉक वर्तमान थ्रेड से जुड़ा है या नहीं, आरसीयू (रीड-कॉपी-अपडेट) और गार्ड प्रकार के लिए प्रारंभिक समर्थन जोड़ा गया।
• कर्नेल थ्रेड बनाने और स्वचालित रूप से प्रारंभ करने के लिए Task::spawn() फ़ंक्शन जोड़ा गया। Task::wake_up() विधि भी जोड़ी गई।
• एक विलंब मॉड्यूल जोड़ा गया जो आपको विलंब (msleep() पर एक आवरण) का उपयोग करने की अनुमति देता है।

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

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

स्रोत: opennet.ru