{"id":103565,"date":"2022-03-18T21:36:53","date_gmt":"2022-03-18T19:36:53","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/novaya-versiya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust"},"modified":"2022-03-18T21:36:53","modified_gmt":"2022-03-18T19:36:53","slug":"novaya-versiya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/novaya-versiya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"Nuova versione dei patch per il kernel Linux con supporto per il linguaggio Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Miguel Ojeda, autore del progetto Rust-for-Linux, ha proposto agli sviluppatori del kernel Linux di considerare il rilascio della versione v5 dei componenti per lo sviluppo di driver per dispositivi in linguaggio Rust. Questa \u00e8 la sesta edizione delle patch, tenendo conto della prima versione pubblicata senza numero di versione. Il supporto per Rust \u00e8 considerato sperimentale, ma \u00e8 gi\u00e0 incluso nel ramo linux-next ed \u00e8 abbastanza sviluppato per iniziare a creare strati di astrazione sopra le sottosistemi del kernel, cos\u00ec come per scrivere driver e moduli. Lo sviluppo \u00e8 finanziato da Google e dall'organizzazione ISRG (Internet Security Research Group), che \u00e8 il fondatore del progetto Let's Encrypt e promuove HTTPS e lo sviluppo di tecnologie per aumentare la sicurezza di Internet. <\/p>\n
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 continua l'eliminazione delle osservazioni espresse durante la discussione della prima, seconda, terza, quarta e quinta edizione delle patch. Nella nuova versione: <\/p>\n
\n
L'insieme di strumenti \u00e8 stato aggiornato alla versione Rust 1.59.0. Con la nuova versione di Rust \u00e8 stata sincronizzata anche la variante della libreria alloc, eliminando potenziali generazioni di stati di 'panic' in caso di errori come la mancanza di memoria. \u00c8 stata stabilizzata la possibilit\u00e0 di utilizzare inserimenti assembler ('feature(global_asm)').\n
Aggiunta il supporto per la creazione di programmi host in linguaggio Rust utilizzati nel processo di compilazione del kernel.\n
Invece di fornire file precreati con la specifica delle piattaforme di destinazione, \u00e8 garantita la loro generazione dinamica basata sulla configurazione del kernel.\n
Aggiunto il parametro del kernel HAVE_RUST, attivato per le architetture che supportano Rust.\n
Fornite astrazioni per l'uso nel codice Rust di un generatore di numeri pseudocasuali hardware.\n
\u00c8 consentito l'uso dei codici di errore senza il prefisso 'Error::' (ad esempio, 'return Err(EINVAL)') per facilitare la gestione dei codici di errore in C.\n
\u00c8 stato aggiunto il tipo 'CString' per le stringhe C. I tipi Formatter e Buffer sono stati unificati.\n
Aggiunti i trait Bool e LockInfo.\n
Semplificata l'implementazione dei lock spin. <\/ul>\n<\/ul>\n