Ritardi nell'Integrazione di Rust nel Kernel Linux

L'iniziativa di integrare il codice Rust nel kernel Linux ha subito un duro colpo giovedì scorso, quando uno dei manutentori del progetto Rust per Linux ha annunciato le sue dimissioni, lamentando frustrazioni legate a "nonsense non tecnico".

Wedson Almeida Filho, ingegnere software di Microsoft e supervisore del progetto, ha comunicato la sua decisione attraverso un messaggio sulla mailing list dedicata allo sviluppo del kernel Linux.

"Mi ritiro dal progetto", ha dichiarato Filho. "Dopo quasi quattro anni, mi sento privo dell'energia e dell'entusiasmo necessari per affrontare alcune delle questioni non tecniche, quindi è meglio lasciare a chi ha ancora la motivazione."

Filho ha espresso gratitudine verso il team di Rust per Linux, ribadendo il suo sostegno all'iniziativa, che mira a portare i vantaggi della sicurezza della memoria offerti dal linguaggio Rust nel kernel Linux, tradizionalmente basato su C.

La Necessità di Sicurezza della Memoria

Le vulnerabilità legate alla sicurezza della memoria sono frequentemente citate come una delle principali fonti di gravi problemi software da parte di organizzazioni che supervisionano progetti scritti in C e C++. Negli ultimi anni, si è assistito a un crescente impulso da parte di grandi sviluppatori come Microsoft e Google, oltre a enti governativi come l'Agenzia per la Sicurezza Cibernetica e le Infrastrutture degli Stati Uniti, per adottare linguaggi di programmazione sicuri per la memoria, tra cui Rust.

Le discussioni sull'integrazione di Rust nel kernel Linux risalgono al 2020 e si sono concretizzate alla fine del 2022 con il rilascio di Linux 6.1.

"Credo fermamente che il futuro dei kernel sia con linguaggi sicuri per la memoria", ha continuato Filho nel suo messaggio. "Non sono un visionario, ma se Linux non internalizza questo, temo che un altro kernel possa fare a Linux ciò che è stato fatto a Unix."

Le Dinamiche di Conflitto nel Progetto

Filho ha concluso il suo messaggio facendo riferimento a un video di un summit dedicato a Linux, evidenziando una parte del video come esempio delle interazioni che lo hanno portato a dimettersi. "Nessuno sta cercando di costringere gli altri a imparare Rust né di impedire le ristrutturazioni del codice C."

Questa osservazione è stata una risposta a un commento del manutentore del kernel Linux, Ted Ts'o, che ha affermato: "Non costringerete tutti noi a imparare Rust."

Il video mostra la resistenza alla richiesta di Filho di ottenere informazioni per codificare staticamente le semantiche dell'interfaccia del file system nelle binding di Rust, come modo per ridurre gli errori. L'obiezione di Ts'o è che il codice C continuerà a evolversi, e tali cambiamenti potrebbero rompere le binding di Rust, e non vuole assumersi la responsabilità di correggerli.

Frustrazione e Riflessioni sul Futuro

In un'email inviata a The Register, Filho ha approfondito le ragioni delle sue dimissioni, descrivendo la sua frustrazione per quello che spesso viene definito "bikeshedding" – discussioni su questioni insignificanti che ostacolano obiettivi più importanti.

"Quando ho iniziato questo progetto, mi aspettavo resistenze su basi tecniche e ero disposto a lavorare per trovare un consenso", ha spiegato Filho. "Quasi quattro anni dopo, mi aspettavo di essere oltre le capricci di membri rispettati della comunità del kernel Linux. Ho semplicemente esaurito le energie per affrontarli."

Filho ha anche sottolineato che non c'è alcuna aspettativa che i manutentori del kernel imparino Rust, riconoscendo le loro difficoltà e il sovraccarico di lavoro.

Prospettive Future per Rust nel Kernel

Nonostante le difficoltà, Filho crede che l'integrazione del codice Rust nel kernel stia procedendo bene. "Il team ha posto le basi per nuovi componenti e driver scritti in Rust, ma stiamo incontrando alcuni ostacoli", ha dichiarato. "[Linus] Torvalds non sembra preoccuparsene, o forse crede che siano appropriati. Solo il tempo potrà dirlo."

In un post su Mastodon, la sviluppatrice Asahi Lina ha espresso comprensione per la decisione di Filho, affermando che un sottoinsieme di sviluppatori del kernel C sembra determinato a rendere la vita dei manutentori di Rust il più difficile possibile.

Il veterano sviluppatore Drew DeVault ha proposto un cambio di direzione, suggerendo di iniziare da zero senza cercare di integrare Rust nel codice C legacy. "Un gruppo motivato di talentuosi sviluppatori di OS Rust potrebbe costruire rapidamente un kernel compatibile con Linux, senza dover affrontare la politica della mailing list del kernel Linux."

"Sareste sorpresi da quanto rapidamente si possano ottenere risultati significativi in questo tipo di ambiente; credo che se l'energia investita in Rust per Linux fosse applicata a un nuovo sistema operativo compatibile con Linux, potremmo avere qualcosa di pronto per la produzione in pochi anni."