Rust 1.53 väljaanne. Google rahastab Rusti toe lisamist Linuxi tuuma

Välja on antud süsteemikeele Rust 1.53, mida on arendanud Mozilla ja mida nüüd arendab sõltumatu mittetulundusühing Rust Foundation. Keel keskendub mälus ohutule tööle, tagab automaatse mäluhalduse ja pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, ilma jäädes samas prügikoguja ja runtime'i kasutamisest (runtime on piiratud põhialustuse ja standardbiblioteegi hooldusega).

Rustis tagab automaatne mäluhaldus arendajale vigu, mis on seotud pointerite manipulatsiooniga, ja kaitseb mäluhalduse madala taseme tööga seotud probleemide, näiteks mälust vabastamise järel mälupiirkonna juurde pääsemise, null-poodide lahti harutamise ja puhverpiiridest üleastumise eest. Teekide levitamiseks, kogumiseks ja sõltuvuste haldamiseks arendatakse pakettide haldurit Cargo. Teekide majutamiseks toetatakse registrit crates.io.

Peamised uuendused:

• Massiivide jaoks on välja töötatud IntoIterator iha, mis võimaldab massiivi elementide iteratsiooni väärtuste kaudu: for i in [1, 2, 3] { .. }

  Samuti on võimalik edastada massiive meetoditesse, mis võtavad vastu iteratoreid, näiteks: let set = BTreeSet::from_iter([1, 2, 3]); for (a, b) in some_iterator.chain([1]).zip([1, 2, 3]) { .. }

  Varem oli IntoIterator rakendatud ainult massiivide viidetele, st väärtuste iteratsiooniks tuli kasutada viiteid (‘&[1, 2, 3]’) või ‘[1, 2, 3].iter()’. IntoIterator rakenduse probleemid massiivide jaoks olid tingitud varasemaid muudatusi lõpetava tõlke muutmisest методarray.into_iter() kujul (&array).into_iter(). Need probleemid suudeti lahendada ringteed mööda — kompilaator jätkab array.into_iter() tõlgendamist kujul (&array).into_iter(), nagu oleks IntoIterator rakendus puudulik, kuid ainult meetodi kutsumise korral, kasutades süntaksit ‘.into_iter()’ ning see ei mõjuta kutseid kujul ‘in [1, 2, 3]’, ‘iter.zip([1, 2, 3])’, ‘IntoIterator::into_iter([1, 2, 3])’.

• On antud võimalus kasutada väljendeid ‘|’ (loogiline OR tehe) mis tahes šablooni osas, näiteks «Some(1) | Some(2)» asemel võib nüüd kirjutada «Some(1 | 2)»: match result { Ok(Some(1 | 2)) => { .. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) => { .. } _ => { .. } }
• Erinevate mitte-ASCII sümbolite kasutamine identifitseerijates on lubatud, sealhulgas kõiki rahvuslikke sümboleid, mis on määratletud Unicode UAX 31 spetsifikatsioonis, välja arvatud emojid. Kui kasutatakse erinevaid, kuid välimuselt sarnaseid sümboleid, väljastab kompilaator hoiatuse. const BLÅHAJ: &str = «🦈»; struct 人 { 名字: String, } let α = 1; let ｓos = 2; warning: identifier pair considered confusable between ‘ｓ’ and ‘s’
• Uue API stabiilne partii on ametlikult välja antud, sealhulgas on stabiliseeritud:
  • array::from_ref
  • array::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet::retain
  • BTreeMap::retain
  • BufReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • Duration::ZERO
  • Duration::MAX
  • Duration::is_zero
  • Duration::saturating_add
  • Duration::saturating_sub
  • Duration::saturating_mul
  • f32::is_subnormal
  • f64::is_subnormal
  • IntoIterator arrayde jaoks
  • {integer}::BITS
  • io::Error::Unsupported
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • Option::insert
  • Ordering::is_eq
  • Ordering::is_ne
  • Ordering::is_lt
  • Ordering::is_gt
  • Ordering::is_le
  • Ordering::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
  • slice::IterMut::as_slice
  • AsRef<[T]> slice::IterMut jaoks
  • impl SliceIndex (Bound<usize>, Bound<usize>) jaoks
  • Vec::extend_from_within
• Wasm64-unknown-unknown platvormil on rakendatud kolmanda taseme tugi. Kolmas tase tähendab põhilist tuge, kuid ilma automatiseeritud testimise, ametlike kogude avaldamise ja koodi kompileerimise kontrollimiseta.
• Pakettide haldur Cargo on vaikimisi muudetud kasutama nime "main" Git-repo põhiharu (HEAD) jaoks. Asetuste juures pole enam vajalik määrata branch = «main» sõltuvuste jaoks, mis on paigutatud repodes, mis kasutavad nime main asemel master.
• Kompilaatoris on minimi LLVM versiooni nõuded tõstetud LLVM 10 juurde.

Lisaks tasub märkida, et on tagatud rahastus Linuxi tuuma integreerimise arendamise toetamiseks Rust keeles koostatud komponentide jaoks. Töö toimub Prossimo projekti raames ISRG (Internet Security Research Group) organisatsiooni juhendamisel, kes on Let's Encrypt projekti asutaja ja edendab HTTPS-i ning arendab tehnoloogiaid, et suurendada interneti turvalisust. Rahastamise tagab Google, kes katab Miguel Oheda (Miguel Ojeda) töö, kes on Rust-for-Linux projekti autor. Varem on ISRG ja Google rahastanud alternatiivse HTTP tagapinna loomist curl utiliidi jaoks ja uue TLS mooduli arendamist Apache http-serveri jaoks.

Microsofti ja Google'i andmetel põhjustab umbes 70% haavatavustest mälu ebaõige kasutamine. Eeldatakse, et Rusti programmeerimiskeele kasutamine tuumakomponentide, näiteks seadme draiverite, arendamisel vähendab mälu ebaõige kasutamise tõttu tekkivate haavatavuste riski ning välistab selliste vigade, nagu mäluruumi vabastamise järel mäluaadressiga ühenduse loomine ja puhvri piirest väljumine, tekkimise.

Rust tagab mäluga ohutu töö kompileerimise ajal viidete kontrollimise, objektide omandi jälgimise ja objektide eluea (nähtavuse) arvestamise kaudu ning hindab koodi käivitamise ajal mälule juurdepääsu õigust. Rust pakub ka vahendeid täisarvude ületäitumise kaitsmiseks, nõuab muutuja väärtuste kohustuslikku algväärtustamist enne kasutamist, käsitleb vigu paremini standardraamatukogus, rakendab muutujaid ja viiteid vaikimisi muutumatuks (immutable) ning pakub tugevat staatilist tüübi määramist loogiliste vigade vähendamiseks.

Allikas: opennet.ru