Rust 1.99.0 släppt. Microsoft gjorde Rust till ett primärt språk

Programmeringsspråket Rust 1.99, grundat av Mozilla-projektet men nu utvecklat under beskydd av den oberoende ideella organisationen Rust Foundation, har släppts. Språket fokuserar på minnessäkerhet och tillhandahåller verktyg för att uppnå hög parallellitet i uppgiftskörningen, samtidigt som man slipper använda en garbage collector och runtime (körtiden reduceras till grundläggande initialisering och underhåll av standardbiblioteket).

Rusts minneshanteringsmetoder är utformade för att eliminera fel i pekarmanipulation och skydda mot problem som uppstår vid minneshantering på låg nivå, såsom åtkomst till minne efter att det har frigjorts, avreferensering av nullpekare, buffertöverskridningar och så vidare. Projektet utvecklar pakethanteraren Cargo för att distribuera bibliotek, underlätta byggen och hantera beroenden. crates.io-arkivet underhålls för att vara värd för bibliotek.

Minnessäkerhet tillhandahålls i Rust vid kompilering genom referenskontroll, hålla reda på objektägande, hålla reda på objektlivslängder (scopes) och bedöma riktigheten av minnesåtkomst under kodexekvering. Rust ger också skydd mot heltalsspill, kräver obligatorisk initiering av variabelvärden innan användning, hanterar fel bättre i standardbiblioteket, tillämpar konceptet med oföränderliga referenser och variabler som standard, erbjuder stark statisk typning för att minimera logiska fel.

Huvudsakliga innovationer:

• Rust låter dig nu skapa variadiska funktioner som exporteras för anrop från C-projekt (C ABI). Det sista elementet i parameterlistan i sådana funktioner kan vara "..."-konstruktionen, som hanteras i Rust med en speciell typ, VaList, som fungerar på liknande sätt som va_list i C. unsafe extern "C" fn sum(mut args: ...) -> i32 { let a = unsafe { args.next_arg:: () }; låt b = osäker { args.next_arg:: () }; a + b } fn foo() -> i32 { osäker { summa(0i32, 2i32) } }
• Funktionerna Layout::for_value_raw, mem::size_of_val_raw och mem::align_of_val_raw har stabiliserats för att möjliggöra säker storleksjustering och justering av råpekare, inklusive när dynamiskt storleksanpassade typer som skivor används, utan att behöva skapa datareferenser.
• Dokumentationen rekommenderar nu att man undviker att frigöra minne som refererats statiskt med en obestämd livslängd (&'static) via ett anrop till Box::leak (rundtursavläckning), eftersom denna åtgärd potentiellt kan leda till problem på grund av inkompatibilitet med framtida kompilatoroptimeringar och inpluggbara minnesallokeringsmekanismer. Istället för att skapa en statisk referens för tillfälliga ägaröverföringar rekommenderas det att använda råa pekare, till exempel via ett anrop till Box::into_non_null.
• En ny del av API:t har flyttats till kategorin stabil, inklusive metoder och implementeringar av egenskaper har stabiliserats:
  • IntoIterator för Box<[T; N]>
  • IntoIterator för &Box<[T; N]>
  • IntoIterator för &mut Box<[T; N]>
  • 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
  • sträng::FromUtf8Error::into_utf8_lossy
  • FusedIterator för StepBy
  • std::fs::set_times
  • std::fs::set_times_nofollow
• Pakethanteraren Cargo har nu en ny inbyggd "debug"-profil, liknande "dev"-profilen (felsöknings- och utvecklingsfunktioner planeras att separeras i framtiden). Stegvis kompilering är inaktiverat som standard vid byggande i CI.
• Målplattformen riscv64-unknown-linux-musl har flyttats till stödnivå 2, vilket ger en bygggaranti men ingen garanti för att testsviten klaras.

Dessutom vill vi lyfta fram nyligen tillkännagivna projekt och evenemang relaterade till Rust:

• Microsoft har uppgraderat Rust till ett Tier 1-språk och kommer att ge fullt stöd för det i alla utvecklingsstadier inom företaget. Tidigare tillhandahölls Tier 1-stöd för C++, C# och TypeScript. Rust används redan i över 100 Microsoft-repositories. Bland annat används Rust-komponenter redan i produkter som Microsoft 365 och Copilot, och en dedikerad backend för Rust, rustc_codegen_utc, baserad på rustc-kompilatorn, har utvecklats för MSVC-kompilatorn.

  Microsoft anger att det primära målet med att använda Rust är att stärka säkerhetskritisk kod. Enligt Microsoft Azures tekniska chef är cirka 70 % av alla sårbarheter i Windows orsakas av minneshanteringsproblem som kan undvikas genom att använda Rust.

• Google har tagit bort den från kärnan. Linux Den gamla Binder IPC-implementeringen, skriven i C, har föråldrats till förmån för en ny Binder IPC-drivrutin omskriven i Rust. Det bör noteras att den gamla drivrutinen under de 15 år den existerat har ackumulerat betydande teknisk skuld och ett flertal komplikationer, vilket har hindrat buggdetektering, underhåll och tillägg av nya funktioner. Binder IPC-drivrutinen i Rust har utsetts till huvuddrivrutin och presenteras inte längre som en experimentell utveckling.
• Arti 2.7.0, en Rust-implementering av Tor-verktygslådan, har släppts. När Artis kodbas når en nivå som helt kan ersätta C-implementeringen, avser Tor-utvecklarna att göra Arti till den primära Tor-implementeringen och gradvis fasa ut underhållet av C-implementeringen. Den nya versionen inkluderar funktionsutveckling för reläer och servrar Funktionalitet för katalogauktoritet (DA) relaterad till dokumentparsning, stöd för spegling av katalogserver och DNS-trafikbehandling. En RPC-implementering för konfigurationsändringar och kontroller har lagts till. Flera sårbarheter har åtgärdats – administratörer av Onion-tjänsten rekommenderas att snarast uppdatera sina system.

Källa: opennet.ru