रस्ट 1.74 प्रोग्रामिंग भाषेचे प्रकाशन. RustVMM ऑडिट. गंज मध्ये बाईंडर पुनर्लेखन

Mozilla प्रकल्पाद्वारे स्थापित, परंतु आता स्वतंत्र ना-नफा संस्था Rust Foundation च्या संरक्षणाखाली विकसित केलेली Rust 1.74 सामान्य-उद्देशीय प्रोग्रामिंग भाषा प्रकाशित करण्यात आली आहे. भाषा मेमरी सुरक्षिततेवर लक्ष केंद्रित करते आणि कचरा गोळा करणारे आणि रनटाइमचा वापर टाळून उच्च जॉब समांतरता प्राप्त करण्याचे साधन प्रदान करते (रनटाइम मूलभूत प्रारंभ आणि मानक लायब्ररीची देखभाल करण्यासाठी कमी केला जातो).

रस्टच्या मेमरी हाताळण्याच्या पद्धती पॉइंटर हाताळताना विकासकाला त्रुटींपासून वाचवतात आणि निम्न-स्तरीय मेमरी हाताळणीमुळे उद्भवणाऱ्या समस्यांपासून संरक्षण करतात, जसे की मेमरी एरिया मोकळा झाल्यानंतर त्यात प्रवेश करणे, नल पॉइंटर्सचा संदर्भ घेणे, बफर ओव्हररन्स इ. लायब्ररी वितरीत करण्यासाठी, बिल्ड प्रदान करण्यासाठी आणि अवलंबित्व व्यवस्थापित करण्यासाठी, प्रकल्प कार्गो पॅकेज व्यवस्थापक विकसित करतो. crates.io रेपॉजिटरी होस्टिंग लायब्ररीसाठी समर्थित आहे.

संदर्भ तपासणी, ऑब्जेक्टच्या मालकीचा मागोवा ठेवणे, ऑब्जेक्ट लाइफटाइम (स्कोप) चा मागोवा ठेवणे आणि कोड एक्झिक्यूशन दरम्यान मेमरी ऍक्सेसच्या अचूकतेचे मूल्यांकन करणे याद्वारे मेमरी सुरक्षितता रस्टमध्ये कंपाइल वेळी प्रदान केली जाते. रस्ट पूर्णांक ओव्हरफ्लोपासून संरक्षण देखील प्रदान करते, वापरण्यापूर्वी व्हेरिएबल व्हॅल्यूजचे अनिवार्य आरंभ आवश्यक आहे, मानक लायब्ररीमध्ये त्रुटी चांगल्या प्रकारे हाताळते, डिफॉल्टनुसार अपरिवर्तनीय संदर्भ आणि व्हेरिएबल्सची संकल्पना लागू करते, तार्किक त्रुटी कमी करण्यासाठी मजबूत स्थिर टायपिंग ऑफर करते.

मुख्य नवकल्पना:

• पॅकेज मॅनेजर मॅनिफेस्टसह Cargo.toml फाइलद्वारे लिंट चेक कॉन्फिगर करण्याची क्षमता जोडली. लिंट सेटिंग्ज परिभाषित करण्यासाठी, जसे की प्रतिसाद पातळी (निषिद्ध करा, नकार द्या, चेतावणी द्या, परवानगी द्या), नवीन विभाग “[लिंट]” आणि “[workspace.lints]” प्रस्तावित आहेत, ज्यात बदल विचारात घेतले जातात. पुनर्बांधणी उदाहरणार्थ, “#![forbid(unsafe_code)]” आणि “#![deny(clippy) असेंब्ल करताना किंवा जोडताना “-F”, “-D”, “-W” आणि “-A” ध्वज निर्दिष्ट करण्याऐवजी :" कोडची विशेषता) :enum_glob_use)]" आता कार्गो मॅनिफेस्टमध्ये वापरली जाऊ शकते: [lints.rust] unsafe_code = "forbid" [lints.clippy] enum_glob_use = "nay"
• क्रेट पॅकेज मॅनेजरने रेपॉजिटरीशी कनेक्ट करताना प्रमाणीकरण करण्याची क्षमता जोडली आहे. मूलभूत वितरणामध्ये लिनक्स क्रेडेंशियल स्टोअर्स (लिबसेक्रेटवर आधारित), मॅकओएस (कीचेन) आणि विंडोज (विंडोज क्रेडेन्शियल मॅनेजर) मध्ये प्रमाणीकरण पॅरामीटर्स ठेवण्यासाठी समर्थन समाविष्ट आहे, परंतु सिस्टम सुरुवातीला मॉड्यूलर बनविण्यात आली होती आणि तुम्हाला विविध प्रदात्यांसह कार्य आयोजित करण्याची परवानगी देते. टोकन व्युत्पन्न करणे, उदाहरणार्थ, 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 { /* … */ } }
• API चा एक नवीन भाग स्थिर श्रेणीमध्ये हलविला गेला आहे, ज्यामध्ये पद्धती आणि गुणधर्मांची अंमलबजावणी स्थिर केली गेली आहे:
• "const" विशेषता, जी स्थिरांकांऐवजी कोणत्याही संदर्भात वापरण्याची शक्यता निर्धारित करते, फंक्शन्समध्ये वापरली जाते:
  • core::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • कोर::संख्या::संतृप्त
  • std::process::Stdio साठी impl From
  • std::process::Stdio साठी impl From
  • 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 कडून<[टी; N]> आर्क<[T]> साठी
  • impl कडून<[टी; N]> Rc<[T]> साठी
• कंपाइलर, टूलकिट, स्टँडर्ड लायब्ररी आणि व्युत्पन्न केलेल्या ऍप्लिकेशन एक्झिक्युटेबल्सने Apple प्लॅटफॉर्मसाठी आवश्यकता वाढवली आहे, आता किमान macOS 10.12 Sierra, iOS 10 आणि tvOS 10 2016 मध्ये रिलीझ करणे आवश्यक आहे.
• i686-pc-windows-gnullvm प्लॅटफॉर्मसाठी समर्थनाचा तिसरा स्तर लागू केला गेला आहे. तिसऱ्या स्तरामध्ये मूलभूत समर्थन समाविष्ट आहे, परंतु स्वयंचलित चाचणीशिवाय, अधिकृत बिल्ड प्रकाशित करणे किंवा कोड तयार केला जाऊ शकतो की नाही हे तपासणे.
• loongarch64-unknown-none लक्ष्य प्लॅटफॉर्मसाठी समर्थनाची दुसरी पातळी लागू केली गेली आहे. समर्थनाच्या दुसऱ्या स्तरामध्ये असेंब्लीची हमी समाविष्ट असते.

याव्यतिरिक्त, गंज भाषेशी संबंधित दोन घटना लक्षात घेतल्या जाऊ शकतात:

• ओएसटीआयएफ (ओपन सोर्स टेक्नॉलॉजी इम्प्रूव्हमेंट फंड), ओपन सोर्स प्रकल्पांच्या सुरक्षिततेला बळकट करण्यासाठी तयार करण्यात आले आहे, ज्याने RustVMM प्रकल्पाच्या ऑडिटचे परिणाम प्रकाशित केले आहेत, जे टास्क-स्पेसिफिक हायपरवाइजर आणि व्हर्च्युअल मशीन मॉनिटर्स (VMMs) तयार करण्यासाठी घटक प्रदान करतात. इंटेल, अलिबाबा, अॅमेझॉन, गुगल, लिनारो आणि रेड हॅट सारख्या कंपन्या प्रकल्पाच्या विकासात सहभागी होत आहेत. इंटेल क्लाउड हायपरवाइजर आणि ड्रॅगनबॉल हायपरवाइजर RustVMM वर आधारित विकसित केले जात आहेत. ऑडिटने कोड बेसच्या उच्च गुणवत्तेची आणि आर्किटेक्चर आणि अंमलबजावणीमध्ये तंत्रांचा वापर याची पुष्टी केली आहे ज्याचा उद्देश जास्तीत जास्त सुरक्षितता प्राप्त करणे आहे. लेखापरीक्षणादरम्यान, 6 समस्या ओळखल्या गेल्या ज्यांचा सुरक्षिततेवर थेट परिणाम झाला नाही.
• Google ने लिनक्स कर्नल डेव्हलपर मेलिंग लिस्टमध्ये रस्ट भाषेत पुन्हा लिहिलेल्या, बाइंडर इंटरप्रोसेस कम्युनिकेशन मेकॅनिझमची नवीन अंमलबजावणी सादर केली. सुरक्षितता मजबूत करण्यासाठी, सुरक्षित प्रोग्रामिंग तंत्रांना प्रोत्साहन देण्यासाठी आणि Android मध्ये मेमरीसह काम करताना समस्या ओळखण्याची कार्यक्षमता वाढवण्यासाठी प्रकल्पाचा एक भाग म्हणून हे पुनर्कार्य केले गेले (Android मध्ये ओळखल्या गेलेल्या सर्व धोकादायक असुरक्षांपैकी सुमारे 70% मेमरीसह काम करताना त्रुटींमुळे होतात. ). रस्टमध्ये बाइंडरच्या अंमलबजावणीने C भाषेतील मूळ आवृत्तीसह कार्यक्षमतेत समानता प्राप्त केली आहे, सर्व AOSP (Android ओपन-सोर्स प्रोजेक्ट) चाचण्या उत्तीर्ण केल्या आहेत आणि फर्मवेअरच्या कार्यरत आवृत्त्या तयार करण्यासाठी वापरल्या जाऊ शकतात. दोन्ही अंमलबजावणीचे कार्यप्रदर्शन अंदाजे समान पातळीवर आहे (-1.96% आणि +1.38% च्या आत विचलन).

स्त्रोत: opennet.ru