Greg Kroah-Hartman, responsabile del supporto delle branche stabili e di \"staging\" del kernel Linux e maintainer di 16 sottosistemi del kernel, ha tenuto una conferenza alla Rust Week 2026, durante la quale ha spiegato come il linguaggio Rust possa contribuire a prevenire vulnerabilit\u00e0 nel kernel dovute ai comuni errori degli sviluppatori in C relativi alla gestione della memoria, ai blocchi, alla gestione degli errori e all'interazione con dati non affidabili. Il principale vantaggio di Rust \u00e8 la capacit\u00e0 di rilevare tali errori in fase di compilazione, anzich\u00e9 tramite la revisione del codice da parte di programmatori. Tuttavia, Rust non \u00e8 visto come una panacea in grado di risolvere tutti i problemi e non vi \u00e8 l'intenzione di riscrivere il kernel in Rust: si prevede un'adozione graduale del Rust attraverso il suo utilizzo per nuovi driver e sottosistemi.<\/p>\n
Come esempio di errori nel kernel che si sarebbero potuti evitare utilizzando Rust, si cita un errore nel sottosistema Bluetooth, rimasto non rilevato per 15 anni, e un problema nel hypervisor Xen. Nel primo caso, il programmatore ha eseguito un dereference di un puntatore senza controlli, mentre nel secondo ha dimenticato di rimuovere un blocco nel codice di gestione degli errori.
\nSecondo Greg, la maggior parte degli errori nel kernel \u00e8 causata da piccole imperfezioni che si accumulano nel tempo e si manifestano come vulnerabilit\u00e0. In Rust, molti di questi problemi vengono prevenuti dal compilatore; ad esempio, le astrazioni Rust per i blocchi nel kernel consentono di accedere ai puntatori interni delle strutture solo dopo aver acquisito il blocco corrispondente, che viene rilasciato automaticamente. Senza acquisire il blocco, non \u00e8 possibile accedere ai puntatori delle strutture in Rust. <\/p>\n
Greg ritiene che possibilit\u00e0 simili offerte da Rust avrebbero evitato il 60% degli errori riscontrati nel kernel, e i controlli eseguiti dal compilatore avrebbero liberato i manutentori dal tempo speso a discutere con gli autori sulla correttezza della gestione degli errori e sulla ragionevolezza dell'imposizione dei blocchi nei punti appropriati. Inoltre, l'introduzione del supporto per Rust ha gi\u00e0 avuto un impatto positivo sul codice C nel kernel, grazie al miglioramento del codice C e delle interfacce, oltre all'adozione di alcune tecniche di sviluppo (ad esempio, sono stati implementati blocchi a visibilit\u00e0 ristretta).<\/p>\n
Grazie al sistema di tipi che garantisce il rispetto delle regole stabilite e all'uso di sistemi di integrazione continua che verificano il codice durante la fase di compilazione, durante la revisione delle modifiche in Rust i collaboratori possono concentrarsi sulla verifica della logica operativa, anzich\u00e9 sul monitoraggio delle manipolazioni delle risorse. L'uso di Rust consente anche di prestare maggiore attenzione ai dati provenienti dall'hardware o da sistemi esterni. Questo \u00e8 possibile grazie alla chiara distinzione tra dati fidati e non fidati a livello di sistema di tipi: allo sviluppatore basta effettuare un'analisi quando passa da uno stato di fiducia a uno di non fiducia.<\/p>\n
Negli ultimi tempi, il team responsabile della sicurezza del kernel pubblica ogni giorno circa 13 rapporti sulle vulnerabilit\u00e0, il che, rispetto alla dinamica precedente nella scoperta delle vulnerabilit\u00e0, sembra abbastanza folle (per esempio, ieri sono stati pubblicati 277 rapporti sulle vulnerabilit\u00e0 del kernel). Secondo Greg, l'uso di Rust \u00e8 uno dei modi reali per ridurre il numero di errori nel kernel causati da tipiche negligenze nella gestione degli errori e delle risorse. All'interno del kernel, il supporto per Rust ha gi\u00e0 superato lo stadio sperimentale ed \u00e8 stato riconosciuto come una funzionalit\u00e0 standard alla fine dello scorso anno. <\/p>\n
![\"Riproduci](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n