Ilmus Rust 1.53. Google rahastab Rust'i toe lisamist Linuxi tuuma.

Välja on välja antud Rust 1.53 süsteemiprogrammeerimiskeel, mille töötas välja Mozilla projekt, kuid mille arendust toetab praegu sõltumatu mittetulundusühing Rust Foundation. Keel keskendub mälu turvalisele haldamisele, tagab automaatse mälu haldamise ja pakub vahendeid kõrge täitmise paralleelsuse saavutamiseks, vältides samas prügikoristaja ja runtime kasutamist (runtime piirdub põhialustusega ning standardraamatukogu toetamisega).

Rustis tagab automaatne mälu haldus arendajale kaitse, vabastades ta erinevate näidikute käsitlemise vigadest ja kaitstes mäluga madalat tööd tehes tekkivate probleemide eest, nagu juurdepääs vabastatud mälu alale, nullviidete lahtimuukimine, puutumatuse ületamine jne. Raamatukogude jagamiseks, ehitamise tagamiseks ja sõltuvuste haldamiseks arendatakse pakihaldur Cargo. Raamatukogude majutamiseks toetatakse reposiiti crates.io.

Põhilised uuendused:

• Massiivide jaoks on rakendatud IntoIterator tüüp, mis võimaldab korraldada massiivi elementide iteratsiooni väärtuste järgi: for i in [1, 2, 3] { .. }

  Samuti on võimalik edastada massiive meetoditele, mis võtavad vastu iteratoore, 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 massiivi viidetele, st väärtuste iteratsiooniks tuli kasutada viiteid ("&[1, 2, 3]") või "[1, 2, 3].iter()". Massiivide jaoks mõeldud IntoIterator rakendused tõid kaasa ühilduvuse probleeme, mis olid põhjustatud varem kompilaatorisse lisatud meetodi array.into_iter() teisendamisest (&array).into_iter(). Need probleemid suudeti lahendada ringtee kaudu — kompilaator jätkab array.into_iter() teisendamist (&array).into_iter(), nagu oleks IntoIterator tüübide rakendamine puudunud, kuid ainult juhul, kui meetodit kutsutakse süntaksiga ".into_iter()" ja mitte sellistes kutsetes nagu "in [1, 2, 3]", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3])".

• On võimaldatud kasutada väljendeid "|" (loogiline OR) mis tahes šablooni osas, näiteks ei pea enam kirjutama "Some(1) | Some(2)", vaid võib kirjutada "Some(1 | 2)": match result { Ok(Some(1 | 2)) => { .. } Err(MyError { kind: FileNotFound | PermissionDenied, .. }) => { .. } _ => { .. } }
• Tuvastatud on mitte-ASCII symbolide kasutamine tuvastusnumbrites, sealhulgas kõik rahvussümbolid, mis on määratud Unicode UAX 31 spetsifikatsioonis, välja arvatud emoji sümbolid. Erinevate, kuid sarnaste kirjutisviisidega sümbolite kasutamisel genereerib kompilaator hoiatuse. const BLÅHAJ: &str = «🦈»; struct 人 { 名字: String, } let α = 1; let ｓos = 2; warning: identifier pair considered confusable between ‘ｓ’ and ‘s’
• Stabiilsetesse versioonidesse on kantud uus hulk API-sid, 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
  • {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 slice::IterMut jaoks
  • impl SliceIndex (Bound, Bound) jaoks
  • Vec::extend_from_within
• Kolmas tugi tasand on rakendatud wasm64-unknown-unknown platvormile. Kolmas tugi pakub põhitoetust, kuid ilma automatiseeritud testimise, ametlike kogude avaldamise ja koodi koostamise võimaluse kontrollita.
• Pakettide halduri Cargo vaikimisi nimi on nüüd «main» Git-repositoorset põhiharuks (HEAD). Repositooriäris, mis kasutab nime main asemel master, ei ole enam vaja seadistustes märkida branch = «main».
• Kompilaatori minimaalne LLVM versiooninõue on tõstetud LLVM 10-le.

Lisaks võib märkida Linuxi tuuma integreerimise arendustööde rahastamist Rusti arendusk komponentide loomiseks. Töö toimub Prossimo projekti raames, mida juhib ISRG (Internet Security Research Group), mille asutajaks on Let’s Encrypt projekt ning mis toetab HTTPS-i edendamist ja tehnoloogiate arendamist interneti turvalisuse tõstmiseks. Rahastamine tuleb Google'ilt, kes katab Miguel Ojedana (Rust-for-Linux projekti autor) töö. Varasemalt on ISRG ja Google juba rahastanud alternatiivse HTTP-tagakülje loomist curl utiliidile ning uue TLS-mooduli arendamist Apache http-serverile.

Microsofti ja Google'i andmetel on umbes 70% turvavigadest tingitud mälu ebaturvalisest kasutamisest. Eeldatakse, et Rusti keele kasutamine tuuma komponentide, näiteks seadme draiverite, arendamiseks aitab vähendada mälu ebaturvalise töötlemisega seotud haavatavuste riski ning välistada sellised vead nagu mälu vabastamise järel sellele juurdepääs ja puhverpiiride rikku mine.

Rust tagab mälutöö turvalisust kompileerimise ajal viidatud linkide kontrollimise, objektide omaniku jälgimise ja objektide eluea arvestamise (nähtavuse) kaudu, samuti pärast koodi käitamise ajal mälu juurdepääsu õigsuse hindamise kaudu. Rust pakub ka vahendeid täisarvude ülevoolude eest kaitsmiseks, nõuab muutuja väärtuste kohustuslikku initsialiseerimist enne kasutamist, haldab vigu paremini standardraamatukogus, rakendab muutumatuse (immutable) kontseptsiooni linkide ja muutujate puhul vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade minimeerimiseks.

Allikas: opennet.ru