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

Avaldatud on programmeerimiskeele Rust 1.93 versioon, mille arendas välja Mozilla, kuid mida arendab praegu sõltumatu mittetulundusühing Rust Foundation. Keele fookus on mälu ohutusel ja see pakub vahendeid ülesannete kõrge paralleelsuse saavutamiseks, vältides samas prügi kogumise ja runtime'i (runtime piirdub põhialgse initsialiseerimise ja standardsed teegi hoidmisega).

Rustis olevad mäluhaldusmeetodid vabastavad arendajad probleemidest, mis on seotud osutitega, ning kaitsevad madala taseme mälutöötlusest tulenevate probleemide, nagu vabanenud mälu alale juurdepääs, nullosutite de-referentseerimine, mälupiiride ületamine jne. Raamatukogude levitamiseks, projekti koostamise ja sõltuvuste haldamiseks arendatakse pakihaldurit Cargo. Raamatukogude paigutamiseks toetatakse repo crates.io.

Rust tagab turvalise mälutöötluse kompilatsiooni ajal, kontrollides viiteid, jälgides objektide omandit, arvestades objektide elutsüklit (nähtavust) ja hinnates mälule juurdepääsu õigsust koodi käitamise ajal. Rust pakub ka meetmeid enamike täisarvude ületamiste vältimiseks, nõuab muutujate väärtuste algväärtustamist enne kasutamist, käsitleb vigasid paremini oma standardraamatukogus, rakendab immutamatuse (immutable) kontseptsiooni viidetes ja muutujates vaikimisi ning pakub tugevat staatilist tüüpimist loogiliste vigade minimeerimiseks.

Põhilised uuendused:

• Rusti vaikekomplektis on standardne C-kogumik Musl, mida kasutatakse staatilisel sidumisel sihttöötlusplatvormidele "*-linux-musl" (aarch64-unknown-linux-musl, x86_64-unknown-linux-musl, powerpc64le-unknown-linux-musl jne) süsteemide puhul, kus Musl pole olemas, uuendatud versioonini 1.2.5. Minimum toetatav Musl versioon dünaamilisel sidumisel on samuti tõstetud väljaandele 1.2.5. Varasemalt kasutati Rustis Musl versiooni 1.2.3, milles esines DNS-resolveri rakendamise probleeme. Musl versioonis 1.2.4 lisati DNS-resolverisse võimalus edastada päring TCP kaudu, kui UDP päring ei õnnestunud, mis lahendas probleemid suurte DNS-kirjete pärimisega ja parandas ühilduvust rekursiivsete DNS-serveritega, mis ei toeta osalise vastuse edastamist katkestatud UDP-vastustes. Musl versioonis 1.2.5 on DNS-resolveris rakendatud pika CNAME-järjestuste vastuste töötlemine ja lahendatud probleem, mille tõttu lükati tagasi mõned suured vastused, mida edastati TCP kaudu.
• Standardteek on ümber töötatud, et lahendada probleemid, mis on seotud reenteraabiliteediga globaalsete mäluallocatorite, mis on kirjutatud Rustis, std::thread_local! makrode ja std::thread::current funktsiooni kasutamisel, mis põhjustasid lõpmatuid rekursioone. Olukorra vältimiseks, kus std::thread_local! ja std::thread::current kutsusid mälu jagajat, milles nad olid kasutusel, rakendatakse nüüd otse süsteemi mälu eraldamise mehhanismi.
• Asm!-blokkide sees, kus on assemblerikood, on lubatud kasutada attribuutide «cfg», mis näiteks võimaldab hallata CPU laiendatud käskude komplektide aktiveerimist eraldi väljendite kontekstis asm-blokis (varem said atribuudid «cfg» olla määratud ainult kogu asm-bloki 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 );
• Stabiilsete versioonide hulka on lisatud uus komplekt API-sid, sealhulgas on stabiliseeritud meetodid ja tüüpide 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 tõlgitud teisele toetuse tasemele, kus garantiiks on kompileerimise garantii, kuid pole garantiisid testide läbimise osas.

Lisaks võib nimetada mitmeid Rustiga seotud projekte:

• Linuxi tuumale arendatakse Rexi raamistikku, mis võimaldab luua täiustusi Linuxi tuumale Rusti keeles, mida saab kasutada tuuma funktsionaalsuse laiendamiseks, asendades eBPF. Rex pakub samu turvalisuse tagatisi nagu eBPF, kuid kasutab turvalisuse ja isolatsiooni tagamiseks Rusti keele võimalusi ning kerget käitusaja keskkonda. Selliste programmide puhul ei rakendata valideerijat ning programmid kompileeritakse Rusti kompilaatoriga masinakoodiks.

  Rex-programmides on lubatud kasutada Rusti keele alammeetodit, mis tagab turvalisuse. Praegu toetatakse 5 tüüpi eBPF programme: kprobe, perf_event, tracepoint, xdp ja tc. On võimalik kutsuda eBPF abifunktsioone, suhelda eBPF map-struktuuridega, hallata tuuma ressursse, töödelda erandeid ning kasutada tuuma struktuuride peal abstraktsioone.

• Saadaolev on Fjall 3, Rustis kirjutatud manustatud salvestus, mis töötab võtme-väärtuse formaadis. Andmete salvestamine toimub logi kujul LSM-puu (Log-Structured-Merge) kasutamisega, nagu RocksDB-s, kus muudatused salvestatakse andmete lisamisega faili lõppu. Andmebaasi juurde pääsemiseks pakutakse BTreeMap stiilis API-d. Toetatakse selliseid funktsioone nagu nimedekonsoolid, otsing otse- ja tagasiviidelt vahemike kaupa, sisseehitatud kokkusurumine, seeriatavad tehingud, võtmete ja nendega seotud väga suurte väärtuste eraldi salvestamine ning automaatne andmebaasi taustahooldus. Kood on avatud Apache 2.0 litsentsi alusel.
• Tor projekti on avaldanud Arti 1.9.0 versiooni, mis on Tor tööriista rakendus, kirjutatud Rust keeles. Kui Arti kood saavutab taseme, mis suudab täielikult asendada C keeles kirjutatud variandi, kavatsevad Tor arendajad anda Artile Tor'i peamise rakenduse staatuse ja järk-järgult lõpetada C variandi hooldamise. Uues versioonis jätkub funktsionaalsuse rakendamine reljee ja serverite direktorite (Directory Authority) jaoks, on paranenud tugi dünaamiliselt määratud portidele (proxy.socks_listen = "auto"), lisatud eksperimentaalne API onion-teenuste võtmete haldamiseks.

Allikas: opennet.ru