Roststöd för kärnan Linux mötte kritik från Torvalds

Linus Torvalds granskade patchar som implementerar möjligheten att skapa drivrutiner i Rust-språket för kärnan. Linuxoch framförde några kritiska kommentarer.

De största klagomålen orsakades av den potentiella möjligheten till panic() i felsituationer, till exempel i en situation med lågt minne, när dynamiska minnesallokeringsoperationer, inklusive inom kärnan, kan misslyckas. Torvalds sa att ett sådant tillvägagångssätt i kärnan är fundamentalt oacceptabelt och om denna punkt inte förstås kan han fullständigt NAKed alla kod som försöker använda en sådan metod. Å andra sidan höll patchutvecklaren med om detta problem och anser att det går att lösa.

Ett annat problem var försök att använda flyttal eller 128-bitarstyper, vilket inte är acceptabelt för miljöer som kärnan. LinuxDetta visade sig vara ett allvarligare problem, eftersom Rust-kärnbiblioteket för närvarande är odelbart och representerar en stor blob – det tillåter dig inte att bara begära vissa funktioner, vilket förhindrar användningen av viss problematisk funktionalitet. Att lösa detta problem kan kräva ändringar i Rust-kompilatorn och biblioteken, och teamet har för närvarande ingen strategi för att implementera modularitet i språkbiblioteken.

Dessutom noterade Torvalds att det medföljande drivrutinsexemplet var värdelöst och rådde oss att som exempel använda någon drivrutin som löser ett av de verkliga problemen.

Uppdatering: Google har meddelat sitt deltagande i initiativet att integrera stöd för Rust i kärnan. Linux och skisserade den tekniska genomförbarheten av att implementera Rust för att bekämpa problem som uppstår på grund av minneshanteringsfel. Google tror att Rust nu är redo att ansluta sig till C som språk för att utveckla kärnkomponenter. LinuxArtikeln ger också exempel på hur man använder Rust-språket för att utveckla kärndrivrutiner, i samband med deras användning i plattformen. Android (Rust är erkänt som ett officiellt stödt språk för utveckling) Android).

Det noteras att Google har förberett en första prototyp av en drivrutin skriven i Rust för Binders interprocesskommunikationsmekanism, vilket kommer att möjliggöra en detaljerad jämförelse av prestanda och säkerhet för Binder-implementationer i C och Rust. I sin nuvarande form är arbetet ännu inte färdigt, men för nästan alla grundläggande abstraktioner av kärnfunktionaliteten som krävs för att Binder ska fungera, har lager förberetts för att använda dessa abstraktioner i Rust-kod.

Källa: opennet.ru