Rust 1.95 väljaanne. Rusti lisamine Mir kuvaseervile. Trahvi analüsaator ayaFlow Rustis

Avaldati Rust 1.95 programmeerimiskeel, mille arendamisega tegeleb praegu iseseisev mittetulundusühing Rust Foundation, kuigi see põhines algselt Mozilla projektidel. Keel keskendub mälu ohutusele ja pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, samal ajal ilma prügifunktsiooni ja runtime'ita (runtime piirdub põhikonfiguratsiooni ja standardraamatukogu hooldamisega).

Rust'i mälu töötlemise meetodid on suunatud pointerite manipuleerimise vigade vältimisele ja probleemide kaitsmisele, mis tulenevad madala taseme mälu töötlemisest, nagu juurdepääs vabastatud mälupiirkondadele, nullpointerite de-referentseerimine, mälupuhvri ületamine jne. Raamatukogude levitamiseks, ehituste tagamiseks ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo. Raamatukogude majutamiseks toetatakse repotites crates.io.

Mäluhügieen Rust'is tagatakse kompileerimise ajal viidete kontrollimise, objektide omandi jälgimise, objektide eluaja (vaateala) arvestamise ja mälule juurdepääsu korrektuse hindamise kaudu koodi täitmise ajal. Rust pakub ka vahendeid täisarvude ülevoolude vältimiseks, nõuab muutujate väärtuste kohustuslikku initsialiseerimist enne kasutamist, käsitleb vigu paremini standardraamatukogus, rakendab muutumatuse (immutable) mõistet viidete ja muutujate jaoks vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade vähendamiseks.

Peamised uuendused:

• Lisatud makro „cfg_select!“, mida saab kasutada „cfg-if“ paketi asemel mitme kompileerimistingimuse töötlemiseks, match-bloki stiilis, ilma „#[cfg]“ konstruktsiooni tingimuslause ahelat määratlemata. cfg_select! { unix => { fn foo() { unix *0 } } target_pointer_width = «32» => { fn foo() { mitte-unix, 32-bit *0 } } _ => { fn foo() { mitte unix ja mitte 32-bit *0 } } }
• Tugevdatud on „if let“ väljendite määramise võimalus match-blokkides, et luua tingimuslikke mustrimeetodeid. Eelnevalt oli tugevdatud mitmete „let“ väljendite määramine „&&“ operaatoriga if ja while blokkides. match value { Some(x) if let Ok(y) = compute(x) => { println!(„{}, {}“, x, y); } _ => {} }
• Inline-assembleri tugi on stabiilne PowerPC ja PowerPC64 arhitektuuri jaoks.
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • MaybeUninit<[T; N]>: From<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsRef<[MaybeUninit<T>]>
  • MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>; N]>
  • MaybeUninit<[T; N]>: AsMut<[MaybeUninit<T>]>
  • [MaybeUninit<T>; N]: From<MaybeUninit<[T; N]>
  • Cell<[T; N]>: AsRef<[Cell<T>; N]>
  • Cell<[T; N]>: AsRef<[Cell<T>]>
  • Cell<[T]>: AsRef<[Cell<T>]>
  • bool: TryFrom<{integer}>
  • AtomicPtr::update
  • AtomicPtr::try_update
  • AtomicBool::update
  • AtomicBool::try_update
  • AtomicIn::update
  • AtomicIn::try_update
  • AtomicUn::update
  • AtomicUn::try_update
  • cfg_select!
  • mod core::range
  • core::range::RangeInclusive
  • core::range::RangeInclusiveIter
  • core::hint::cold_path
  • <*const T>::as_ref_unchecked
  • <*mut T>::as_ref_unchecked
  • <*mut T>::as_mut_unchecked
  • Vec::push_mut
  • Vec::insert_mut
  • VecDeque::push_front_mut
  • VecDeque::push_back_mut
  • VecDeque::insert_mut
  • LinkedList::push_front_mut
  • LinkedList::push_back_mut
  • Layout::dangling_ptr
  • Layout::repeat
  • Layout::repeat_packed
  • Layout::extend_packed
• Märgis „const“ on rakendatud funktsioonides:
  • fmt::from_fn
  • ControlFlow::is_break
  • ControlFlow::is_continue
• Stabiilsetes versioonides ei ole enam toetatud spetsifikaatide edastamine kompilatsioonile enda sihtplatvormide kohta.
• Sihtplatvormid powerpc64-unknown-linux-musl, aarch64-apple-tvos, aarch64-apple-tvos-sim, aarch64-apple-watchos, aarch64-apple-watchos-sim, aarch64-apple-visionos ja aarch64-apple-visionos-sim on muutunud teise toetuse tasemele, mis hõlmab kogumise garantiid, kuid puuduvad garantii testkomplekti läbimise osas.

Lisaks võib mainida hiljuti kuulutatud projekte ja sündmusi, mis on seotud Rustiga:

• Ettevõte Canonical tutvustas ekraaniservert Mir 2.26, mis pakub teeki komposiitide loomiseks serverid Waylandi protokolli põhjal ja hõlmab standardset funktsionaalsust aknahaldurite ja ekraaniserverite jaoks. Mir on kasutusel sellistes projektides nagu komposiitide haldur Miracle, Ubuntu Frame internetikioskide keskkond ja kasutajaliidest Miriway.

  Uus väljaanne on tähelepanuväärne, kuna see lisab võimaluse arendada komponente Rust keeles. Rust keeles on teostatud alternatiivne sisendihalduse alamsüsteem evdev-rs ja on alustatud tööd Rust keeles kirjutatud frontendi wayland-rs kallal Waylandi jaoks. Rustiga mitteseotud muudatused Miris hõlmavad Waylandi protokollide ext_image_copy_capture_v1 ja input-triggers toetust.

• Avalikustatud on esimesed ayaflow liikluse analüsaator, mis on kirjutatud Rust keeles ja kasutab Linuxi eBPF alamsüsteemi võrgupakettide (IPv4/TCP/UDP) ja Etherneti kaadrite pealtkuulamiseks minimaalsete mõjudega jõudlusele. Toetatakse rakenduse taseme protokollide sügavat inspektset (L7), näiteks TLS SNI ja DNS-päringute väljavõtte tegemist krüpteeritud liikluse analüüsimisel. Süsteem toetab ka ühenduste praeguse oleku tabeli pidamist DashMap formaadis, ajaloo salvestamist SQLite's ja statistika edastamist REST API kaudu Prometheusele.
• Rakendatud on tugi mitme lõimega rakenduste loomiseks Rust keeles, mis kasutavad funktsioone std::thread ja mille töö toimub GPU küljel.

Allikas: opennet.ru