{"id":122013,"date":"2025-02-20T14:22:05","date_gmt":"2025-02-20T12:22:05","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/mnenie-grega-kroa-hartmana-i-kejsa-kuka-o-prodvizhenii-rust-v-yadro-linux"},"modified":"2025-02-20T14:22:05","modified_gmt":"2025-02-20T12:22:05","slug":"mnenie-grega-kroa-hartmana-i-kejsa-kuka-o-prodvizhenii-rust-v-yadro-linux","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/mnenie-grega-kroa-hartmana-i-kejsa-kuka-o-prodvizhenii-rust-v-yadro-linux","title":{"rendered":"Opinione di Greg Kroah-Hartman e Kase Cook sullo sviluppo di Rust nel kernel Linux","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Greg Kroah-Hartman, responsabile del supporto della versione stabile del kernel Linux, si \u00e8 espresso a favore dello sviluppo di nuovi componenti del kernel in Rust. Come persona attraverso cui passano tutte le informazioni sugli errori e le vulnerabilit\u00e0 nel kernel Linux da 15 anni, sostiene che la maggior parte degli errori nel kernel \u00e8 causata da peculiarit\u00e0 non considerate del linguaggio C (corner case), completamente escluse nel codice scritto in Rust. <\/p>\n
Con l'uso di Rust, si potranno lasciare alle spalle problemi come l'accesso alla memoria dopo la sua liberazione, l'uscita dai confini del buffer (in parte), la liberazione scorretta delle risorse durante la gestione degli errori e le verifiche dimenticate dei codici di errore restituiti, il che permetter\u00e0 ai manutentori di concentrarsi su errori reali, come condizioni di competizione e problemi logici, anzich\u00e9 disperdere l'attenzione su dettagli minori durante le revisioni. <\/p>\n
Il vecchio codice esistente in linguaggio C rimarr\u00e0 invariato, ma per il nuovo codice e i nuovi driver, l'implementazione di Rust permetter\u00e0 un notevole miglioramento della qualit\u00e0. L'introduzione di Rust offrir\u00e0 anche l'opportunit\u00e0 di strutturare le interfacce di programmazione interne del kernel in modo tale da ridurre praticamente al minimo gli errori nell'uso delle API interne \u2014 nel kernel si sono accumulate troppe API complesse e confuse, che creano un grande carico di lavoro per i manutentori nel verificare che queste API siano utilizzate correttamente. Con lo sviluppo dei wrapper di Rust, i manutentori avranno la possibilit\u00e0 di ripensare e riordinare le API, portando benefici a tutti, compresi coloro che utilizzano il linguaggio C. <\/p>\n
Greg non considera Rust \u00abla soluzione miracolosa\u00bb che risolver\u00e0 tutti i problemi nel kernel, ma questo linguaggio aiuter\u00e0 sicuramente in un numero enorme di situazioni. Il supporto per Rust soddisfer\u00e0 anche la necessit\u00e0 dei programmatori di driver, che sperano di ottenere uno strumento che permetta di scrivere codice per il loro hardware, escludendo molti tipi di errori. Per quanto riguarda la mescolanza di pi\u00f9 linguaggi, Greg non vede questo come un grande problema; a suo avviso, in passato i programmatori del kernel sono stati in grado di affrontare compiti molto pi\u00f9 complessi e non c'\u00e8 motivo di rifiutare l'inserimento di nuove buone idee nel kernel, che aiuteranno a garantire il successo del progetto per i prossimi 20+ anni. <\/p>\n
Alla discussione ha partecipato anche Kees Cook, ex amministratore di sistema principale di kernel.org e leader dell'Ubuntu Security Team. Kees ha chiarito che non si tratta di riscrivere il codice gi\u00e0 esistente nel kernel, ma di fornire la possibilit\u00e0 di utilizzare Rust per creare nuovi driver e sottosistemi. L'uso di Rust per il nuovo codice non solo ridurr\u00e0 il numero di errori nella gestione della memoria, ma abbrevier\u00e0 anche i tempi di sviluppo. La velocit\u00e0 di sviluppo aumenta grazie alla riduzione del lavoro necessario per il debug e alla presenza di garanzie rigorose nel linguaggio, che consentono di identificare gli errori nelle prime fasi della scrittura del codice, prima ancora dell'inizio del collaudo del prodotto. <\/p>\n
L'efficacia della tattica di utilizzo di Rust per migliorare la qualit\u00e0 del nuovo codice \u00e8 gi\u00e0 stata dimostrata da Google sulla piattaforma Android. \u00c8 stato dimostrato che la principale fonte di problemi di sicurezza \u00e8 il nuovo codice, e la qualit\u00e0 di quest'ultimo dovrebbe essere la priorit\u00e0 principale. Per il codice vecchio, c'\u00e8 una dipendenza esponenziale della sicurezza dal tempo (ad esempio, un codice di 5 anni ha in media una densit\u00e0 di vulnerabilit\u00e0 3.4 volte inferiore rispetto al nuovo codice). \n Fonte: opennet.ru<\/a> <\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"