{"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 delle 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 per la considerazione degli sviluppatori del kernel Linux il rilascio della versione v5 dei componenti per lo sviluppo di driver per dispositivi in Rust. Questa \u00e8 la sesta revisione delle patch tenendo conto della prima versione, pubblicata senza numero di versione. Il supporto per Rust \u00e8 considerato sperimentale, ma \u00e8 gi\u00e0 stato incluso nel ramo linux-next ed \u00e8 sufficientemente sviluppato per iniziare a lavorare sulla creazione di livelli di astrazione sopra i sottosistemi del kernel, nonch\u00e9 per scrivere driver e moduli. Lo sviluppo \u00e8 finanziato da Google e dall'organizzazione ISRG (Internet Security Research Group), che \u00e8 la fondatrice del progetto Let\u2019s 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 porta all'inclusione di Rust tra le dipendenze di compilazione obbligatorie per il kernel. L'uso di Rust per lo sviluppo di driver permetter\u00e0 di creare driver sicuri e di qualit\u00e0 superiore con il minimo sforzo, eliminando problemi come l'accesso alla memoria dopo che \u00e8 stata liberata, la dereferenza di puntatori nulli e il superamento dei limiti del buffer. <\/p>\n
La gestione sicura della memoria in Rust \u00e8 garantita durante la compilazione attraverso il controllo dei riferimenti, il tracciamento della propriet\u00e0 degli oggetti e la gestione del tempo di vita degli oggetti (ambito di visibilit\u00e0), nonch\u00e9 attraverso la valutazione della correttezza dell'accesso alla memoria durante l'esecuzione del codice. Rust fornisce anche strumenti per proteggersi dai sovraccarichi interi, richiede l'inizializzazione obbligatoria dei valori delle variabili prima dell'uso, gestisce meglio gli errori nella libreria standard, applica il concetto di immutabilit\u00e0 (immutable) per riferimenti e variabili per impostazione predefinita e offre una forte tipizzazione statica per minimizzare gli errori logici. <\/p>\n
Nella nuova versione delle patch \u00e8 continuata la rimozione delle osservazioni sollevate nel corso delle discussioni sulle prime, seconde, terze, quarte e quinte edizioni 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 versione della libreria alloc, priva delle generazioni di stato 'panic' in caso di errori, come la mancanza di memoria. \u00c8 stata stabilizzata la possibilit\u00e0 di utilizzare inserimenti in assembler ('feature(global_asm)').\n
\u00c8 stato aggiunto il supporto per la creazione di programmi host in linguaggio Rust, utilizzati nel processo di compilazione del kernel.\n
Invece di consegnare file precreati con la specifica delle piattaforme target, \u00e8 garantita la loro generazione dinamica basata sulla configurazione del kernel.\n
Aggiunto il parametro del kernel HAVE_RUST, abilitato per le architetture che supportano Rust.\n
Proposte astrazioni per l'utilizzo nel codice in linguaggio Rust di un generatore hardware di numeri pseudocasuali.\n
\u00c8 consentito l'uso di codici di errore senza il prefisso 'Error::' (ad esempio, 'return Err(EINVAL)') per avvicinarsi alla 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 delle spin-lock. <\/ul>\n<\/ul>\n