Linus Torvalds sloot de mogelijkheid niet uit om Rust-ondersteuning in de Linux 5.20-kernel te integreren

Op de Open-Source Summit 2022-conferentie die tegenwoordig plaatsvindt, noemde Linus Torvalds in de vraag- en antwoordsectie de mogelijkheid om binnenkort componenten in de Linux-kernel te integreren voor het ontwikkelen van apparaatstuurprogramma's in de Rust-taal. Het is mogelijk dat patches met Rust-ondersteuning worden geaccepteerd in het volgende acceptatievenster voor wijzigingen, dat de samenstelling van de 5.20-kernel vormt, gepland voor eind september.

Het verzoek om wijzigingen in de kernel op te nemen is nog niet naar Torvalds gestuurd, maar de set patches heeft een aanvullende beoordeling ondergaan, is bevrijd van belangrijke opmerkingen, is al geruime tijd getest in de linux-next branch en is uitgebracht naar een staat die geschikt is voor het creëren van abstractielagen over kernelsubsystemen, het schrijven van stuurprogramma's en modules. Rust-ondersteuning wordt gepresenteerd als een optie die niet standaard is ingeschakeld en die er niet toe leidt dat Rust wordt opgenomen als een vereiste build-afhankelijkheid voor de kernel.

De voorgestelde wijzigingen maken het mogelijk om Rust als tweede taal te gebruiken voor het ontwikkelen van stuurprogramma's en kernelmodules. Door Rust te gebruiken voor de ontwikkeling van stuurprogramma's kunt u met minimale inspanning veiligere en betere stuurprogramma's maken, vrij van problemen zoals geheugentoegang na het vrijmaken, null pointer-dereferenties en bufferoverruns.

Rust dwingt de geheugenveiligheid af tijdens het compileren door referentiecontrole, objecteigendom en het volgen van de levensduur van objecten (scopes), en door de juistheid van geheugentoegang tijdens runtime te evalueren. Rust biedt ook bescherming tegen overflows van gehele getallen, vereist dat variabelewaarden vóór gebruik worden geïnitialiseerd, heeft een betere foutafhandeling in de standaardbibliotheek, gebruikt standaard het concept van onveranderlijke referenties en variabelen en biedt sterke statische typering om logische fouten te minimaliseren.

Bron: opennet.ru

Voeg een reactie