L’introduzione del linguaggio Rust nel kernel Linux, avviata con la release 6.1, ha segnato una svolta tecnica importante per il progetto.
Rust promette maggiore sicurezza nella gestione della memoria, riducendo classi di vulnerabilità comuni in C come buffer overflow e use-after-free. Tuttavia, come sottolineato da Linus Torvalds, l’adozione di Rust comporta anche nuove sfide legate alla coerenza stilistica e alla sostenibilità del codice nel tempo.
Torvalds ha recentemente criticato alcune patch Rust proposte per il sottosistema DRM, evidenziando problemi di formattazione automatica e documentazione poco leggibile. Secondo il creatore di Linux, l’uso di strumenti come rustfmt e rustfmtcheck può generare codice difficile da revisionare, soprattutto quando le importazioni vengono compresse in una sola riga. Questo stile, sebbene conforme alle convenzioni Rust, ostacola la manutenibilità e aumenta il rischio di conflitti durante i merge.
La posizione di Linus Torvalds: coerenza e prevedibilità prima di tutto
Per Torvalds, il problema non è Rust in sé, ma l’assenza di regole condivise per il suo utilizzo nel kernel. Il codice del kernel Linux vive di patch, revisioni e collaborazioni continue: la prevedibilità e la chiarezza sono fondamentali per evitare errori e semplificare il lavoro dei maintainer. Torvalds propone un approccio più pragmatico, dove la formattazione multi-linea per le importazioni e una documentazione testuale ben curata diventano elementi essenziali.
La critica si estende anche agli editor utilizzati per scrivere codice Rust: indentazioni errate e descrizioni disallineate complicano la comprensione delle modifiche. Torvalds invita gli sviluppatori a configurare correttamente i propri strumenti e a privilegiare la leggibilità rispetto all’eleganza sintattica. In un progetto come il kernel Linux, la forma deve servire la sostanza, non ostacolarla.
Verso una policy Rust per il kernel Linux
L’intervento di Torvalds riaccende il dibattito sulla necessità di una policy ufficiale per l’uso di Rust nel kernel. Con l’aumento dei contributi scritti in Rust, diventa urgente definire linee guida chiare su stile, toolchain, librerie accettabili e pratiche di revisione. Questo non solo per garantire coerenza, ma anche per facilitare l’onboarding di nuovi sviluppatori e ridurre il rischio di regressioni.
Torvalds non mette in discussione il valore tecnico di Rust, ma chiede responsabilità e rigore. La sostenibilità del kernel Linux dipende dalla capacità di mantenere un codice leggibile, prevedibile e facilmente integrabile. In questo senso, Rust deve adattarsi alle esigenze del progetto, non viceversa. Il confronto tra le convenzioni Rust e le pratiche storiche del kernel diventa così un’occasione per rafforzare la qualità del codice e la collaborazione nella community.
