रस्ट 1.53 रिलीज झाला. लिनक्स कर्नलमध्ये रस्ट सपोर्ट जोडण्यासाठी Google निधी देईल

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

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

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

• अॅरेसाठी, IntoIterator वैशिष्ट्य लागू केले गेले आहे, जे तुम्हाला अॅरे घटकांचे पुनरावृत्ती मूल्यांनुसार व्यवस्थापित करण्यास अनुमती देते: i साठी [1, 2, 3] { .. }

  पुनरावृत्ती स्वीकारणाऱ्या पद्धतींमध्ये अॅरे पास करणे देखील शक्य आहे, उदाहरणार्थ: let set = BTreeSet::from_iter([1, 2, 3]); some_iterator.chain([1]).zip([1, 2, 3]) मध्ये (a, b) साठी { .. }

  पूर्वी, IntoIterator फक्त अॅरे संदर्भांसाठी लागू केले गेले होते, म्हणजे. मूल्यांवर पुनरावृत्ती करण्यासाठी संदर्भांचा वापर आवश्यक आहे (“&[1, 2, 3]”) किंवा “[1, 2, 3].iter()”. array.into_iter() वरून (&array).into_iter() मध्ये पूर्वीच्या कंपाइलर रूपांतरणामुळे अ‍ॅरेसाठी IntoIterator ची अंमलबजावणी सुसंगतता समस्यांमुळे बाधित झाली. या समस्या एका वर्कअराउंडने सोडवल्या गेल्या - कंपाइलर 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)" तुम्ही आता "Some(1 | 2)" लिहू शकता: जुळणी परिणाम { Ok(Some(1 | 2)) => {.. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) => { .. } _ => { .. } }
• युनिकोड UAX 31 स्पेसिफिकेशनमध्ये परिभाषित केलेल्या कोणत्याही राष्ट्रीय वर्णांसह, परंतु इमोजी वर्ण वगळून अभिज्ञापकांमध्ये ASCII नसलेल्या वर्णांच्या वापरास परवानगी आहे. आपण भिन्न परंतु समान वर्ण वापरल्यास, कंपाइलर एक चेतावणी जारी करेल. const BLÅHAJ: &str = "🦈"; रचना 人 { 名字: स्ट्रिंग, } let α = 1; letｓos = 2; चेतावणी: ओळखकर्ता जोडी 'ｓ' आणि 's' मध्ये गोंधळात टाकणारी मानली जाते
• एपीआयचा एक नवीन भाग स्थिर श्रेणीमध्ये हस्तांतरित केला गेला आहे, ज्यामध्ये खालील स्थिरीकरण समाविष्ट आहे:
  • array::from_ref
  • array::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet:: राखून ठेवा
  • BTreeMap:: राखून ठेवा
  • बफरीडर::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • कालावधी::ZERO
  • कालावधी::MAX
  • कालावधी::शून्य आहे
  • कालावधी::संतृप्त_जोडणे
  • कालावधी::संतृप्त_सब
  • कालावधी::संतृप्त_मुल
  • f32::is_subnormal
  • f64::is_subnormal
  • अॅरेसाठी IntoIterator
  • {integer}::BITS
  • io::त्रुटी::सपोर्ट नाही
  • नॉनझिरो*::लीडिंग_शून्य
  • नॉनझिरो*::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
  • डोकावण्यायोग्य::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • स्लाइस::IterMut::as_slice
  • AsRef<[T]> स्लाइस::IterMut साठी
  • साठी impl SliceIndex (बाउंड , बांधलेले )
  • Vec::extend_from_within
• wasm64-अज्ञात-अज्ञात प्लॅटफॉर्मसाठी समर्थनाचा तिसरा स्तर लागू केला गेला आहे. तिसऱ्या स्तरामध्ये मूलभूत समर्थन समाविष्ट आहे, परंतु स्वयंचलित चाचणीशिवाय, अधिकृत बिल्ड प्रकाशित करणे किंवा कोड तयार केला जाऊ शकतो की नाही हे तपासणे.
• डीफॉल्टनुसार Git रिपॉझिटरी (HEAD) च्या मुख्य शाखेसाठी "मुख्य" नाव वापरण्यासाठी कार्गो पॅकेज व्यवस्थापक हलविला गेला आहे. रेपॉजिटरीजमध्ये होस्ट केलेल्या अवलंबनांना मास्टर ऐवजी मुख्य नाव वापरण्यासाठी यापुढे ब्रँच = "मुख्य" कॉन्फिगर करण्याची आवश्यकता नाही.
• कंपाइलरमध्ये, LLVM च्या किमान आवृत्तीची आवश्यकता LLVM 10 पर्यंत वाढवली आहे.

याव्यतिरिक्त, आम्ही Rust भाषेतील घटक विकसित करण्यासाठी टूल्सच्या Linux कर्नलमध्ये एकत्रीकरणाच्या विकासासाठी निधीची तरतूद लक्षात घेऊ शकतो. हे काम आयएसआरजी संस्थेच्या (इंटरनेट सिक्युरिटी रिसर्च ग्रुप) आश्रयाने प्रोसिमो प्रकल्पाच्या चौकटीत केले जाईल, जे लेट्स एन्क्रिप्ट प्रकल्पाचे संस्थापक आहे आणि एचटीटीपीएस आणि तंत्रज्ञानाच्या विकासाला प्रोत्साहन देते. इंटरनेट. Google द्वारे निधी प्रदान केला जाईल, जो रस्ट-फॉर-लिनक्स प्रकल्पाचे लेखक मिगुएल ओजेडा यांच्या कामासाठी पैसे देईल. पूर्वी, ISRG आणि Google ने आधीच curl युटिलिटीसाठी पर्यायी HTTP बॅकएंड तयार करण्यासाठी आणि Apache HTTP सर्व्हरसाठी नवीन TLS मॉड्यूल विकसित करण्यासाठी निधी दिला आहे.

मायक्रोसॉफ्ट आणि Google च्या मते, सुमारे 70% असुरक्षितता असुरक्षित मेमरी हाताळणीमुळे होते. डिव्हाइस ड्रायव्हर्ससारखे कर्नल घटक विकसित करण्यासाठी रस्ट लँग्वेजचा वापर केल्याने असुरक्षित मेमरी हाताळणीमुळे उद्भवणाऱ्या असुरक्षिततेचा धोका कमी होईल आणि मेमरी क्षेत्र मुक्त झाल्यानंतर प्रवेश करणे आणि बफर सीमा ओलांडणे यासारख्या त्रुटी दूर करणे अपेक्षित आहे.

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

स्त्रोत: opennet.ru