Rust 1.93 har släppts. Projekten Rex, Fjall 3 och Arti 1.9.0

Släppet av programmeringsspråket Rust 1.93 har publicerats, som ursprungligen skapades av Mozilla men numera utvecklas under beskydd av den oberoende icke-vinstdrivande organisationen Rust Foundation. Språket fokuserar på säker minneshantering och erbjuder medel för att uppnå hög parallellism vid körning av uppgifter, utan att använda en skräpsamlare och runtime (runtime begränsas till grundläggande initialisering och underhåll av standardbiblioteket).

Minneshanteringsmetoderna i Rust skyddar utvecklare från att göra fel vid manipulering av pekare och skyddar mot problem som uppstår vid låg nivå minnesarbete, såsom att komma åt minnesområden efter att de har frigjorts, dereferera nullpekare, buffer overflow, etc. För distribution av bibliotek, byggande och hantering av projektberoenden utvecklas paketförvaltaren Cargo. För lagring av bibliotek stöds ett repository på crates.io.

Säker minneshantering säkerställs i Rust under kompilering genom att kontrollera referenser, spåra ägandeskap över objekt, ta hänsyn till livslängden av objekt (synlighet) och utvärdera korrekt minnesåtkomst under körning av koden. Rust erbjuder också verktyg för att skydda mot heltalsöverflöden, kräver obligatorisk initialisering av variabelvärden innan de används, hanterar fel bättre i standardbiblioteket, tillämpar konceptet av oföränderliga (immutable) referenser och variabler som standard och erbjuder stark statisk typning för att minimera logiska fel.

Huvudsakliga nyheter:

• Den inbyggda standard C-biblioteket Musl, som används vid statisk länkning för målplattformarna "*-linux-musl" (aarch64-unknown-linux-musl, x86_64-unknown-linux-musl, powerpc64le-unknown-linux-musl osv.) på system utan Musl, har uppgraderats till version 1.2.5. Den minimalt stödja versionen av Musl för dynamisk länkning har också höjts till utgåvan 1.2.5. Tidigare användes version 1.2.3 av Musl i Rust, där det fanns problem med DNS-resolver implementeringen. I version 1.2.4 av Musl lades möjligheten till att skicka förfrågningar över TCP till DNS-resolvern in vid misslyckande av UDP-anrop, vilket löste problemet med förfrågningar av stora DNS-poster och förbättrade kompatibiliteten med rekursiva DNS-servrar som inte stödjer delresultat i trunkerade UDP-svar. I version 1.2.5 av Musl har hanteringen av svar med långa CNAME-sekvenser implementerats i DNS-resolver och problemet där vissa stora svar avvisades, överförda via TCP, har lösts.
• Standardbiblioteket har omarbetats för att lösa problem med reentransibilitet när det används i globala minnesallokerare skrivna i Rust, makrot std::thread_local! och funktionen std::thread::current, vilket ledde till oändlig rekursion. För att undvika situationen där std::thread_local! och std::thread::current vid försök till minnesallokering använde samma allokerare som de använde, tillämpas nu direkt det systemiska minnesallokeringsmekanismen.
• Inom «asm!» blockar med assemblerkod är det tillåtet att använda attributet «cfg», vilket exempelvis möjliggör hantering av aktivering av avancerade CPU-instruktionsuppsättningar inom ramen för specifika uttryck i ett asm-block (tidigare kunde attributen «cfg» endast anges för hela asm-blocket). asm!( // eller global_asm! eller naked_asm! «nop», #[cfg(target_feature = «sse2»)] «nop», // … #[cfg(target_feature = «sse2»)] a = const 123, // används endast på sse2 );
• En ny uppsättning API har blivit stabiliserad, inklusive stabilisering av metoder och implementeringar av traits:
  • <[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
• Målplattformen «riscv64a23-unknown-linux-gnu» har nått andra stödnivån, vilket innebär att bygggarantier finns, men inga garantier för att klara testsviten.

Det kan även nämnas flera relaterade projekt med Rust:

• För Linux-kärnan utvecklas ramverket Rex, som möjliggör skapandet av tillägg för Linux-kärnan på Rust-språket, vilket kan användas för att utöka kärnans funktionalitet istället för eBPF. Rex erbjuder samma säkerhetsgarantier som eBPF, men använder Rust-språkets och ett lättviktigt runtime:s kapabiliteter för isolering och säkerhet. För sådana program tillämpas ingen verifierare, och programmen kompileras till nativ kod av Rust-kompilatorn.

  I Rex-program tillåts användning av en delmängd av Rust-språket som erbjuder säkerhetsgarantier. För närvarande stöds 5 typer av eBPF-program: kprobe, perf_event, tracepoint, xdp och tc. Det finns möjlighet att anropa hjälpfunktioner för eBPF, interagera med map-strukturer i eBPF, hantera kärnresurser, hantera undantag och använda bindningar och abstraktioner över kärnstrukturer.

• En ny version av Fjall 3, ett inbäddat lagringssystem skrivet i Rust som arbetar med data i nyckel-värde-format, är tillgänglig. Datainlagring sker i form av en logg med en användning av LSM-träd (Log-Structured-Merge), liknande RocksDB, där ändringar skrivs genom att tillägga data i slutet av filen. Ett API i stil med BTreeMap erbjuds för att interagera med databasen. Funktioner som namnrymder, direkt och omvänd sökning inom intervall, inbyggd komprimering, serialiserbara transaktioner, separat lagring av nycklar och därtill kopplade mycket stora värden, samt automatisk bakgrundsunderhåll av databasen stöds.
• Tor-projektet har lanserat version 1.9.0 av Arti, en implementation av Tor-verktyget skrivet i Rust. När Arti-koden når en nivå som helt kan ersätta C-versionen av Tor, planerar Tor-utvecklarna att ge Arti status som den primära implementationen av Tor och gradvis sluta stödja C-versionen. I den nya versionen har funktionaliteten för reläer och servrar directories (Directory Authority) förbättrats, med bättre stöd för dynamiskt tilldelade portar (proxy.socks_listen = "auto") och en experimentell API för att hantera nycklar för onion-tjänster har lagts till.

Källa: opennet.ru