Rust 1.93 väljalaskmine. Projektid Rex, Fjall 3 ja Arti 1.9.0

Avaldatud programmikeele Rust 1.93 versioon, mis põhineb Mozilla projektidel, kuid mida arendab nüüd sõltumatu mittetulundusühing Rust Foundation. Keel keskendub mälu ohutule kasutamisele ja pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, samas ilma prügikoristaja ja ajaloo (runtime on piirdunud põhialustamise ja standardraamatukogu hooldusega) kasutamiseta.

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:

• Rustiga kaasasolev standardne C-raamatukogu Musl, mida kasutatakse staatiliseks sidumiseks sihtplatvormidele "*-linux-musl" (aarch64-unknown-linux-musl, x86_64-unknown-linux-musl, powerpc64le-unknown-linux-musl jne) süsteemides, kus Musl ei ole paigaldatud, on uuendatud versioonile 1.2.5. Miinimumnõuded Musl-i versioonile dünaamilise sidumise korral on samuti tõstetud versioonile 1.2.5. Varem kasutati Rustis Musl versiooni 1.2.3, mis sisaldas DNS-resolvaatori rakenduse meetoditega seotud probleeme. Musl versioonis 1.2.4 lisati DNS-resolvaatorisse võimalus saata päring TCP kaudu juhul, kui UDP pärimise katse ebaõnnestus, lahendades probleemid suurte DNS-kirjete pärimisega ja luues ühilduvuse rekursiivsete DNS-serveritega, mis ei toeta osaliste tulemuste tagastamist kärbitud UDP-vastustes. Musli versioonis 1.2.5 rakendati DNS-resolvaatoris pikkade CNAME-järjestustega vastuste töötlemine ning lahendati probleem, mille tõttu mõned suuri TCP kaudu edastatud vastuseid kõrvaldatud.
• Standardraamatukogu on ümber töötatud, et lahendada reentereerimisega seotud probleeme, mida põhjustavad Rustis kirjutatud globaalsete mälupiirkondade allocateerijate, makrode std::thread_local! ja funktsiooni std::thread::current kasutamine, mis viis lõputu rekurssi. Selle olukorra vältimiseks, kus std::thread_local! ja std::thread::current püüdsid mälu allocateerimise ajal kutsuda sama allocateerijat, milles nad töötavad, kasutatakse nüüd otseselt süsteemi mälu allocateerimise mehhanismi.
• Asm! blokis sees koodiga on lubatud kasutada ‘cfg’ atribuute, mis võimaldab näiteks haldada CPU laiendatud käskude komplektide aktiveerimise protsessi asm-bloki sees olevate üksikute avalduste kontekstis (varem võidi ‘cfg’ atribuute määrata ainult kogu asm-blokki jaoks). asm!( // või global_asm! või naked_asm! 'nop', #[cfg(target_feature = 'sse2')] 'nop', // … #[cfg(target_feature = 'sse2')] a = const 123, // kasutatakse ainult sse2 );
• Uus hulk API-d on viidud stabiilsuse tasemele, sealhulgas on stabiliseeritud meetodid ja tüübispetsiifikatsioonide rakendused:
  • <[MaybeUninit]>::assume_init_drop
  • <[MaybeUninit]>::assume_init_ref
  • <[MaybeUninit]>::assume_init_mut
  • <[MaybeUninit]>::write_copy_of_slice
  • <[MaybeUninit]>::write_clone_of_slice
  • String::into_raw_parts
  • Vec::into_raw_parts
  • ::unchecked_neg
  • ::unchecked_shl
  • ::unchecked_shr
  • ::unchecked_shl
  • ::unchecked_shr
  • ::as_array
  • ::as_array_mut
  • ::as_array
  • ::as_mut_array
  • VecDeque::pop_front_if
  • VecDeque::pop_back_if
  • Duration::from_nanos_u128
  • char::MAX_LEN_UTF8
  • char::MAX_LEN_UTF16
  • std::fmt::from_fn
  • std::fmt::FromFn
• Sihtplatvorm ‘riscv64a23-unknown-linux-gnu’ on viidud teise toetuse tasemele, mis eeldab kogumise garantii olemasolu, kuid ei garanteeri testikomplekti läbitulekut.

Lisaks võib märkida mitmeid Rustiga seotud projekte:

• Linuxi tuuma jaoks arendatakse Rexi raamistikku, mis võimaldab luua tuuma laiendusi Rusti keeles, mida saab kasutada tuuma funktsionaalsuse laiendamiseks eBPFi asemel. Rex pakub samu turvalisuse tagamise garantiisid nagu eBPF, kuid kasutab Rusti keele võimalusi ja kerget Runtime'i isolatsiooniks ja turvalisuse tagamiseks. Selliste programmide jaoks ei rakendata valideerijat ning programmid kompileeritakse Rusti kompilaatoriga natiivseks koodiks.

  Rexi programmides on lubatud kasutada Rusti keele alamkogumit, mis tagab turvalisuse. Praeguses versioonis toetatakse 5 eBPF programmi tüüpi: kprobe, perf_event, tracepoint, xdp ja tc. On võimalik kutsuda üles abifunktsioone eBPF, suhelda eBPF kaardistruktuuridega, juhtida tuuma ressursse, töötleda erandeid ja kasutada tuuma struktuuride kohalduse ja abstraktsioonide ümbriseid.

• Fjall 3, Rustis kirjutatud sisseehitatud salvestuslahendus, mis töötab võtme-väärtuse andmeformaadiga, on nüüd saadaval. Andmete salvestamine toimub logifaile kasutades LSM-puude (Log-Structured-Merge) meetodil, nagu RocksDB-s, kus muutused kirjutatakse andmete lisamise kaudu faili lõppu. Andmebaasile pääseb ligi BTreeMap stiilis API kaudu. Toetatakse selliseid võimalusi nagu nimed, otse- ja tagasivaatamine vahemike kaupa, sisseehitatud tihendus, serialiseeritavad tehingud, eraldi võtmete ja nende väga suurte seotud väärtuste salvestamine, automaatne taustteenindus andmebaasile. Kood on avatud Apache 2.0 litsentsi all.
• Tor projekti on välja andnud Arti 1.9.0, Tor tööriistakasti teostuse, mis on kirjutatud Rustis. Kui Arti kood saavutab taseme, mis suudab täielikult asendada C keeles variandi, kavatsevad Tor arendajad anda Artile peamise Tor teostuse staatuse ja järk-järgult lõpetada C keeles teostuse toetamise. Uues versioonis jätkatakse relayde ja serverid directory authority (Direktiivautentsus) funktsionaalsuse teostamist, parendatud on dünaamiliselt määratud portide (proxy.socks_listen = "auto") toetust, lisatud on eksperimentaalne API onion-teenuste võtmete haldamiseks.

Allikas: opennet.ru