Stöd för Rust i Linux-kärnan har mött kritik från Torvalds.

Linus Torvalds har granskat patcharna för implementeringen av möjligheten att skapa drivrutiner på Rust-språket för Linux-kärnan och framfört vissa kritiska synpunkter.

De största invändningarna väcktes av den potentiella risken för att gå in i panic() i felaktiga situationer, till exempel vid minnesbrist, där operationer med dynamisk minnesallokering, även inuti kärnan, kan misslyckas. Torvalds hävdade att en sådan strategi i kärnan är principiellt oacceptabel och om det inte förstås kan han helt avvisa (totally NAKed) all kod som försöker använda en sådan strategi. Å andra sidan höll utvecklaren som arbetade med patcharna med om problemet och anser att det är lösbart.

Ytterligare ett problem var försöken att använda flyttal eller 128-bitars typer, vilket inte är acceptabelt för miljöer som Linux-kärnan. Detta visade sig vara ett mer allvarligt problem, eftersom Rust:s grundläggande bibliotek för närvarande är ofördelat och utgör en stor blob — det finns ingen möjlighet att begära endast vissa funktioner, vilket förhindrar användning av problematisk funktionalitet. Lösningen på problemet kan kräva ändringar i Rust-kompilatorn och biblioteket, men för närvarande har teamet ingen strategi för hur man ska genomföra moduläritet i biblioteken.

Dessutom påpekade Torvalds att det medföljande drivrutineksemplet är värdelöst och rekommenderade att inkludera något drivrutins exempel som löser ett av de verkliga problemen.

Komplement: Google har meddelat sitt deltagande i initiativet för att främja stödet för Rust i Linux-kärnan och angav de tekniska aspekterna av lämpligheten att implementera Rust för att lösa problem orsakade av fel i minneshantering. Google anser att Rust redan är redo att ansluta sig till C som ett språk för utveckling av komponenter i Linux-kärnan. Artikeln innehåller också exempel på användning av Rust för att utveckla kärndrivrutiner, i kontexten av dess användning i Android-plattformen (Rust erkänns som ett officiellt stött språk för Android-utveckling).

Det har noterats att Google har förberett en första prototyp av en drivrutin skriven i Rust för mekanismen för interprocesskommunikation, Binder, vilket möjliggör en detaljerad jämförelse av prestanda och säkerhet mellan implementationer av Binder i C och Rust. Arbetet är ännu inte fullbordat, men nästan alla grundläggande abstraktioner av kärnans funktionalitet som behövs för att använda Binder har beretts för att användas med dessa abstraktioner i Rust-kod.

Källa: opennet.ru