Greg Kroah-Hartman, der er ansvarlig for vedligeholdelsen af de stabile og 'staging' grene af Linux-kernen og fungerer som hovedvedligeholder i 16 kerneundersystemer, holdt et foredrag p\u00e5 konferencen Rust Week 2026, hvor han forklarede, hvordan sproget Rust kan hj\u00e6lpe med at forhindre s\u00e5rbarheder i kernen, som opst\u00e5r p\u00e5 grund af typiske fejl, som udviklere beg\u00e5r p\u00e5 C, n\u00e5r de arbejder med hukommelse, l\u00e5sning, fejlbehandling og ikke-p\u00e5lidelige data. Den prim\u00e6re fordel ved Rust er muligheden for at opdage s\u00e5danne fejl p\u00e5 samletrinnet i stedet for ved menneskelig kodegennemgang. Rust betragtes dog ikke som en panacea, der kan fjerne alle problemer, og ingen har til hensigt at omskrive kernen til Rust: det forventes, at Rust gradvist vil blive implementeret ved at bruge det til nye drivere og undersystemer.<\/p>\n
Som et eksempel p\u00e5 fejl i kernen, som kunne v\u00e6re undg\u00e5et med Rust, n\u00e6vnes en fejl i Bluetooth-undersystemet, der forblev uset i 15 \u00e5r, samt et problem i hypervisoren Xen. I det f\u00f8rste tilf\u00e6lde udf\u00f8rte udvikleren en dereferencering af en peger uden at tjekke, og i det andet glemte han at frigive en l\u00e5s i kode til fejlh\u00e5ndtering.
\nIf\u00f8lge Greg stammer de fleste fejl i kernen fra s\u00e5danne sm\u00e5ting, der akkumuleres over tid og dukker op som s\u00e5rbarheder. I Rust forhindrer kompilatoren mange af s\u00e5danne problemer, for eksempel tillader Rust-abstraktioner for l\u00e5sninger i kernen adgangen til interne pegere i strukturer kun efter, at den relevante l\u00e5s er blevet grebet, og som frigives automatisk. Uden at gribe l\u00e5sen kan man ikke f\u00e5 adgang til strukturers pegere i Rust. <\/p>\n
Greg mener, at s\u00e5danne muligheder i Rust ville have forhindret 60% af de fejl, der blev opdaget i kernen, og at de kontroller, som kompilatoren udf\u00f8rer, ville have sparret vedligeholdelse for tid brugt p\u00e5 at diskutere korrektheden af fejlh\u00e5ndtering og berettigelsen af at s\u00e6tte l\u00e5sninger det rigtige sted. Desuden har implementeringen af Rust-st\u00f8tte allerede haft en gavnlig effekt p\u00e5 C-koden i kernen ved at rydde op i C-koden og gr\u00e6nsefladerne, samt ved at l\u00e5ne nogle udviklingsteknikker (for eksempel blev der implementeret l\u00e5sninger med begr\u00e6nset omfang).<\/p>\n
Takket v\u00e6re typesystemet, der sikrer overholdelse af fastsatte regler, samt anvendelsen af systemer til kontinuerlig integration, der kontrollerer koden under bygningen, kan gennemseere af \u00e6ndringer i Rust fokusere p\u00e5 at kontrollere logikken i arbejdet i stedet for at spore manipulationer med ressourcer. Anvendelsen af Rust giver ogs\u00e5 mulighed for en mere omhyggelig h\u00e5ndtering af data, der kommer fra hardware eller eksterne systemer. Dette opn\u00e5s gennem en klar adskillelse af betroede og ikke-betroede data p\u00e5 niveauet af typesystemet: udvikleren skal blot udf\u00f8re en analyse ved overgangen fra en ikke-betroet til en betroet tilstand.<\/p>\n
P\u00e5 det seneste udgiver teamet, der arbejder med sikkerheden i kernen, n\u00e6sten 13 rapporter om s\u00e5rbarheder hver dag, hvilket i forhold til den tidligere dynamik i opdagelsen af s\u00e5rbarheder virker som en form for vanvid (for eksempel blev der i g\u00e5r offentliggjort 277 rapporter om s\u00e5rbarheder i kernen). If\u00f8lge Greg er brugen af Rust en af de virkelige m\u00e5der at reducere antal fejl i kernen, som skyldes traditionelle fejlh\u00e5ndteringsfejl og ressourceh\u00e5ndtering. St\u00f8tten til Rust i kernen er allerede g\u00e5et ud over eksperimentet og blev sidste \u00e5r anerkendt som en standardfunktion i kernen. <\/p>\n
![\"Afspil](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n