Rust 1.74 प्रोग्रामिङ भाषाको रिलीज। RustVMM अडिट। रस्टमा बाइन्डर पुन: लेख्दै

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

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

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

मुख्य आविष्कारहरू:

• प्याकेज प्रबन्धक म्यानिफेस्टको साथ Cargo.toml फाइल मार्फत lint जाँचहरू कन्फिगर गर्ने क्षमता थपियो। लिन्ट सेटिङहरू परिभाषित गर्न, जस्तै प्रतिक्रिया स्तर (निषेध, अस्वीकार, चेतावनी, अनुमति), नयाँ खण्डहरू "[lints]" र "[workspace.lints]" प्रस्तावित छन्, जुन परिवर्तनहरू बारे निर्णय गर्दा ध्यानमा लिइन्छ। पुनर्निर्माण। उदाहरणका लागि, “#![forbid(unsafe_code)]” र “#![deny(clippy) जम्मा गर्दा वा थप्दा “-F”, “-D”, “-W” र “-A” झण्डाहरू निर्दिष्ट गर्नुको सट्टा :" कोडका विशेषताहरू) :enum_glob_use)]" अब कार्गो म्यानिफेस्टमा प्रयोग गर्न सकिन्छ: [lints.rust] unsafe_code = "निषिद्ध" [lints.clippy] enum_glob_use = "अस्वीकार गर्नुहोस्"
• क्रेट प्याकेज प्रबन्धकले भण्डारमा जडान गर्दा प्रमाणीकरण गर्ने क्षमता थपेको छ। आधारभूत वितरणले लिनक्स क्रेडेन्सियल स्टोरहरू (libsecret मा आधारित), macOS (Keychain) र Windows (Windows Credential Manager) मा प्रमाणीकरण प्यारामिटरहरू राख्नको लागि समर्थन समावेश गर्दछ, तर प्रणाली सुरुमा मोड्युलर बनाइएको थियो र तपाईंलाई भण्डारण र विभिन्न प्रदायकहरूसँग काम व्यवस्थित गर्न अनुमति दिन्छ। टोकनहरू उत्पन्न गर्दै, उदाहरणका लागि, 1Password पासवर्ड प्रबन्धक प्रयोग गर्नको लागि प्लगइन तयार गरिएको छ। प्रमाणीकरण कुनै पनि सञ्चालनको लागि भण्डारद्वारा आवश्यक पर्न सक्छ, प्याकेजहरू प्रकाशित भएको पुष्टि गर्न मात्र होइन। ~/.cargo/config.toml [registry] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• फिर्ता प्रकार अनुमानहरू (impl_trait_projections) को लागि समर्थन स्थिर गरिएको छ, Self and T::Assoc लाई "async fn" र "-> impl Trait" जस्ता रिटर्न प्रकारहरूमा उल्लेख गर्न अनुमति दिँदै। संरचना रैपर<'a, T>(&'a T); // अपारदर्शी रिटर्न प्रकारहरू जसले `Self` उल्लेख गर्दछ: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } विशेषता विशेषता <'a> { प्रकार Assoc; fn new() -> Self::Assoc; } impl विशेषता<'_> को लागि () { प्रकार Assoc = (); fn new() {} } // अपारदर्शी फिर्ता प्रकारहरू जसले सम्बन्धित प्रकारलाई उल्लेख गर्दछ: impl<'a, T: Trait<'a>> wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */ } fn a_few_assocs() -> impl Iterator { /* … */ } }
• एपीआई को एक नयाँ भाग स्थिर को श्रेणी मा सारियो, विधिहरु र विशेषताहरु को कार्यान्वयन सहित स्थिर गरिएको छ:
• "const" विशेषता, जसले स्थिरताको सट्टा कुनै पनि सन्दर्भमा प्रयोग गर्ने सम्भावना निर्धारण गर्दछ, प्रकार्यहरूमा प्रयोग गरिन्छ:
  • core::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • core::num::Saturating
  • impl from std::process::Stdio को लागि
  • impl from std::process::Stdio को लागि
  • impl from std::process::Child{Stdin, Stdout, Stderr} को लागि
  • impl from std::process::Child{Stdin, Stdout, Stderr} को लागि
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • std::io::त्रुटि::अन्य
  • impl TryFrom u16 को लागी
  • impl बाट <&[T; N]> Vec को लागी
  • impl बाट <&mut [T; N]> Vec को लागी
  • impl बाट <[T; N]> आर्क<[T]> को लागि
  • impl बाट <[T; N]> Rc<[T]> को लागि
• कम्पाइलर, टुलकिट, मानक पुस्तकालय, र जेनेरेट गरिएको एप्लिकेसन एक्जिक्युटेबलहरूले Apple प्लेटफर्महरूका लागि आवश्यकताहरू बढाएको छ, अब कम्तिमा macOS 10.12 Sierra, iOS 10, र tvOS 10 लाई 2016 मा जारी गर्न आवश्यक छ।
• i686-pc-windows-gnullvm प्लेटफर्मको लागि तेस्रो स्तरको समर्थन लागू गरिएको छ। तेस्रो तहमा आधारभूत समर्थन समावेश छ, तर स्वचालित परीक्षण बिना, आधिकारिक निर्माणहरू प्रकाशित गर्ने, वा कोड निर्माण गर्न सकिन्छ कि भनेर जाँच नगरी।
• loongarch64-अज्ञात-कुनै पनि लक्षित प्लेटफर्मको लागि समर्थनको दोस्रो स्तर लागू गरिएको छ। समर्थनको दोस्रो स्तरमा एक सभा ग्यारेन्टी समावेश छ।

थप रूपमा, रस्ट भाषासँग सम्बन्धित दुई घटनाहरू नोट गर्न सकिन्छ:

• OSTIF (ओपन सोर्स टेक्नोलोजी सुधार कोष), खुला स्रोत परियोजनाहरूको सुरक्षा सुदृढ गर्न सिर्जना गरिएको, RustVMM परियोजनाको अडिटको नतिजा प्रकाशित गरेको छ, जसले कार्य-विशिष्ट हाइपरभाइजरहरू र भर्चुअल मेसिन मनिटरहरू (VMMs) सिर्जना गर्न कम्पोनेन्टहरू प्रदान गर्दछ। इन्टेल, अलिबाबा, अमेजन, गुगल, लिनारो र रेड ह्याट जस्ता कम्पनीहरूले परियोजनाको विकासमा भाग लिइरहेका छन्। इंटेल क्लाउड हाइपरभाइजर र ड्र्यागनबल हाइपरभाइजरहरू RustVMM मा आधारित विकसित भइरहेका छन्। अडिटले कोड आधारको उच्च गुणस्तर र अधिकतम सुरक्षा प्राप्त गर्ने उद्देश्यले वास्तुकला र कार्यान्वयनमा प्रविधिहरूको प्रयोग पुष्टि गर्‍यो। लेखापरीक्षणका क्रममा सुरक्षामा प्रत्यक्ष असर नगर्ने ६ वटा समस्या पहिचान गरिएको थियो ।
• गुगलले लिनक्स कर्नेल विकासकर्ता मेलिङ सूचीमा रस्ट भाषामा पुन: लेखिएको, बाइन्डर इन्टरप्रोसेस कम्युनिकेशन मेकानिज्मको नयाँ कार्यान्वयन पेश गर्‍यो। एन्ड्रोइडमा मेमोरीसँग काम गर्दा समस्याहरू पहिचान गर्ने क्षमता बढाउन सुरक्षालाई सुदृढ गर्न, सुरक्षित प्रोग्रामिङ प्रविधिहरू प्रवर्द्धन गर्ने परियोजनाको एक भागको रूपमा पुन: कार्य गरिएको थियो (एन्ड्रोइडमा पहिचान गरिएका सबै खतरनाक कमजोरीहरूको लगभग 70% मेमोरीसँग काम गर्दा त्रुटिहरूको कारणले गर्दा हुन्छ। )। रस्टमा बाइन्डरको कार्यान्वयनले C भाषामा मौलिक संस्करणसँग कार्यक्षमतामा समानता हासिल गरेको छ, सबै AOSP (एन्ड्रोइड ओपन-सोर्स प्रोजेक्ट) परीक्षणहरू पास गर्दछ र फर्मवेयरको कार्य संस्करणहरू सिर्जना गर्न प्रयोग गर्न सकिन्छ। दुबै कार्यान्वयनको कार्यसम्पादन लगभग समान स्तरमा छ (-१.९६% र +१.३८% भित्रको विचलन)।

स्रोत: opennet.ru