Tijdens de momenteel lopende Open-Source Summit 2022 conferentie noemde Linus Torvalds in de vraag-en-antwoordsectie de mogelijkheid van een snelle integratie van componenten voor de ontwikkeling van stuurprogramma's in de Linux-kernel met de programmeertaal Rust. Het is niet uitgesloten dat patches met ondersteuning voor Rust in de komende wijzigingscyclus zullen worden aanvaard, die de samenstelling van kernel 5.20 vormt, gepland voor eind september.
De aanvraag voor de opname van wijzigingen in de kernel is nog niet naar Torvalds gestuurd, maar set van patches heeft een aanvullende herziening ondergaan, is ontdaan van de belangrijkste opmerkingen, wordt al geruime tijd getest in de linux-next tak en is verfijnd tot een staat die geschikt is voor het creƫren van abstractielagen boven de subsysteem van de kernel, evenals het schrijven van stuurprogramma's en modules. Ondersteuning voor Rust wordt gepresenteerd als een optie, niet standaard ingeschakeld en leidt niet tot de opname van Rust als verplichte bouwafhankelijkheid voor de kernel.
De voorgestelde wijzigingen maken het mogelijk om Rust als tweede programmeertaal voor de ontwikkeling van stuurprogramma's en modules in de kernel te gebruiken. Het gebruik van Rust voor de ontwikkeling van stuurprogramma's zal het mogelijk maken om met minimale inspanningen veilige en kwalitatief hoogstaande stuurprogramma's te creƫren, vrij van problemen zoals toegang tot geheugen na vrijgave, dereferencen van null-pointer en buffer-overflows.
Veilige geheugentoegang wordt in Rust tijdens de compilatie gegarandeerd door middel van referentietests, objecteigenaarschap en het bijhouden van de levensduur van objecten (scope), evenals door het evalueren van de geldigheid van geheugentoegang tijdens het uitvoeren van code. Rust biedt ook middelen om te beschermen tegen gehele getallenoverflows, vereist dat variabelen verplicht worden geĆÆnitialiseerd voordat ze worden gebruikt, behandelt fouten beter in de standaardbibliotheek, past het concept van onveranderlijkheid (immutable) van verwijzingen en variabelen standaard toe en biedt sterke statische typecontrole om logische fouten te minimaliseren.
Bron: opennet.ru
