{"id":37708,"date":"2019-10-31T22:19:14","date_gmt":"2019-10-31T19:19:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/frejmvork-dlya-napisaniya-zashhishhyonnyh-drajverov-dlya-yadra-linux-na-yazyke-rust\/"},"modified":"2019-10-31T22:19:14","modified_gmt":"2019-10-31T19:19:14","slug":"frejmvork-dlya-napisaniya-zashhishhyonnyh-drajverov-dlya-yadra-linux-na-yazyke-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/it\/blog\/news\/frejmvork-dlya-napisaniya-zashhishhyonnyh-drajverov-dlya-yadra-linux-na-yazyke-rust","title":{"rendered":"Framework per scrivere driver protetti per il kernel Linux in Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Josh Triplett, che lavora in Intel e fa parte del comitato che supervisiona lo sviluppo di Crates.io, nel suo intervento al Open Source Technology Summit ha presentato<\/a><\/noindex> un gruppo di lavoro, mirato a portare il linguaggio Rust a parit\u00e0 con il linguaggio C nell'ambito della programmazione di sistema. <\/p>\n

Nel gruppo di lavoro attualmente in fase di creazione, gli sviluppatori di Rust stanno collaborando con ingegneri di Intel per preparare specifiche che definiscano le funzionalit\u00e0 da implementare in Rust per la programmazione di sistema. La programmazione di sistema richiede spesso manipolazioni a basso livello, come l'esecuzione di istruzioni privilegiate del processore e l'ottenimento di dettagli sullo stato del processore. Tra le funzionalit\u00e0 attualmente in fase di sviluppo per Rust spiccano il supporto per strutture anonime, unioni (union), inserimenti in assembly (macro \u00abasm!\u00bb) e il formato di numeri in virgola mobile BFLOAT16.<\/p>\n

Josh crede che il futuro della programmazione di sistema sia in Rust, mentre il linguaggio C, nelle attuali realt\u00e0, sta assumendo un ruolo che in passato era occupato dall'Assembly. Rust
\nnon solo libera gli sviluppatori dai problemi comuni del linguaggio C, derivanti dal lavoro a basso livello con la memoria, ma offre anche la possibilit\u00e0 di applicarlo nello sviluppo di moderne paradigme di programmazione.<\/p>\n

Nel corso dibattito<\/a><\/noindex> dell'esibizione
\ndi Josh \u00e8 stata proposta l'idea di aggiungere al kernel Linux la possibilit\u00e0 di sviluppare driver in Rust, il che consentirebbe di creare driver sicuri e di qualit\u00e0 superiori con il minimo sforzo, eliminando problemi come l'accesso alla memoria dopo il suo rilascio, il dereferenziamento di puntatori nulli e l'overflow del buffer. <\/p>\n

Greg Kroah-Hartman, responsabile del supporto della linea stabile del kernel Linux, ha espresso la disponibilit\u00e0 ad aggiungere al kernel un framework per lo sviluppo di driver in Rust, se questo offrir\u00e0 vantaggi reali rispetto al C, ad esempio fornendo binding sicuri per le API del kernel. Inoltre, Greg considera questo framework solo come un'opzione, non attiva di default, per non includere Rust tra le dipendenze di compilazione del kernel.<\/p>\n

Si \u00e8 scoperto che diversi team stanno gi\u00e0 lavorando in questa direzione. Ad esempio, gli sviluppatori di \u00abFish in a Barrel\u00bb hanno preparato<\/a><\/noindex> un toolkit per scrivere moduli caricabili per il kernel Linux in Rust, utilizzando per aumentare la sicurezza un insieme di strati astratti sopra le interfacce e le strutture del kernel. Gli strati vengono generati automaticamente sulla base dei file di intestazione esistenti del kernel tramite l'utility bindgen<\/a><\/noindex>. Per la compilazione degli strati viene utilizzato Clang. I moduli compilati utilizzano, oltre agli strati, il pacchetto staticlib.<\/p>\n

Parallelamente si sviluppa<\/a><\/noindex> un altro progetto concentrato sulla creazione di driver per sistemi embedded e dispositivi IoT, che utilizza anche bindgen per generare strati basati su file header del kernel. Il framework consente di migliorare la sicurezza dei driver senza modifiche al kernel \u2014 invece di creare ulteriori livelli di isolamento nel kernel per i driver, si propone di bloccare i problemi in fase di compilazione, utilizzando un linguaggio pi\u00f9 sicuro come Rust. Si prevede che questo approccio possa risultare interessante per i produttori di hardware che sviluppano driver proprietari in modo rapido senza un'adeguata revisione.<\/p>\n

Non tutte le funzionalit\u00e0 progettate sono ancora state implementate, ma il framework \u00e8 gi\u00e0 del tutto utilizzabile ed \u00e8 stato impiegato per scrivere un driver operativo per il controller Ethernet LAN9512 USB fornito con la scheda Raspberry Pi 3. Come implementazione di riferimento per la scrittura del driver Rust \u00e8 stato utilizzato il driver esistente smsc95xx, scritto in C. Si nota che le dimensioni del modulo e le spese generali derivanti dai componenti runtime nello sviluppo di un driver in Rust sono minime, il che consente di applicare il framework a dispositivi con risorse limitate.<\/p>\n

<\/a><\/noindex><\/p>\n

Fonte: opennet.ru<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"

\u0414\u0436\u043e\u0448 \u0422\u0440\u0438\u043f\u043b\u0435\u0442 (Josh Triplett), \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u0432 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438 Intel \u0438 \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0439 \u0432 \u043a\u043e\u043c\u0438\u0442\u0435\u0442, \u043a\u0443\u0440\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u0435 Crates.io, \u0432 \u0441\u0432\u043e\u0451\u043c \u0432\u044b\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438 \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438 Open Source Technology Summit \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u0438\u043b \u0440\u0430\u0431\u043e\u0447\u0443\u044e \u0433\u0440\u0443\u043f\u043f\u0443, \u043d\u0430\u0446\u0435\u043b\u0435\u043d\u043d\u0443\u044e \u043d\u0430 \u0434\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435 \u044f\u0437\u044b\u043a\u0430 Rust \u0434\u043e \u043f\u0430\u0440\u0438\u0442\u0435\u0442\u0430 \u0441 \u044f\u0437\u044b\u043a\u043e\u043c \u0421\u0438 \u0432 \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u0441\u0438\u0441\u0442\u0435\u043c\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f. \u0412 \u0440\u0430\u0431\u043e\u0447\u0435\u0439 \u0433\u0440\u0443\u043f\u043f\u0435, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432 \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u0435 \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f, \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u0447\u0438\u043a\u0438 Rust \u0441\u043e\u0432\u043c\u0435\u0441\u0442\u043d\u043e \u0441 \u0438\u043d\u0436\u0435\u043d\u0435\u0440\u0430\u043c\u0438 \u0438\u0437 […]<\/p>\n","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[702],"tags":[],"class_list":["post-37708","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\n","aioseo_head_json":{"title":"\ud83e\udd47Framework per scrivere driver sicuri per il kernel Linux in Rust | ProHoster","description":"Josh Triplett, che lavora per Intel ed \u00e8 membro del comitato che supervisiona lo sviluppo di Crates.io, durante il suo intervento al Open Source Technology Summit","canonical_url":"https:\/\/prohoster.info\/it\/blog\/news\/frejmvork-dlya-napisaniya-zashhishhyonnyh-drajverov-dlya-yadra-linux-na-yazyke-rust","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"it_IT","og:site_name":"ProHoster | \u041a\u0443\u043f\u0438\u0442\u044c \u043d\u0430\u0434\u0435\u0436\u043d\u044b\u0439 \u0445\u043e\u0441\u0442\u0438\u043d\u0433 \u0434\u043b\u044f \u0441\u0430\u0439\u0442\u043e\u0432 \u0441 \u0437\u0430\u0449\u0438\u0442\u043e\u0439 \u043e\u0442 DDoS, VPS VDS \u0441\u0435\u0440\u0432\u0435\u0440\u044b","og:type":"article","og:title":"\ud83e\udd47\u0424\u0440\u0435\u0439\u043c\u0432\u043e\u0440\u043a \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u0437\u0430\u0449\u0438\u0449\u0451\u043d\u043d\u044b\u0445 \u0434\u0440\u0430\u0439\u0432\u0435\u0440\u043e\u0432 \u0434\u043b\u044f \u044f\u0434\u0440\u0430 Linux \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust | ProHoster","og:description":"\u0414\u0436\u043e\u0448 \u0422\u0440\u0438\u043f\u043b\u0435\u0442 (Josh Triplett), \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0438\u0439 \u0432 \u043a\u043e\u043c\u043f\u0430\u043d\u0438\u0438 Intel \u0438 \u0432\u0445\u043e\u0434\u044f\u0449\u0438\u0439 \u0432 \u043a\u043e\u043c\u0438\u0442\u0435\u0442, \u043a\u0443\u0440\u0438\u0440\u0443\u044e\u0449\u0438\u0439 \u0440\u0430\u0437\u0432\u0438\u0442\u0438\u0435 Crates.io, \u0432 \u0441\u0432\u043e\u0451\u043c \u0432\u044b\u0441\u0442\u0443\u043f\u043b\u0435\u043d\u0438\u0438 \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438 Open Source Technology Summit","og:url":"https:\/\/prohoster.info\/it\/blog\/news\/frejmvork-dlya-napisaniya-zashhishhyonnyh-drajverov-dlya-yadra-linux-na-yazyke-rust","og:image":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:secure_url":"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg","og:image:width":350,"og:image:height":350,"article:published_time":"2019-10-31T19:19:14+00:00","article:modified_time":"2019-10-31T19:19:14+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"37708","title":null,"description":null,"keywords":null,"keyphrases":null,"primary_term":null,"canonical_url":null,"og_title":null,"og_description":null,"og_object_type":"default","og_image_type":"default","og_image_url":null,"og_image_width":null,"og_image_height":null,"og_image_custom_url":null,"og_image_custom_fields":null,"og_video":null,"og_custom_url":null,"og_article_section":null,"og_article_tags":null,"twitter_use_og":false,"twitter_card":"default","twitter_image_type":"default","twitter_image_url":null,"twitter_image_custom_url":null,"twitter_image_custom_fields":null,"twitter_title":null,"twitter_description":null,"schema":{"blockGraphs":[],"customGraphs":[],"default":{"data":{"Article":[],"Course":[],"Dataset":[],"FAQPage":[],"Movie":[],"Person":[],"Product":[],"ProductReview":[],"Car":[],"Recipe":[],"Service":[],"SoftwareApplication":[],"WebPage":[]},"graphName":"","isEnabled":true},"graphs":[]},"schema_type":null,"schema_type_options":null,"pillar_content":false,"robots_default":true,"robots_noindex":false,"robots_noarchive":false,"robots_nosnippet":false,"robots_nofollow":false,"robots_noimageindex":false,"robots_noodp":false,"robots_notranslate":false,"robots_max_snippet":null,"robots_max_videopreview":null,"robots_max_imagepreview":"large","priority":null,"frequency":null,"local_seo":null,"seo_analyzer_scan_date":"2026-01-23 18:58:59","breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-03-01 01:22:28","updated":"2026-01-23 18:58:59","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/37708","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/comments?post=37708"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/posts\/37708\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/media?parent=37708"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/categories?post=37708"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/it\/wp-json\/wp\/v2\/tags?post=37708"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}