Greg Kroah Hartman, uno dei custodi del kernel Linux di recente ricevuto una proposta in cui si dice che è possibile che venga accettato un framework dedicato allo sviluppo di driver in linguaggio Rust nel nucleo.
Sebbene al momento non ci sia nulla di concreto, per questo, Greg Kroah-Hartman formula due condizioni: Uno di questi è che il framework non verrà attivato di default nel caso della sua integrazione, questo, per evitare che non sia necessario Rust per compilare il kernel; secondo, che l'approccio proposto presenta vantaggi reali rispetto a quelli derivati dall'uso del linguaggio C.
È noto che Linux Kernel è il prodotto di sviluppi nei linguaggi C e soprattutto che per Linus Torvalds C è prima di tutto. Quindi nello sviluppo dei driver per il sistema, l'uso di C.
Gli sviluppatori hanno compromesso enormi opportunità che offre in termini di gestione delle risorse hardware di un sistema informatico l'utilizzo di Rust.
Ed è che sempre più voci si alzano per chiamare il passaggio alla lingua Rust, uno dei quali dovrebbe sostituire C per il controllo del materiale.
Ed è che nell'ultimo Linux Security Summit, i ricercatori di sicurezza, insieme ad altri, hanno indicato una delle maggiori carenze linguistiche C sono i problemi relativi alla gestione della memoria: buffer overflow, allocazioni, accesso ad aree di memoria non valide o liberate, ecc.
Secondo i dati riportati dal duo di ricercatori, risultato del 65% delle vulnerabilità del kernel Linux individuate negli ultimi 6 mesi. Le cifre di Common Vulnerabilities and Exposure (CVE) sono simili: il 15.9% delle 2288 vulnerabilità che hanno interessato il kernel Linux in 20 anni sono correlate a buffer overflow.
Il team di ricerca non si è limitato a parlare dei vantaggi offerti da Rust rispetto a C. Ha anche colto l'occasione per presentare un'iniziativa per sviluppare un framework dedicato allo sviluppo di driver Linux.
In poche parole, lo sforzo è lavorare con le API del kernel Linux. Gli sviluppi riguardano le architetture x86, arm / arm64, mips, POWERPC, RISC-V, s390 e SPARC.
Ma il problema più grande è che solo Linus Torvalds crede che non ci sia niente di meglio del linguaggio C. per la programmazione del sistema.
Devo dire che sono abbastanza antiquato su questioni come questa. Il motivo per cui ho avviato Linux e i sistemi operativi in generale è che mi piace molto l'hardware. Mi piace esplorare l'aspetto materiale.
Non lo dico per sottolineare che sono un esperto. Quello che voglio dire è che mi piace interagire con l'hardware dal software. Visto da questo punto di vista, non ho ancora visto un linguaggio di programmazione che si avvicini solo al linguaggio C.
Questa affermazione non è solo perché C è utile per generare un buon codice per gestire l'hardware. Inoltre, l'uso di C ha senso per le persone che pensano come un computer. Penso che il motivo sia che le persone che hanno progettato il linguaggio C lo hanno fatto in un momento in cui i compilatori dovevano essere semplici; in un momento in cui la lingua doveva adattarsi all'output o al risultato atteso.
Quindi, quando leggo il codice in linguaggio C, so come sarà il codice assembly e questo è ciò che mi interessa ", ha detto 7 anni fa durante uno dei suoi interventi alla conferenza. Centro tecnologico Intel Open Source.
In precedenza, hai abbandonato proposte simili per introdurre il C ++ nella cerchia dei linguaggi dedicati allo sviluppo di driver per Linux. In particolare, ha evidenziato la capacità di rendere più pulito orientato agli oggetti con C che con C ++.
L'iniziativa di Alex Gaynor e Geoffrey Thomas continua ad essere un grande progetto su molti assi. Ad esempio, il team di ricerca sottolinea la necessità di continuare lo sviluppo di driver per file system e per tipi di dispositivi specifici.
Allora dovremo vedere se il contenuto può convinceremanutentori di ra Linux.