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

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

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

• टुलकिट र एलोक लाइब्रेरीको एक संस्करण, त्रुटिहरू देखा पर्दा "आतंक" अवस्थाको सम्भावित उत्पादनबाट मुक्त, रस्ट १.६२ को रिलीजको लागि अद्यावधिक गरिएको छ। पहिले प्रयोग गरिएको संस्करणको तुलनामा, Rust टूलकिटले कर्नेल प्याचहरूमा प्रयोग हुने const_fn_trait_bound कार्यक्षमताको लागि समर्थन स्थिर गरेको छ।
• बाइन्डिङ कोडलाई छुट्टै क्रेट प्याकेज "बाइन्डिङ्स" मा विभाजन गरिएको छ, जसले मुख्य प्याकेज "कर्नेल" मा मात्र परिवर्तन गरिएमा पुनर्निर्माणलाई सरल बनाउँछ।
• म्याक्रो "concat_idents!" को कार्यान्वयन प्रक्रियात्मक म्याक्रोको रूपमा पुन: लेखिएको छ जुन concat_idents कार्यक्षमतासँग बाँधिएको छैन र स्थानीय चरहरूमा सन्दर्भहरूको प्रयोगलाई अनुमति दिन्छ।
• "static_assert!" म्याक्रोलाई पुन: लेखिएको छ, स्थिरताको सट्टा कुनै पनि सन्दर्भमा "core:: assert!()" को प्रयोग गर्न अनुमति दिँदै।
• म्याक्रो "build_error!" मोड्युलहरूको लागि "RUST_BUILD_ASSERT_{WARN,ALLOW}" मोड सेट हुँदा काम गर्न अनुकूलित।
• सेटिङहरू "kernel/configs/rust.config" सँग छुट्टै फाइल थपियो।
• म्याक्रो प्रतिस्थापनमा प्रशोधन गरिएका "*.i" फाइलहरूलाई "*.rsi" मा पुन: नामाकरण गरिएको छ।
• C कोडका लागि प्रयोग गरिएका भन्दा भिन्न अनुकूलन स्तरहरूसँग रस्ट कम्पोनेन्टहरू निर्माण गर्नको लागि समर्थन बन्द गरिएको छ।
• fs मोड्युल थपियो, जसले फाइल प्रणालीहरूसँग काम गर्नका लागि बाइन्डिङहरू प्रदान गर्दछ। Rust मा लेखिएको साधारण फाइल प्रणाली को एक उदाहरण प्रदान गरिएको छ।
• प्रणाली लामहरूसँग काम गर्नका लागि कार्यक्यु मोड्युल थपियो (work_struct र workqueue_struct कर्नेल संरचनाहरूमा बाइन्डिङहरू प्रदान गर्दछ)।
• kasync मोड्युलको विकास एसिन्क्रोनस प्रोग्रामिङ विधिहरू (async) को कार्यान्वयनको साथ जारी रह्यो। Rust मा लेखिएको कोर-स्तर TCP सर्भरको उदाहरण थपियो।
• [थ्रेडेड]ह्यान्डलर प्रकारहरू र [थ्रेडेड] दर्ता` प्रकारहरू प्रयोग गरेर रस्ट भाषामा अवरोधहरू ह्यान्डल गर्ने क्षमता थपियो।
• प्रक्रियात्मक म्याक्रो थपियो "#[vtable]" लाई फंक्शन पोइन्टरहरूको तालिकाहरूसँग काम गर्न सजिलो बनाउन, जस्तै file_operations संरचना।
• द्विदिश लिङ्क गरिएको सूची "unsafe_list::List" को कार्यान्वयन थपियो।
• RCU (Read-copy-update) को लागि प्रारम्भिक समर्थन थपियो र हालको थ्रेडमा पढ्ने लक बाँधिएको छ कि छैन भनी जाँच गर्न गार्ड प्रकार।
• कर्नेल थ्रेडहरू सिर्जना गर्न र स्वचालित रूपमा सुरु गर्न Task::spawn() प्रकार्य थपियो। साथै Task::wake_up() विधि थपियो।
• ढिलाइ मोड्युल थपियो जसले तपाईंलाई ढिलाइ प्रयोग गर्न अनुमति दिन्छ (msleep() माथि र्यापर)।

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

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

स्रोत: opennet.ru