{"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":"Un framework per scrivere driver sicuri per il kernel Linux in linguaggio Rust.","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Josh Triplett, che lavora presso 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 volto a portare il linguaggio Rust al pari del linguaggio C nell'ambito della programmazione di sistema. <\/p>\n

Nel gruppo di lavoro 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 gi\u00e0 in fase di sviluppo per Rust vi \u00e8 il supporto per strutture senza nome, union, inserimenti in assembly (macro \u00abasm!\u00bb) e il formato dei numeri in virgola mobile BFLOAT16.<\/p>\n

Josh ritiene che il futuro della programmazione di sistema appartenga a Rust, mentre il linguaggio C nelle attuali realt\u00e0 rivendica un posto che in passato era occupato da Assembly. Rust
\nnon solo libera gli sviluppatori dai problemi tipici del linguaggio C derivanti dal lavoro a basso livello con la memoria, ma offre anche la possibilit\u00e0 di applicare moderne paradigmi di programmazione.<\/p>\n

Durante una discussione<\/a><\/noindex> intervento
\nla presentazione di Josh \u00e8 emersa l'idea di aggiungere al kernel Linux la possibilit\u00e0 di sviluppare driver in Rust, il che consentirebbe di creare driver sicuri e di alta qualit\u00e0 con il minimo sforzo, eliminando problemi come l'accesso alla memoria dopo la sua liberazione, la dereferenziazione di puntatori nulli e l'overflow del buffer. <\/p>\n

Greg Kroah-Hartman, responsabile del supporto della versione stabile del kernel Linux, ha espresso la sua disponibilit\u00e0 ad aggiungere al kernel un framework per lo sviluppo di driver in Rust, se quest'ultimo offrir\u00e0 reali vantaggi rispetto a C, come ad esempio fornire wrapper sicuri per l'API del kernel. Inoltre, Greg considera questo framework solo come un'opzione, non attiva di default, in modo da non includere Rust tra le dipendenze di build del kernel.<\/p>\n

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

In parallelo \u00e8 in fase di sviluppo<\/a><\/noindex> un altro progetto, focalizzato sullo sviluppo di driver per sistemi embedded e dispositivi IoT, che utilizza anche bindgen per generare interfacce basate sui file di intestazione del kernel. Il framework consente di migliorare la sicurezza dei driver senza modifiche al kernel: invece di creare ulteriori livelli di isolamento nel kernel per i driver, si propone di bloccare i problemi gi\u00e0 in fase di compilazione utilizzando un linguaggio pi\u00f9 sicuro come Rust. Si prevede che un simile approccio possa risultare interessante per i produttori di hardware che sviluppano driver proprietari in modo affrettato senza un adeguato audit.<\/p>\n

Non tutte le funzionalit\u00e0 previste sono state ancora implementate, ma il framework \u00e8 gi\u00e0 abbastanza utilizzabile e \u00e8 stato impiegato per scrivere un driver funzionante per il controller Ethernet LAN9512 USB, fornito con la scheda Raspberry Pi 3. Come implementazione di riferimento nella scrittura del driver Rust, \u00e8 stato utilizzato un driver esistente smsc95xx, scritto in C. Si osserva che la dimensione del modulo e le spese generali dai componenti runtime nella sviluppo del driver in Rust sono minime, consentendo di applicare il framework ai 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 la scrittura di driver sicuri per il kernel Linux in Rust | ProHoster","description":"Josh Triplett, che lavora presso Intel e fa parte del comitato che supervisiona lo sviluppo di Crates.io, nel 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}]}}