Utgåvan Rust 1.99.0. Microsoft har gjort Rust till ett av de primära språken.

Rust 1.99, som ursprungligen utvecklades av Mozilla men numera vidareutvecklas av den oberoende ideella organisationen Rust Foundation, har släppts. Språket fokuserar på säker minneshantering och erbjuder verktyg för hög parallell utförande av uppgifter, utan att använda skräphanterare och runtime (runtime reduceras till grundläggande initiering och hantering av standardbiblioteket).

Minneshanteringsmetoderna i Rust syftar till att eliminera fel vid hantering av pekare och skydda mot problem som uppstår från låg nivå minneshantering, såsom att referera till minnesområden efter att de har frigjorts, dereferensiering av nullpekare, buffertöverskridningar, etc. För spridning av bibliotek, byggnation och hantering av beroenden utvecklas paketchefen Cargo. För att lagra 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:

• Möjligheten att skapa funktioner med variabelt antal argument (variadic) i Rust, som kan exporteras för åkning från C-projekt (C ABI), har introducerats. Som det sista elementet i parameternas lista kan konstruktionen '...' anges, vilket hanteras i Rust genom en speciell typ VaList, som fungerar analogt med va_list i C. unsafe extern «C» fn sum(mut args: ...) -> i32 { let a = unsafe { args.next_arg::() }; let b = unsafe { args.next_arg::() }; a + b } fn foo() -> i32 { unsafe { sum(0i32, 2i32) } }
• Funktionerna Layout::for_value_raw, mem::size_of_val_raw och mem::align_of_val_raw har stabiliserats, vilket gör det möjligt att säkert bestämma storlek och justering av råa pekare (raw pointers), inklusive användning av typer med dynamisk storlek, som skivor, utan att behöva skapa referenser till data.
• Dokumentationen har uppdaterats med en rekommendation att undvika att frigöra minne som har fått en statisk referens med obestämd livslängd (&’static) via anrop på Box::leak (round-trip unleaking), eftersom detta kan leda till problem med potentiell inkompatibilitet med framtida kompilatoroptimeringar och bibliotek för minnesallokering. Istället för att skapa en statisk referens för temporär överlåtelse av ägarskap rekommenderas det att använda råa pekare, till exempel genom att anropa Box::into_non_null.
• En ny uppsättning API har blivit stabiliserad, inklusive stabilisering av metoder och implementeringar av traits:
  • IntoIterator för Box
  • IntoIterator för &Box
  • IntoIterator för &mut Box
  • VecDeque::retain_back
  • core::ffi::VaList
  • Box::into_non_null
  • Box::from_non_null
  • Vec::into_parts
  • Vec::from_parts
  • core::mem::size_of_val_raw
  • core::mem::align_of_val_raw
  • core::alloc::Layout::for_value_raw
  • String::from_utf8_lossy_owned
  • string::FromUtf8Error::into_utf8_lossy
  • FusedIterator för StepBy
  • std::fs::set_times
  • std::fs::set_times_nofollow
• I paketmanagern cargo har en ny inbyggd profil "debug" implementerats, som är liknande profilen "dev" (framtida möjligheter för felsökning och utveckling planeras att delas upp). Vid kompilering i CI är inkrementell kompilering som standard inaktiverad.
• Plattformen riscv64-unknown-linux-musl har överförts till andra nivåns support, vilket innebär garantier för kompilering men inget garanti för genomgången av testuppsättningen.

Man kan även nämna nyligen tillkännagivna projekt och händelser relaterade till Rust:

• Microsoft har uppgraderat Rust till ett förstahands-språk och kommer att ge det fullständigt stöd under hela utvecklingsprocessen inom företaget. Tidigare erbjöds förstahandsstöd inom företaget för språken C++, C# och TypeScript. Det noteras att Rust redan används i mer än 100 Microsoft-repositorier. Bland annat används komponenter skrivna i Rust redan i produkter som Microsoft 365 och Copilot, och en separat backend rustc_codegen_utc för Rust har förberetts för MSVC-kompilatorn, baserat på kompilatorn rustc.

  Som huvudsyfte för användning av Rust i Microsoft nämns förstärkning av kodens säkerhet, vilken är kritisk ur säkerhetssynpunkt. Enligt Microsoft Azures tekniska direktör orsakar cirka 70% av alla sårbarheter i Windows problem relaterade till minnet, vilket kan undvikas genom att använda Rust.

• Google har tagit bort den gamla implementationen av mekanismen för interprocesskommunikation Binder, som var skriven i C, från Linux-kärnan, till förmån för den nya Binder IPC-drivrutinen, som har skrivits om i Rust. Det noteras att den gamla drivrutinen, som funnits i 15 år, har ackumulerat betydande teknisk skuld och en mängd komplikationer som har försvårat felsökning, underhåll och tillägg av nya funktioner. Binder IPC-drivrutinen i Rust har erkänts som den primära drivrutinen och presenteras inte längre som en experimentell utveckling.
• Version 2.7.0 av Arti, implementeringen av Tor-verktygen skrivna i Rust, har publicerats. När Arti-koden når en nivå som helt kan ersätta C-versionen avsiktar Tor-utvecklarna att ge Arti status som den primära implementationen av Tor och gradvis avsluta underhållet av C-versionen. I den nya versionen har funktionaliteten för relay blivit utvecklad. servrar katalog (Directory Authority) kopplad till dokumentparsing, stöd för spegling av katalogservrar och hantering av DNS-trafik. RPC-implementering för att ändra och kontrollera konfigurationen har lagts till. Flera sårbarheter har åtgärdats — administratörer av onion-tjänster rekommenderas att omedelbart uppdatera sina system.

Källa: opennet.ru