{"id":102509,"date":"2021-12-07T15:37:11","date_gmt":"2021-12-07T13:37:11","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust"},"modified":"2021-12-07T15:37:11","modified_gmt":"2021-12-07T13:37:11","slug":"tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"Terza edizione della patch per il kernel Linux con supporto per il linguaggio Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Ricordiamo che le modifiche proposte consentono di utilizzare Rust come secondo linguaggio per lo sviluppo di driver e moduli del kernel. Il supporto per Rust \u00e8 presentato come un'opzione, non attiva per impostazione predefinita e non comporta l'inclusione di Rust tra le dipendenze di build obbligatorie per il kernel. L'utilizzo di Rust per la creazione di driver permetter\u00e0 di realizzare driver sicuri e di maggiore qualit\u00e0 con un minimo sforzo, eliminando problemi come l'accesso alla memoria dopo che \u00e8 stata liberata, la dereferenzazione di puntatori nulli e il superamento dei limiti del buffer. <\/p>\n
La gestione sicura della memoria in Rust viene garantita durante la compilazione tramite il controllo dei riferimenti, il tracciamento della propriet\u00e0 degli oggetti e la gestione del tempo di vita degli oggetti (scope), nonch\u00e9 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. <\/p>\n
Nella nuova versione delle patch sono state continuate le revisioni emerse nel corso delle discussioni delle prime due versioni. Le modifiche pi\u00f9 significative includono: <\/p>\n
\n
\u00c8 stato effettuato il passaggio all'uso della versione stabile del compilatore Rust 1.57 come riferimento, con un collegamento alla versione stabilizzata del linguaggio Rust 2021. In precedenza, le patch erano legate al ramo beta di Rust e utilizzavano alcune caratteristiche del linguaggio classificate come instabili. Il passaggio alla specifica Rust 2021 ha avviato il lavoro per eliminare dalle patch caratteristiche instabili come const_fn_transmute, const_panic, const_unreachable_unchecked e core_panic e try_reserve.\n
\u00c8 stata effettuata una pulizia del codice per rimuovere possibili avvertimenti del compilatore durante la compilazione del kernel con l'opzione CONFIG_WERROR. Nella compilazione del codice in Rust sono state incluse modalit\u00e0 diagnostiche aggiuntive e avvertimenti del linter Clippy.\n
Sono state proposte astrattizzazioni per l'uso nel codice Rust di blocchi seqlock (sequence locks), callback per la gestione dell'alimentazione, I\/O Memory (readX\/writeX), gestori di interruzione e thread, GPIO, accesso a dispositivi, driver e credenziali.\n
Sono stati ampliati gli strumenti per lo sviluppo di driver attraverso l'uso di mutex spostabili, iteratori bit, wrapper semplificati sui puntatori, diagnostica migliorata per guasti e un'infrastruttura indipendente dal bus dati.\n
\u00c8 stato migliorato il lavoro con i riferimenti grazie a un tipo semplificato Ref, basato sul backend refcount_t, che utilizza l'API omonima del kernel per il conteggio dei riferimenti. Il supporto per i tipi Arc e Rc forniti nella libreria alloc standard \u00e8 stato rimosso e non \u00e8 disponibile nel codice eseguito a livello di kernel (per la libreria stessa sono state preparate opzioni per disabilitare questi tipi).\n
\u00c8 stata aggiunta alle patch una variante del driver PL061 GPIO, riscritta in Rust. La particolare caratteristica del driver \u00e8 che la sua implementazione ripete quasi riga per riga l'attuale driver GPIO in C. Per gli sviluppatori interessati a conoscere la creazione di driver in Rust, \u00e8 stata preparata un'analisi riga per riga, che consente di comprendere in quali costrutti in Rust \u00e8 stato trasformato il codice C.\n
Nella base di codice principale di Rust \u00e8 stata accettata la rustc_codegen_gcc, un backend rustc per GCC, che realizza la possibilit\u00e0 di compilazione anticipata (AOT) utilizzando la libreria libgccjit. Con il giusto sviluppo del backend, sar\u00e0 possibile compilare il codice Rust utilizzato nel kernel mediante GCC.\n
Oltre alle aziende ARM, Google e Microsoft, anche Red Hat ha espresso interesse per l'uso del linguaggio Rust nel kernel Linux. Ricordiamo che Google supporta direttamente il progetto Rust for Linux, sviluppando una nuova implementazione del meccanismo di comunicazione interprocessuale Binder in Rust e considerando la possibilit\u00e0 di riscrivere vari driver in Rust. Microsoft ha avviato la realizzazione di driver per Hyper-V in Rust. ARM sta lavorando per migliorare il supporto di Rust per i sistemi basati su processori ARM. IBM ha implementato il supporto di Rust nel kernel per i sistemi PowerPC. <\/ul>\n