रस्ट भाषाको लागि समर्थनको साथ लिनक्स कर्नेलका लागि प्याचहरूको छैठौं संस्करण

रस्ट-फर-लिनक्स प्रोजेक्टका लेखक मिगुएल ओजेडाले लिनक्स कर्नेल विकासकर्ताहरूद्वारा विचारको लागि रस्ट भाषामा उपकरण ड्राइभरहरू विकास गर्नका लागि v6 कम्पोनेन्टहरू जारी गर्ने प्रस्ताव गरे। यो प्याचको सातौं संस्करण हो, पहिलो संस्करणलाई ध्यानमा राख्दै, संस्करण नम्बर बिना प्रकाशित। Rust समर्थन प्रयोगात्मक मानिन्छ, तर पहिले नै linux-next शाखामा समावेश गरिएको छ र कर्नेल उपप्रणालीहरूमा एब्स्ट्रेक्शन लेयरहरू सिर्जना गर्न, साथै ड्राइभरहरू र मोड्युलहरू लेख्ने काम सुरु गर्न पर्याप्त रूपमा विकसित गरिएको छ। विकास Google र ISRG (Internet Security Research Group) द्वारा वित्त पोषित छ, जो Let's Encrypt परियोजनाको संस्थापक हो र HTTPS र इन्टरनेट सुरक्षा सुधार गर्न प्रविधिहरूको विकासलाई बढावा दिन्छ।

नयाँ संस्करणमा:

• टुलकिट र एलोक लाइब्रेरीको भेरियन्ट, त्रुटिहरू देखा पर्दा "आतंक" अवस्थाको सम्भावित पुस्ताबाट मुक्त गरिएको, रस्ट 1.60 को रिलीजमा अद्यावधिक गरिएको छ, जसले कर्नेल प्याचहरूमा प्रयोग हुने "maybe_uninit_extra" मोडको लागि समर्थन स्थिर गर्दछ।
• कागजातबाट परीक्षणहरू चलाउने क्षमता थपियो (परीक्षणहरू जुन कागजातमा उदाहरणको रूपमा पनि प्रयोग गरिन्छ), कर्नेल एपीआईमा बाँधिएको परीक्षणहरूको कम्पाइल-समय रूपान्तरण मार्फत कर्नेल लोडिङको समयमा कार्यान्वयन गरिएको KUnit परीक्षणहरूमा।
• रस्ट कर्नेल कोड जस्तै परीक्षणहरूले क्लिपी लिन्टर चेतावनीमा नतिजा नदिनु पर्ने आवश्यकताहरू अपनाइएका छन्।
• नेटवर्क प्रकार्यहरूको साथ "नेट" मोड्युलको प्रारम्भिक कार्यान्वयन प्रस्तावित छ। रस्ट कोडको कर्नेल सञ्जाल संरचनाहरूमा पहुँच छ जस्तै नेमस्पेस (स्ट्रक्चर नेट कर्नेल संरचनामा आधारित), SkBuff (struct sk_buff), TcpListener, TcpStream (स्ट्रक्चर सकेट), Ipv4Addr (struct in_addr), SocketAddrV4 (struct sockaddrV6 (struct sockaddr_vXNUMX) ।
• त्यहाँ एसिन्क्रोनस प्रोग्रामिङ प्रविधिहरू (async) को लागि प्रारम्भिक समर्थन छ, kasync मोड्युलको रूपमा लागू गरिएको छ। उदाहरणका लागि, तपाईले TCP सकेटहरू हेरफेर गर्न एसिन्क्रोनस कोड लेख्न सक्नुहुन्छ: async fn echo_server(stream: TcpStream) -> परिणाम { let mut buf = [0u8; १०२४]; loop { let n = stream.read(&mut buf).await?; यदि n == 1024 { फर्कनुहोस् ठीक(()); } stream.write_all(&buf[..n]). प्रतीक्षा गर्नुहोस्?; } }
• नेटवर्क प्याकेट फिल्टरहरू हेरफेर गर्नका लागि नेट::फिल्टर मोड्युल थपियो। Rust_netfilter.rs रस्ट भाषामा फिल्टर कार्यान्वयनको साथ उदाहरण थपियो।
• एक साधारण mutex smutex::Mutex को थपिएको कार्यान्वयन, जसलाई पिनिङको आवश्यकता पर्दैन।
• NoWaitLock थपियो, जुन लकको लागि कहिल्यै पर्खदैन, र यदि अर्को थ्रेडले ओगटेको छ भने, कलरलाई रोक्नको सट्टा लक प्राप्त गर्ने प्रयास गर्दा त्रुटि रिपोर्ट गर्न निम्त्याउँछ।
• निष्क्रिय हुन नसक्ने खण्डहरूमा लागू गर्न कर्नेलमा raw_spinlock_t द्वारा पहिचान गरिएको RawSpinLock थपियो।
• सन्दर्भ गणना संयन्त्र लागू गरिएको वस्तुको सन्दर्भका लागि ARef प्रकार थपियो (सधैं-रिफकाउन्ट गरिएको)।
• rustc_codegen_gcc ब्याकइन्ड, जसले तपाईंलाई GCC परियोजनाबाट libgccjit पुस्तकालयलाई rustc मा कोड जनरेटरको रूपमा प्रयोग गर्न अनुमति दिन्छ र GCC मा उपलब्ध आर्किटेक्चर र अनुकूलनहरूको लागि समर्थन प्रदान गर्न, ले rustc कम्पाइलरलाई बुटस्ट्र्याप गर्ने क्षमता लागू गरेको छ। कम्पाइलर पदोन्नति भनेको rustc मा GCC-आधारित कोड जेनेरेटर प्रयोग गर्ने क्षमतालाई rustc कम्पाइलर आफैं निर्माण गर्नको लागि हो। थप रूपमा, GCC 12.1 को हालैको रिलीजले rustc_codegen_gcc लाई सही रूपमा काम गर्न आवश्यक libgccjit मा फिक्सहरू समावेश गर्दछ। रस्टअप उपयोगिता प्रयोग गरेर rustc_codegen_gcc स्थापना गर्ने क्षमता प्रदान गर्ने तयारी भइरहेको छ।
• GCC मा आधारित रस्ट भाषा कम्पाइलर को कार्यान्वयन संग GCC फ्रन्टएन्ड gccrs को विकास मा प्रगति नोट गरिएको छ। हाल Gccrs मा काम गर्ने दुई पूर्ण-समय विकासकर्ताहरू छन्।

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

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

स्रोत: opennet.ru