Rust 1.89 väljaanne. Ligikaudu 8% src-pakettidest Debian Sid'is sõltuvad Rust'ist.

Käideti välja Rust 1.89 programmeerimiskeel, mille algatas Mozilla projekt, kuid mida praegu juhib sõltumatu mittetulundusühing Rust Foundation. Keel on keskendunud mälukaitsele ja pakub vahendeid ülesannete suure paralleelsuse saavutamiseks, samas vältides prügikoristaja ja runtime'i kasutamist (runtime piirdub baasi initsialiseerimise ja standardraamatukogu kaasamisega).

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:

• Pakutakse võimalust kasutada sümbolit „_” üldiste parameetrite argumendina koos „const” tähisega nende parameetrite väärtuste tuletamiseks ümbritsevast kontekstist. pub fn all_false() -> [bool; LEN] { [false; _] }
• Lisatud uus lint-hoiatust "mismatched_lifetime_syntaxes", et lahendada mitteühtlane eluea määratlemine funktsioonide signerimisel, kasutades „lifetime elision“ mehhanismi (automaatne eluea määratlemine viidates, võimaldades vältida käsitsi määratlemist). Hoiatus kontrollib, et funktsiooni sisend- ja väljundparameetrid kuuluvad samasse tüübigruppi. Gruppide moodustamine põhineb selgesõnalise eluea määratlemise toest ja eluea automaatse järeldamise võimalustel kompilaatori poolt (näiteks tüüpides "&’a T" ja "ContainsLifetime<‘a>" võib eluea selgesõnaline määratlemine olla, kuid kompilaator ei suuda automaatselt eluea määrata, samas kui tüüpides "&T", "&’_ T" ja "ContainsLifetime<‘_>" on lubatud nii selgesõnaline määratlemine kui ka automaatne määratlemine).
• Atribuudis "target_feature" x86 süsteemidele on realiseeritud võimalus kontrollida suurenenud käsu komplektide toetust sha512, sm3, sm4, kl ja widekl, samuti eraldi funktsioone avx512. #[target_feature(enable = "avx512bw")] pub fn cool_simd_code(/* .. */) -> /* … */ { /* … */ }
• Tagatud on doctesti (dokumentatsioonis sisseehitatud testid) käivitamine mitte ainult praegusele sihtplatvormile, vaid ka teistele platvormidele, mis on määratud „cargo“ pakihalduri käivitamisel („cargo test —doc —target other_target“).
• ‘extern "C"‘ funktsioonide puhul, kui sihtplatvormiks on „wasm32-unknown-unknown“, on WebAssembly jaoks realiseeritud standardne C ABI.
• Mõned tähelepanekud tüüpide ühilduvuse osas, on lubatud kasutada i128 ja u128 tüüpe väliste C funktsioonide (extern „C") puhul, mille kohta on varem ilmunud lint-hoiatus „improper_ctypes_definitions“.
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • Paljud kompilaatorisse sisseehitatud funktsioonid (Intrinsics) x86 protsessorite jaoks, sealhulgas AVX512, SHA512, SM3 ja SM4 funktsioonid.
  • NonZero<char>
  • File::lock
  • File::lock_shared
  • File::try_lock
  • File::try_lock_shared
  • File::unlock
  • NonNull::from_ref
  • NonNull::from_mut
  • NonNull::without_provenance
  • NonNull::with_exposed_provenance
  • NonNull::expose_provenance
  • OsString::leak
  • PathBuf::leak
  • Result::flatten
  • std::os::linux::net::TcpStreamExt::quickack
  • std::os::linux::net::TcpStreamExt::set_quickack

  Märgis „const“ on rakendatud funktsioonides:

  • <[T; N]>::as_mut_slice
  • <[u8]>::eq_ignore_ascii_case
  • str::eq_ignore_ascii_case
• Algus on toiming, et sihtplatvorm "x86_64-apple-darwin" viida esimeselt toe tasemelt teisele (Apple kavatseb lõpetada x86_64 arhitektuuri toe). Esimene toe tase tähendab binaarsõlmede loomist, põhjalikku testimist ja kõrgeima toe garantii pakkumist — iga kompilaatoris tehtud muudatus kontrollitakse täie testikomplekti läbiviimisega. Teine toe tase tähendab kokkuleppe garantii olemasolu, kuid testikomplekti läbimise garantii puudumist.
• Reaaliseeritud on kolmas toe tase platvormidele "loongarch32-unknown-none" ja "loongarch32-unknown-none-softfloat". Kolmas tase tähendab põhitoe olemasolu, kuid puuduvad automatiseeritud testimised, ametlike versioonide avaldamine ja koodi kokkuleppe kontrollimine.

Lisaks võib märkida Rusti seonduvaid sündmusi ja projekte:

• Avaldatud on raport Rusti pakettide olukorrast Debianis. Märgitakse, et Debian Unstable (Sid) haru sisaldab umbes 8% src-pakettidest peamise repositooriumi kogus, mis on seotud vähemalt ühe "librust-*" paketi sõltuvustega. Debiani 12-s oli selliseid pakette 4.5%. Samuti märgiti, et rohkem kui 3000 paketti sisaldavad Rusti koodi, mis on välja toodud pakettides librust-..-dev, ja 150 src-paketti tarnivad kompileeritud käivitatavad failid või Rusti raamatukogud.

  Debianile huvipakkuvatest pakettidest on mainitud sudo-rs, ntpd-rs, uutils, Sequoia, rpgp, hickory (DNS), Rustls, rav1d ja fish. Rusti valikuline tugi on rakendatud APT-s, QEMU-s (virtiofsd), Linuxi kernelis ja Mesas, samuti oodatakse LibreOffices. Crate-pakettide muutmiseks Debiani src-pakettideks on arendatud tööriistade komplekt debcargo.

• Esitatud on projekt tmux-rs, mis arendab terminali multiplexer tmuxi klooni (konsooli aknahaldur), mis on kirjutatud C-st Rusti keeles.
• Driveri Tyr arendaja ettevõttest Collabora avaldas artikli GPU-de ja kõrgema taseme drivaatorite arengust Rusti keeles.
• Demonstratsiooniks on esitatud universaalne rakendus Rusti keeles, mis suudab töötada nii CPU-l kui ka erinevatel GPU platvormidel: CUDA NVIDIA-le, SPIR-V GPU-dele, mis toetavad Vulkanit, Metal Apple'i jaoks, DirectX 12 Windowsile ja WebGPU brauseritele.

Allikas: opennet.ru