Ny version av patchar för Linux-kärnan med stöd för Rust-språket

Miguel Ojeda, författare till projektet Rust-for-Linux, har föreslagit för Linux-kärnans utvecklare att släppa v5-komponenterna för att utveckla enhetsdrivrutiner på språket Rust. Detta är den sjätte versionen av patcharna och tar hänsyn till den första utgåvan som publicerades utan versionsnummer. Stödet för Rust betraktas som experimentellt men är redan inkluderat i linux-next-grenen och tillräckligt utvecklat för att påbörja arbetet med att skapa abstraheringslager över kärnunderavsnitt, samt för att skriva drivrutiner och moduler. Utvecklingen finansieras av företaget Google och organisationen ISRG (Internet Security Research Group), som är grundaren av projektet Let’s Encrypt och främjar spridningen av HTTPS och utvecklingen av teknologier för att öka internetets säkerhet.

Vi påminner om att de föreslagna förändringarna ger möjlighet att använda Rust som ett andra språk för utveckling av drivrutiner och moduler för kärnan. Stödet för Rust presenteras som ett alternativ, inte aktiverat som standard och inte som en obligatorisk byggberoende för kärnan. Användningen av Rust för utveckling av drivrutiner kommer att möjliggöra skapandet av säkrare och högre kvalitetsdrivrutiner med minimala insatser, utan problem som att referera till minnesområden efter att de har frigjorts, dereferera nullpekare och överskridning av buffertgränser.

Säker minneshantering säkerställs i Rust vid kompilering genom kontroll av referenser, spårning av ägande av objekt och beaktande av objektens livstid (synlighet), samt genom utvärdering av korrekt tillgång till minnet under kodens körning. Rust tillhandahåller också verktyg för skydd mot heltalsöverflöden, kräver obligatorisk initialisering av variabelvärden innan användning, 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.

I den nya versionen av patcharna fortsätter arbetet med att åtgärda kommentarer som gavs under diskussionerna av första, andra, tredje, fjärde och femte versionerna av patcharna. I den nya versionen:

• Verktyget har uppdaterats till Rust 1.59.0. Den nya versionen av Rust har också synkroniserats med versionen av biblioteket alloc, vilket eliminerar eventuella genereringar av "panic"-tillstånd vid fel, som minnesbrist. Möjligheten att använda assemblerinlägg ("feature(global_asm)") har stabiliserats.
• Stöd för att skapa värdprogram på språket Rust som används under kompileringen av kärnan har lagts till.
• Istället för att leverera förskapade filer med specifikationer för målplattformar möjliggörs deras dynamiska generation baserat på kärnkonfigurationen.
• En kärnparameter, HAVE_RUST, har lagts till och aktiveras för arkitekturer där Rust stöds.
• Abstraktioner för användning i Rust-koden av en hårdvaru-genererad pseudorandom-generator har föreslagits.
• Användning av felkoder utan prefixet "Error::" (t.ex. "return Err(EINVAL)") har tillåtits för att närma sig felhantering i C.
• En typ "CString" för egna C-strängar har lagts till. Typerna Formatter och Buffer har slagits samman.
• Typerna Bool och LockInfo har lagts till.
• Implementeringen av spin-lås har förenklats.

Källa: opennet.ru