Durante la conferenza Open-Source Summit 2022, Linus Torvalds ha menzionato la possibilità di una prossima integrazione nel kernel Linux di componenti per lo sviluppo di driver in linguaggio Rust. Non si esclude che le patch con il supporto per Rust vengano accettate nella prossima finestra di ricezione delle modifiche, che definirà la composizione del kernel 5.20, prevista per la fine di settembre.
La richiesta per l'inclusione delle modifiche nel kernel non è ancora stata inviata a Torvalds, ma il set di patch ha superato una revisione aggiuntiva, è stato esente da osservazioni significative, è in fase di test da tempo nella branch linux-next e ha raggiunto uno stato idoneo per creare strati di astrazione sopra i sottosistemi del kernel, per la scrittura di driver e moduli. Il supporto per Rust è proposto come un'opzione, non attiva per default e non porta all'inclusione di Rust tra le dipendenze di compilazione obbligatorie del kernel.
Le modifiche proposte permettono di utilizzare Rust come secondo linguaggio per lo sviluppo di driver e moduli del kernel. L'uso di Rust per lo sviluppo di driver consentirà di creare driver sicuri e di qualità superiore con il minimo sforzo, eliminando problemi come l'accesso alla memoria dopo la sua liberazione, la dereferenziazione di puntatori nulli e l'uscita dai limiti del buffer.
La gestione sicura della memoria in Rust viene garantita durante la compilazione tramite il controllo dei riferimenti, il tracciamento della proprietà degli oggetti e la gestione del tempo di vita degli oggetti (scope), nonché tramite la valutazione della correttezza dell'accesso alla memoria durante l'esecuzione del codice. Rust fornisce anche strumenti per proteggere contro i sovraccarichi numerici, richiede l'inizializzazione obbligatoria dei valori delle variabili prima dell'uso, gestisce meglio gli errori nella libreria standard, applica il concetto di riferimenti e variabili immutabili (immutable) per impostazione predefinita e offre una forte tipizzazione statica per minimizzare gli errori logici.
Fonte: opennet.ru
