Rust 1.53 जारी गरियो। Google ले लिनक्स कर्नेलमा रस्ट समर्थन थप्न कोष गर्नेछ

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

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

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

• arrays को लागि, IntoIterator विशेषता लागू गरिएको छ, जसले तपाईंलाई एरे तत्वहरूको पुनरावृत्तिलाई मानहरूद्वारा व्यवस्थित गर्न अनुमति दिन्छ: i in [1, 2, 3] {.. }

  पुनरावृत्तिहरू स्वीकार गर्ने विधिहरूमा एरेहरू पास गर्न पनि सम्भव छ, उदाहरणका लागि: let set = BTreeSet::from_iter([1, 2, 3]); (a, b) some_iterator.chain([1]) मा।zip([1, 2, 3]) { .. }

  पहिले, IntoIterator एरे सन्दर्भहरूको लागि मात्र लागू गरिएको थियो, अर्थात्। मानहरू दोहोर्याउनका लागि सन्दर्भहरू (“&[1, 2, 3]”) वा “[1, 2, 3].iter()” को प्रयोग आवश्यक हुन्छ। arrays का लागि IntoIterator को कार्यान्वयनमा array.into_iter() बाट (&array) into_iter() मा पहिलेको कम्पाइलर रूपान्तरणको कारणले गर्दा अनुकूलता समस्याहरूले बाधित भएको थियो। यी समस्याहरू समाधानका साथ समाधान गरिएको थियो - कम्पाइलरले array.into_iter() लाई (&array).into_iter() मा रूपान्तरण गर्न जारी राख्छ जस्तो कि त्यहाँ IntoIterator विशेषताको कार्यान्वयन थिएन, तर ".into_iter( प्रयोग गरेर विधि कल गर्दा मात्र। )" सिन्ट्याक्स र "[1, 2, 3] मा", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3]) को रूप मा कलहरूलाई छोए बिना। )"।

• अभिव्यक्ति "|" निर्दिष्ट गर्न सम्भव छ। टेम्प्लेटको कुनै पनि भागमा (तार्किक वा सञ्चालन) उदाहरणका लागि, “Some(1) | केहि(२)" तपाईले अब "Some(2 | 1)" लेख्न सक्नुहुन्छ: मेल नतिजा { Ok(Some(2 | 1)) => { .. } त्रुटि(MyError { प्रकार: FileNotFound | अनुमति अस्वीकार गरिएको, .. }) => {.. } _ => {.. } }
• पहिचानकर्ताहरूमा गैर-ASCII वर्णहरूको प्रयोगलाई अनुमति दिइएको छ, जसमा युनिकोड UAX 31 विशिष्टतामा परिभाषित कुनै पनि राष्ट्रिय वर्णहरू समावेश छन्, तर इमोजी क्यारेक्टरहरू बाहेक। यदि तपाइँ फरक तर समान क्यारेक्टरहरू प्रयोग गर्नुहुन्छ भने, कम्पाइलरले चेतावनी जारी गर्नेछ। const BLÅHAJ: &str = "🦈"; संरचना 人 { 名字: String, } let α = 1; let'os = 2; चेतावनी: पहिचानकर्ता जोडी 'ｓ' र 's' को बीचमा भ्रमित मानिन्छ
• एपीआईहरूको नयाँ भागलाई स्थिर श्रेणीमा स्थानान्तरण गरिएको छ, निम्न स्थिर गरिएको सहित:
  • array::from_ref
  • array::from_mut
  • AtomicBool ::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet :: कायम राख्नुहोस्
  • BTreeMap:: कायम राख्नुहोस्
  • BfReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • अवधि::ZERO
  • अवधि::MAX
  • अवधि:: is_zero
  • अवधि:: saturating_add
  • अवधि:: saturating_sub
  • अवधि:: saturating_mul
  • f32::is_subnormal
  • f64::is_subnormal
  • arrays को लागि IntoIterator
  • {integer}::BITS
  • io::त्रुटि::असमर्थित
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • विकल्प:: सम्मिलित गर्नुहोस्
  • अर्डर गर्दै::is_eq
  • अर्डर गर्दै::is_ne
  • अर्डर गर्दै::is_lt
  • अर्डर गर्दै::is_gt
  • अर्डर गर्दै::is_le
  • अर्डर गर्दै::is_ge
  • OsStr::make_ascii_lowercase
  • OsStr::make_ascii_uppercase
  • OsStr::to_ascii_lowercase
  • OsStr::to_ascii_uppercase
  • OsStr::is_ascii
  • OsStr::eq_ignore_ascii_case
  • peekable::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • स्लाइस::IterMut::as_slice
  • AsRef<[T]> स्लाइस::IterMut को लागि
  • (बाउन्ड , बाँधिएको )
  • Vec::extend_from_within
• wasm64-अज्ञात-अज्ञात प्लेटफर्मको लागि समर्थनको तेस्रो स्तर लागू गरिएको छ। तेस्रो तहमा आधारभूत समर्थन समावेश छ, तर स्वचालित परीक्षण बिना, आधिकारिक निर्माणहरू प्रकाशित गर्ने, वा कोड निर्माण गर्न सकिन्छ कि भनेर जाँच नगरी।
• कार्गो प्याकेज प्रबन्धकलाई पूर्वनिर्धारित रूपमा Git भण्डार (HEAD) को मुख्य शाखाको लागि "मुख्य" नाम प्रयोग गर्न सारिएको छ। भण्डारहरूमा होस्ट गरिएका निर्भरताहरू जसले मास्टरको सट्टा मुख्य नाम प्रयोग गर्दछ अब शाखा = "मुख्य" कन्फिगर गर्न आवश्यक पर्दैन।
• कम्पाइलरमा, LLVM को न्यूनतम संस्करणका लागि आवश्यकताहरू LLVM 10 मा बढाइएको छ।

थप रूपमा, हामी Rust भाषामा कम्पोनेन्टहरू विकास गर्नका लागि उपकरणहरूको लिनक्स कर्नेलमा एकीकरणको विकासको लागि कोषको प्रावधानलाई नोट गर्न सक्छौं। यो काम ISRG संगठन (इन्टरनेट सुरक्षा अनुसन्धान समूह) को संरक्षण अन्तर्गत Prossimo परियोजनाको ढाँचा भित्र गरिनेछ, जो Let's Encrypt परियोजना को संस्थापक हो र HTTPS को प्रवर्द्धन गर्दछ र प्रविधि को विकास को सुरक्षा को बृद्धि गर्न को लागी। इन्टरनेट। कोषहरू Google द्वारा उपलब्ध गराइनेछ, जसले रस्ट-फर-लिनक्स परियोजनाका लेखक मिगुएल ओजेडाको कामको लागि भुक्तानी गर्नेछ। पहिले, ISRG र Google ले पहिले नै कर्ल उपयोगिताको लागि वैकल्पिक HTTP ब्याकइन्ड सिर्जना गर्न र Apache HTTP सर्भरको लागि नयाँ TLS मोड्युलको विकास गर्न वित्त पोषित गरिसकेका छन्।

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

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

स्रोत: opennet.ru