Utgåvan av Rust 1.92. Rust-projekt för GUI, sandbox-isolering och skapande av firmware.

Utgivningen av programmeringsspråket Rust 1.92 har publicerats. Det grundades av Mozilla men utvecklas nu under delfinansiering av den oberoende, icke-vinstdrivande organisationen Rust Foundation. Språket fokuserar på säker minneshantering och tillhandahåller verktyg för att uppnå hög parallellism för uppgiftskörning, utan att använda en avfallshanterare eller runtime (runtime begränsas till grundläggande initialization 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:

• Stabilisering av typen "never", som betecknas av symbolen "!" och definierar beräkningar som aldrig returnerar värden (till exempel returnerar funktionen "exits", makrot "panic!" och oändliga loopar aldrig kontrollen). I den nya versionen har lint-kontrollerna "never_type_fallback_flowing_into_unsafe" och "dependency_on_unit_never_type_fallback" som standard växlat från att rapportera varningar till att generera kompilationsfel. Dessa kontroller utlöses vid problem i koden som uppstår vid användning av typen "never".

  En preliminär bedömning visar att liknande problem förekommer i cirka 500 crate-paket. Aktivering av lint-kontroller kommer att förbereda för stabiliseringen av typen "never", som för närvarande klassas som en experimentell funktion. Lint-kontroller utlöses endast vid direkt kompilering av paket och visas inte vid kompilering av beroenden. Kontroller kan också stängas av med hjälp av attributet "#[allow]".

• Beteendet för lint-kontrollen "unused_must_use" har ändrats, som utlöses när ett returvärde från en funktion ignoreras, om funktionen eller returtypen är markerad med attributet "#[must_use]". I den nya versionen upphörs varningar om att ignorera returvärden med typerna Result och ControlFlow, där felstatusen bestäms av typen utan värden ("!" eller "Infallible"). Till exempel, "fn can_never_fail() -> Result {…}".
• Beteendet för flaggan "-Cpanic=abort" har förändrats, när den anges aktiveras som standard genereringen av unwind-tabeller för att utföra backtrace. För att återgå till det gamla beteendet finns alternativet "-Cforce-unwind-tables=no".
• Kontrollen av argumenten för attributet «#[macro_export]» har skärpts. Nu kommer ett felmeddelande att visas istället för en varning om ogiltiga attribut anges. Problem med «#[macro_export]» kommer att kontrolleras inte bara vid direkt sammansättning av crate-paketet, utan även vid sammanställning av beroenden.
• I säker kod är det tillåtet att få raw-pekarna («&raw [mut | const]») på fält i union-typer.
• För den målplattformen mips64el-unknown-linux-muslabi64 har stöd för dynamisk länkning implementerats.
• Den minimi stödda versionen av externa verktyg LLVM har höjts till branch LLVM 20.
• En ny uppsättning API har blivit stabiliserad, inklusive stabilisering av metoder och implementeringar av traits:
  • NonZero::div_ceil
  • Location::file_as_c_str
  • RwLockWriteGuard::downgrade
  • Box::new_zeroed
  • Box::new_zeroed_slice
  • Rc::new_zeroed
  • Rc::new_zeroed_slice
  • Arc::new_zeroed
  • Arc::new_zeroed_slice
  • btree_map::Entry::insert_entry
  • btree_map::VacantEntry::insert_entry
  • impl Extend for proc_macro::TokenStream
  • impl Extend for proc_macro::TokenStream
  • impl Extend for proc_macro::TokenStream
  • impl Extend for proc_macro::TokenStream
• Indikatorn "const" har tillämpats i funktioner:
  • ::rotate_left
  • ::rotate_right
• I paketchefen Cargo har operationen «git fetch» säkerställts att upprepas vid misslyckande av den första begäran. Komponenter för integration med terminalemulatorn Ghostty har lagts till. En ny kapitel om optimering av byggprocessen har lagts till i dokumentationen.

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

• Företaget Ferrocene har meddelat att de har genomgått certifiering enligt IEC 61508 (SIL 2) för biblioteket libcore, som inkluderar en delmängd av anrop från Rusts standardbibliotek. Certifieringen bekräftar att biblioteket uppfyller kraven för kritiska industriella system. Ferrocene är känd för att skapa verktyg för utveckling av applikationer för kritiska system (Safety-Critical Systems) på Rust, samt för att upprätthålla FLS-specifikationen (Ferrocene Language Specification), som är basen för den referensspecifikation som utvecklas för språket Rust.
• Utgåvan av biblioteket Iced 0.14 för att skapa grafiska användargränssnitt med hjälp av reaktiv programmeringsmodell har publicerats. I Iced har en arkitektur implementerats som är bekant för utvecklare som känner till deklarativt gränssnittsbyggande med Elm. Det erbjuds en uppsättning färdiga widgets med möjlighet att skapa asynkrona hanterare och tillämpa adaptiv layout av gränssnittselement beroende på fönster- och skärmstorlek. Flera renderingmotorer som stödjer Vulkan, Metal och DX12 tillhandahålls. Bland de större projekten som använder Iced kan arbetsmiljön COSMIC nämnas.

  Den nya versionen innehåller widgets "table", "grid", "sensor", "float" och "pin", samt utökar funktionerna för widgeten som arbetar med Markdown-format. Implementerat: reaktiv rendering; scrollbar som visas vid behov; API för animationshantering; stöd för inmatningsmetoder; headless-läge; möjlighet att göra ändringar utan att stoppa applikationen (hot reloading); parallell avkodning av bilder; verktyg för felsökning och prestandaövervakning.

• Projektet Ribir utvecklar ett bibliotek för att skapa plattformsoberoende applikationer med grafiskt gränssnitt, vilket gör det möjligt att använda en gemensam kodbas för olika plattformar (Linux, Windows, macOS, planerat för Android och iOS). Ett deklarativt språk för gränssnittsbygge baserat på Rust-makron är tillgängligt, tillsammans med över 20 widgets, teman och rendering baserad på wgpu.
• Verktyget Island har presenterats för isolerad körning av applikationer. För sandbox-isolering används mekanismen Landlock. Island gör det möjligt att skapa regler i TOML-format och tillämpa dem för att isolera befintliga körbara filer med hjälp av Landlock, utan att ändra koden. Till skillnad från Firejail kräver verktyget Island inga root-rättigheter eller särskilda behörigheter.
• Google har lanserat Wasefire, ett verktyg för utveckling av säkra firmware som är skrivet i Rust. Huvudidén är att köra separata isolerade hanterare (applet) ovanpå den grundläggande firmware-miljön (plattformen). Utvecklingen av firmware är inte bunden till programmeringsspråk — firmware-komponenter kan levereras i WebAssembly-format med WASI (WebAssembly System Interface) och köras med hjälp av Wasmtime.
• Utgivningen av UEFI-firmware Patina 18, skriven i Rust, har offentliggjorts. Patina erbjuder en ersättning för de grundläggande komponenterna i UEFI-firmware och kan användas för en gradvis övergång av existerande firmware, skrivna i C, till användning av Rust.
• Projektet Brimstone utvecklar en ny JavaScript-motor, skriven från grunden i Rust. I nuvarande version stöds redan mer än 97 % av funktionerna i ECMAScript 2026. Virtuella maskinen för att köra bytecode är skapad med hänsyn till arkitekturen i motorerna V8.
• Projektet Catten utvecklar en kärna för det experimentella operativsystemet CharlotteOS, skrivet i Rust. Kärnan stödjer åtkomstkontroll baserat på "capability" (i likhet med Fuchsia) och använder en resurshierarki som liknar Plan 9 med filvägar adresserade via URI.
• Utgåvan av den interaktiva kommandotolken Fish 4.2.0 (vänlig interaktiv skal) har publicerats. Grenen 4.x kännetecknas av en fullständig översättning av kodbasen från C++ till Rust.
• Företaget Cloudflare har öppnat koden för Rust-biblioteket tokio-quiche, för att integrera stöd för protokollen QUIC och HTTP/3 i asynkront fungerande applikationer baserade på ramverket Tokio.
• Projektet Tor har publicerat versionerna Arti 1.7 och 1.8, implementeringar av Tor-verktygsuppsättningen, skriven i Rust. När koden Arti når en nivå som helt kan ersätta C-versionen, avser Tor-utvecklarna att ge Arti status som huvudimplementering av Tor och gradvis avbryta underhållet av C-implementeringen.

  Den nya versionen stabiliserar implementeringen av begränsad upptäckts av onion-tjänster med hjälp av klientautorisering ("restricted-discovery"). Utöver SOCKS-proxy har stöd för HTTP-proxy, som använder CONNECT-metoden, lagts till. Adaptiv tidsinställning av timeouts har implementerats beroende på belastningen. Experimentellt stöd för tokio-console har lagts till. Utvecklingen av funktionaliteten för reläer och servrar behörigheter (Directory Authority) fortsätter. En ny kommando "arti hsc ctor-migrate" har lagts till för att överföra nycklar från C-klienten till Arti:s nyckellager. Inställningar för att styra start av onion-tjänster har lagts till.

• Den Rust-baserade databasen RustDB har publicerats, skapad med inspiration från PostgreSQL. Grundläggande SQL-operationer stödjs (CREATE/DROP TABLE/VIEW, INSERT, SELECT, UPDATE, DELETE, SHOW TABLES, EXPLAIN, VACUUM), transaktioner, MVCC, WAL (Write-Ahead Log), indexering, anslutning via PostgreSQL-kompatibel protokoll. AI användes vid skrivandet av RustDB.

Källa: opennet.ru