Rust 1.99.0 väljalase. Microsoft on viinud Rust põhiliste keelte hulka

Väljalase programmeerimiskeelest Rust 1.99, mis põhineb Mozilla projektist, kuid mida arendatakse praegu sõltumatu mittetulundusühingu Rust Foundationi toetusel. Keel keskendub mälu ohutule käsitlemisele ja pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, samas kui see kasutab vältimatult prügikoristajat ja runtime'i (runtime piirdub põhialuste initsialiseerimise ja standardraamatukogu toetamisega).

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:

• Rust'i keeles on nüüd võimalus luua variadic funktsioone, mida saab eksportida C keele projektidest kutsumiseks (C ABI). Nimetatud funktsioonide parameetrite loendi viimase elemendina võib kasutada konstruktsiooni „…”, mida Rust'is töödeldakse spetsiaalse VaList tüübi abil, mis toimib sarnaselt C keeles va_list'iga. unsafe extern "C" fn sum(mut args: …) -> i32 { let a = unsafe { args.next_arg::<i32>() }; let b = unsafe { args.next_arg::<i32>() }; a + b } fn foo() -> i32 { unsafe { sum(0i32, 2i32) } }
• Funktsioonid Layout::for_value_raw, mem::size_of_val_raw ja mem::align_of_val_raw on stabiliseeritud, võimaldades ohutult määrata suuruse ja joondamise toorete näidikute (raw pointer) alusel, sealhulgas dünaamilise suurusega tüüpide, näiteks lõikude, kasutamisel, ilma vajaduseta andmete viidete loomiseks.
• Dokumentatsioonis on lisatud soovitus vältida mälule, millele on saadud staatiline viide piiramatu elueaga (&’static), vabastamist, kutsudes Box::leak (round-trip unleaking), kuna selline tegevus võib potentsiaalselt põhjustada probleeme, mis on seotud tulevaste kompileerimise optimiseerimise ja lisatud mäluhaldusmehhanismidega. Ajaline omandiülekanne staatilise viite loomiseks peaks kasutama pigem tooreid näidikuid, näiteks Box::into_non_null'i kutsudes.
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • IntoIterator for Box<[T; N]>
  • IntoIterator for &Box<[T; N]>
  • IntoIterator for &mut Box<[T; N]>
  • VecDeque::retain_back
  • core::ffi::VaList
  • Box::into_non_null
  • Box::from_non_null
  • Vec::into_parts
  • Vec::from_parts
  • core::mem::size_of_val_raw
  • core::mem::align_of_val_raw
  • core::alloc::Layout::for_value_raw
  • String::from_utf8_lossy_owned
  • string::FromUtf8Error::into_utf8_lossy
  • FusedIterator for StepBy<I>
  • std::fs::set_times
  • std::fs::set_times_nofollow
• Cargo paketihalduris on rakendatud uus sisseehitatud profiil «debug», mis sarnaneb profiiliga «dev» (tulevikus plaanitakse silumist ja arendust eraldi hallata). CI-kogumisel on vaikimisi inkrementselt kompileerimine keelatud.
• Sihtplatvorm riscv64-unknown-linux-musl on viidud teise toetuse tasemele, mis tähendab kogumise tagamise, kuid ilma garantiideta testkomplekti läbimise osas.

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

• Microsoft on viinud Rusti esmareageerivate keelte hulka ja tagab selle täieliku toe kõigil arendusetappidel ettevõtte sees. Enne seda anti esimese taseme tugi ettevõtte sees C++, C# ja TypeScripti keeltele. Mainitud on, et Rusti kasutatakse juba üle 100 Microsofti hoidla. Muuhulgas kasutatakse Rasti komponente sellistes toodetes nagu Microsoft 365 ja Copilot ning MSVC kompilaatori jaoks on ette valmistatud eraldi backend rustc_codegen_utc, mis põhineb rustc kompilaatoril.

  Microsofti peamise Rasti kasutamise eesmärgiks on koodide turvalisuse tugevdamine, mis on kriitilise tähtsusega. Microsoft Azure'i tehnilise direktori sõnul põhjustavad umbes 70% kõigist Windowsi haavatavustest mäluga seotud probleemid, millest on võimalik vabaneda Rasti kasutamisega.

• Google eemaldab Linuxi tuumast vana protsessidevahelise suhtlemise mehhanismi Binder, mis on kirjutatud C keeles, uue Rustis ümber kirjutatud draiveri Binder IPC kasuks. Mainitud on, et vana draiveri 15-aastase eksisteerimise jooksul on kogunenud märkimisväärne tehniline võlg ja keerukus, mis takistas vigade leidmist, hooldamist ja uute funktsioonide lisamist. Binder IPC draiverit Rustis peetakse nüüd peamiseks ja mitte enam eksperimentaalseks arenduseks.
• Avalikustatud on Arti 2.7.0 väljaanne, Tor'i tööriistade teostus, mis on kirjutatud Rustis. Kui Arti kood saavutab taseme, mis suudab täielikult asendada C variandi, kavatsevad Tor'i arendajad anda Artile Tor'i peamise teostuse staatuse ja järk-järgult lõpetada C teostuse hooldamine. Uues versioonis on avatud arendustegevus relvade jaoks. serverid kataloog (Directory Authority), mis on seotud dokumentide töötlemise, katalooge peegeldavate serverite toetamise ja DNS-i liikluse käsitlemisega. On lisatud RPC rakendus konfiguratsiooni muutmiseks ja kontrollimiseks. Mitmed haavatavused on kõrvaldatud – onion-teenuste administraatoritele soovitatakse kiiresti oma süsteemid uuendada.

Allikas: opennet.ru