Rust 1.90 väljalase. Windowsi draiverite loomise tööriistakomplekt Rustil

Avaldati Rust 1.90 programmeerimiskeele väljalase, mille on algatanud Mozilla projekt, kuid mida praegu arendab sõltumatu mittetulundusühing Rust Foundation. Keel keskendub mäluga turvalisele töötlemisele ja pakub vahendeid ülesannete kõrge paralelleerimise saavutamiseks, vältides samas prügikoguja ja runtime'i (runtime piirdub baasiniitsialiseerimise ja standardraamatukogu toetamisega).

Mäluga töötamise meetodid Rust'is vabastavad arendajad pointerite manipulatsiooni vigadest ja kaitsevad neid probleemide eest, mis tulenevad madala taseme mälu haldamisest, nagu mälualale pärast selle vabastamist juurdepääs, null-pointerite dereferentseerimine, puhverserveri piiridest väljumine jne. Raamatukogude levitamiseks, kokkupaneku tagamiseks ja sõltuvuste haldamiseks arendatakse paketihaldurit Cargo. Raamatukogude majutamiseks toetatakse repoturite 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:

• Linuxis x86_64 arhitektuuriga arvutites käivitatakse crate-pakettide dünaamiliseks sidumiseks vaikimisi LLVM projekti LLD sidur. LLD kasutamine BFD siduri vastu on tõenäoliselt parandanud suuremate täitmisfailide ja suure hulga silumisinfoga projektide sidumise jõudlust, samuti kiirendanud inkrementaalset uuesti kompileerimist. Enamikes juhtudel on LLD BFD-ga tagurpidi ühilduv. Probleemide ilmnemisel saab naasta BFD juurde, määrates keskkonnamuutujas RUSTFLAGS lipu „-C linker-features=-lld“ või lisades failisse .cargo/config.toml: [target.x86_64-unknown-linux-gnu] rustflags = [„-Clinker-features=-lld“]
• Pakihaldur cargo käsus „publish“ on rakendatud valik „—workspace“, mis võimaldab automaatselt avaldada kõik pakid valitud tööruumist (pakettide kogum, mis kasutab ühte Cargo.lock faili ja ühist kogumiste tulemuste katalooge), säilitades pakettide järjekorra ja arvestades nendevahelisi sõltuvusi.
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • u{n}::checked_sub_signed
  • u{n}::overflowing_sub_signed
  • u{n}::saturating_sub_signed
  • u{n}::wrapping_sub_signed
  • impl Copy for IntErrorKind
  • impl Hash for IntErrorKind
  • impl PartialEq<&CStr> for CStr
  • impl PartialEq<CString> for CStr
  • impl PartialEq<Cow<CStr>> for CStr
  • impl PartialEq<&CStr> for CString
  • impl PartialEq<CStr> for CString
  • impl PartialEq<Cow<CStr>> for CString
  • impl PartialEq<&CStr> for Cow
  • impl PartialEq<CStr> for Cow
  • impl PartialEq<CString> for Cow
• Märgis „const“ on rakendatud funktsioonides:
  • <[T]>::reverse
  • f32::floor
  • f32::ceil
  • f32::trunc
  • f32::fract
  • f32::round
  • f32::round_ties_even
  • f64::floor
  • f64::ceil
  • f64::trunc
  • f64::fract
  • f64::round
  • f64::round_ties_even
• Musli raamatukogul põhinevate sihtplatvormide jaoks, mis on kolmandas toetuse tasemes, on vaikimisi aktiviseeritud dünaamiline sidumine: mips64-unknown-linux-muslabi64, powerpc64-unknown-linux-musl, powerpc-unknown-linux-musl, powerpc-unknown-linux-muslspe, riscv32gc-unknown-linux-musl, s390x-unknown-linux-musl ja thumbv7neon-unknown-linux-musleabihf.
• Sihtplatvorm "x86_64-apple-darwin" on tõstetud esimesest toetusastmest teise (Apple kavatseb lõpetada x86_64 arhitektuuri toetamise). Esimene toetusaste tähendab binaarsüsteemide genereerimist, põhjalike testide läbiviimist ja platvormiga seotud kõrgeima toetuse garantii andmist – iga kompilaatori muudatust kontrollitakse täiste testi komplekti läbimisega. Teine toetusaste tähendab ehituse garantiid, kuid testide läbimise korral pole garantiiid olemas.

Lisaks võib märkida, et Microsoft on arendanud Windows-i draiverite arendamise tööriistu Rust keeles. GitHub'is on juba avaldatud komplekt crate-pakette draiverite loomiseks WDM (Windows Driver Kit), KMDF (Kernel-Mode Driver Framework) ja UMDF (User-Mode Driver Framework) baasil, samuti Win32 teenuseid, mis on sobivad Windows 11-s kasutamiseks. Projekti eesmärk on pakkuda Rust arendajatele raamatukogusid ja funktsioone, mis on sarnased neile, mida pakutakse WDK-s C keele draiverite arendajatele. Praegusel etapil kasutab Rust draiverite arendamise tööriist palju unsafe-kutsungeid Windowsi alamsüsteemidega suhtlemiseks, kuid tulevikus on plaanis ette valmistada ohutud abstraktsioonid südamike struktuuride ja DDI (Device Driver Interface) jaoks. Projekti arendused on litsentseeritud MIT ja Apache 2.0 all.

Allikas: opennet.ru