{"id":87925,"date":"2020-07-11T13:42:22","date_gmt":"2020-07-11T11:42:22","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust"},"modified":"2020-07-11T13:42:22","modified_gmt":"2020-07-11T11:42:22","slug":"predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/cs\/blog\/news\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust","title":{"rendered":"N\u00e1vrh k diskusi ot\u00e1zky p\u0159id\u00e1n\u00ed n\u00e1stroj\u016f pro v\u00fdvoj v jazyce Rust do j\u00e1dra Linux","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"<p>Nik DeSanj\u00e9 (<noindex><a rel=\"nofollow\" href=\"http:\/\/nickdesaulniers.github.io\/about\/\">Nick DeSanj\u00e9<\/a><\/noindex>), kter\u00fd v Google zaji\u0161\u0165uje <noindex><a rel=\"nofollow\" href=\"https:\/\/clangbuiltlinux.github.io\/\">podporu<\/a><\/noindex> kompilaci j\u00e1dra Linuxu s pou\u017eit\u00edm kompil\u00e1toru Clang a tak\u00e9 <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/rust-lang\/rust\/search?q=nickdesaulniers&#038;type=Commits\">pom\u00e1h\u00e1<\/a><\/noindex> odstra\u0148ovat chyby v kompil\u00e1toru Rust, <noindex><a rel=\"nofollow\" href=\"https:\/\/lkml.org\/lkml\/2020\/7\/9\/952\">navrhl<\/a><\/noindex> aby se z\u00fa\u010dastnil konference <noindex><a rel=\"nofollow\" href=\"https:\/\/www.linuxplumbersconf.org\/event\/7\/page\/47-attend\">Linux Plumbers Conference 2020<\/a><\/noindex> sezen\u00edm k diskusi o mo\u017enostech v\u00fdvoje komponent j\u00e1dra v jazyce Rust. Nik organizuje mikro-konferenci zam\u011b\u0159enou na LLVM a domn\u00edv\u00e1 se, \u017ee by bylo dobr\u00e9 probrat technick\u00e9 aspekty mo\u017en\u00e9 integrace podpory Rust do j\u00e1dra (pro KBuild ji\u017e p\u0159ipravil pracovn\u00ed prototyp) a zjistit, zda by takov\u00e1 podpora m\u011bla b\u00fdt v\u016fbec zavedena a jak\u00e1 omezen\u00ed by m\u011bla b\u00fdt p\u0159ijata pro pou\u017eit\u00ed Rust.<\/p>\n<p>P\u0159ipom\u00edn\u00e1me, \u017ee na ned\u00e1vn\u00e9 diskusi na konferenci &#171;Open Source Summit and Embedded Linux&#187; Linus Torvalds <noindex><a rel=\"nofollow\" href=\"https:\/\/www.opennet.ru\/opennews\/art.shtml?num=53292\">nevy\u0159adil<\/a><\/noindex> mo\u017enost zaveden\u00ed vazeb pro v\u00fdvoj pomocn\u00fdch subsyst\u00e9m\u016f j\u00e1dra (nap\u0159. ovlada\u010d\u016f) v takov\u00fdch jazyc\u00edch jako Rust. Mo\u017enost vyv\u00edjet ovlada\u010de v jazyce Rust by umo\u017enila s minim\u00e1ln\u00edm \u00fasil\u00edm vytv\u00e1\u0159et bezpe\u010dn\u00e9 a kvalitn\u011bj\u0161\u00ed ovlada\u010de, zbaven\u00e9 probl\u00e9m\u016f, jako je p\u0159\u00edstup do oblasti pam\u011bti po jej\u00edm uvoln\u011bn\u00ed, dereference nulov\u00fdch ukazatel\u016f a p\u0159ekro\u010den\u00ed hranic bufferu. Ji\u017e existuje n\u011bkolik extern\u00edch projekt\u016f na realizaci takov\u00e9 mo\u017enosti:<\/p>\n<ul>\n<li class=\"l\"> V\u00fdvoj\u00e1\u0159i ze spole\u010dnosti &#171;Fish in a Barrel&#187; <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/fishinabarrel\/linux-kernel-module-rust\">p\u0159ipravili<\/a><\/noindex> n\u00e1stroje pro psan\u00ed modul\u016f pro j\u00e1dro Linuxu v jazyce Rust, pou\u017e\u00edvaj\u00edc\u00ed pro zv\u00fd\u0161en\u00ed ochrany sadu abstraktn\u00edch vrstev nad rozhran\u00edmi a strukturami j\u00e1dra. Tyto vrstvy jsou automaticky generov\u00e1ny na z\u00e1klad\u011b existuj\u00edc\u00edch hlavi\u010dkov\u00fdch soubor\u016f j\u00e1dra pomoc\u00ed utilit <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/rust-lang\/rust-bindgen\">bindgen<\/a><\/noindex>. Pro kompilaci vrstev se pou\u017e\u00edv\u00e1 Clang. Kompilovan\u00e9 moduly krom\u011b vrstev pou\u017e\u00edvaj\u00ed bal\u00ed\u010dek staticlib.\n<li class=\"l\"> V\u00fdzkumn\u00edci z \u010c\u00ednsk\u00e9 univerzity v Hongkongu <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/lizhuohua\/linux-kernel-module-rust\">rozv\u00edjej\u00ed<\/a><\/noindex> projekt na v\u00fdvoj ovlada\u010d\u016f pro vestav\u011bn\u00e9 syst\u00e9my a za\u0159\u00edzen\u00ed Internetu v\u011bc\u00ed v jazyce Rust, kter\u00fd tak\u00e9 vyu\u017e\u00edv\u00e1 bindgen pro generov\u00e1n\u00ed vrstev na z\u00e1klad\u011b hlavi\u010dkov\u00fdch soubor\u016f j\u00e1dra. R\u00e1mec umo\u017e\u0148uje zv\u00fd\u0161it bezpe\u010dnost ovlada\u010d\u016f bez zm\u011bn v j\u00e1d\u0159e \u2014 m\u00edsto vytv\u00e1\u0159en\u00ed dal\u0161\u00edch izola\u010dn\u00edch \u00farovn\u00ed v j\u00e1d\u0159e pro ovlada\u010de se navrhuje blokovat probl\u00e9my ji\u017e ve f\u00e1zi kompilace, a to pomoc\u00ed bezpe\u010dn\u011bj\u0161\u00edho jazyka Rust. P\u0159edpokl\u00e1d\u00e1 se, \u017ee tento p\u0159\u00edstup m\u016f\u017ee b\u00fdt \u017e\u00e1dan\u00fd v\u00fdrobci za\u0159\u00edzen\u00ed, kte\u0159\u00ed vyv\u00edjej\u00ed propriet\u00e1rn\u00ed ovlada\u010de na rychlo bez \u0159\u00e1dn\u00e9ho auditu.\n<li class=\"l\"> V\u00fdvoj\u00e1\u0159i frameworku <noindex><a rel=\"nofollow\" href=\"https:\/\/github.com\/immunant\/c2rust\">C2Rust<\/a><\/noindex> pro p\u0159eklad C k\u00f3du na Rust, <noindex><a rel=\"nofollow\" href=\"https:\/\/immunant.com\/blog\/2020\/06\/kernel_modules\/\">organizuj\u00ed<\/a><\/noindex> experimenty s transformac\u00ed modul\u016f j\u00e1dra s minim\u00e1ln\u00edmi ru\u010dn\u00edmi \u00fapravami. Mezi probl\u00e9my se uv\u00e1d\u00ed pou\u017eit\u00ed v mnoha \u010d\u00e1stech j\u00e1dra k\u00f3du, ve kter\u00e9m se pou\u017e\u00edvaj\u00ed roz\u0161\u00ed\u0159en\u00ed GCC, kter\u00e1 nejsou zat\u00edm podporov\u00e1na v C2Rust. Pro vy\u0159e\u0161en\u00ed tohoto probl\u00e9mu se pl\u00e1nuje v C2Rust p\u0159idat podporu pro GCC atributy inline, cold, alias, used a section, stejn\u011b jako roz\u0161\u00ed\u0159it mo\u017enosti inline assembleru a \u0159e\u0161it probl\u00e9my se strukturami, kter\u00e9 jsou z\u00e1rove\u0148 vyrovnan\u00e9 a zabalen\u00e9 (nap\u0159. xregs_state). Mezi v\u00fdznamn\u00e9 probl\u00e9my vy\u017eaduj\u00edc\u00ed ru\u010dn\u00ed pr\u00e1ci pat\u0159\u00ed nemo\u017enost p\u0159ekl\u00e1dat netrivi\u00e1ln\u00ed C makra do Rust maker a pot\u0159eba redefinice typ\u016f, proto\u017ee C2Rust p\u0159ekl\u00e1d\u00e1 C typy na definice v bal\u00ed\u010dku libc, av\u0161ak tento bal\u00ed\u010dek nelze pou\u017e\u00edt v modulech j\u00e1dra.\n<\/ul>\n<p><noindex><a rel=\"nofollow\" name=\"link\"><\/a><\/noindex><\/p>\n<p>Zdroj: <a \ncontent=\"nofollow\" rel=\"nofollow\" href=\"https:\/\/www.opennet.ru\/opennews\/art.shtml?num=53331\">opennet.ru<\/a><\/p>","protected":false,"gt_translate_keys":[{"key":"rendered","format":"html"}]},"excerpt":{"rendered":"<p>\u041d\u0438\u043a \u0414\u0435\u0441\u0430\u043d\u044c\u0435 (Nick Desaulniers), \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u0432 Google \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435\u043c \u043f\u043e\u0434\u0434\u0435\u0440\u0436\u043a\u0438 \u0441\u0431\u043e\u0440\u043a\u0438 \u044f\u0434\u0440\u0430 Linux \u0441 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435\u043c \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0430 Clang \u0438 \u0442\u0430\u043a\u0436\u0435 \u043f\u043e\u043c\u043e\u0433\u0430\u044e\u0449\u0438\u0439 \u0438\u0441\u043f\u0440\u0430\u0432\u043b\u044f\u0442\u044c \u043e\u0448\u0438\u0431\u043a\u0438 \u0432 \u043a\u043e\u043c\u043f\u0438\u043b\u044f\u0442\u043e\u0440\u0435 Rust, \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0438\u043b \u043f\u0440\u043e\u0432\u0435\u0441\u0442\u0438 \u043d\u0430 \u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438 Linux Plumbers Conference 2020 \u0441\u0435\u0441\u0441\u0438\u044e \u0434\u043b\u044f \u043e\u0431\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044f \u043f\u0440\u0435\u0434\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043a\u043e\u043c\u043f\u043e\u043d\u0435\u043d\u0442\u043e\u0432 \u044f\u0434\u0440\u0430 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust. \u041d\u0438\u043a \u0437\u0430\u043d\u0438\u043c\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0435\u043c \u043c\u0438\u043a\u0440\u043e-\u043a\u043e\u043d\u0444\u0435\u0440\u0435\u043d\u0446\u0438\u0438, \u043f\u043e\u0441\u0432\u044f\u0449\u0451\u043d\u043d\u043e\u0439 LLVM, \u0438 \u0441\u0447\u0438\u0442\u0430\u0435\u0442, \u0447\u0442\u043e \u0431\u044b\u043b\u043e \u0431\u044b \u043d\u0435\u043f\u043b\u043e\u0445\u043e [&hellip;]<\/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-87925","post","type-post","status-publish","format-standard","hentry","category-news"],"aioseo_notices":[],"aioseo_head":"\n\t\t<!-- All in One SEO 5.0.3 - aioseo.com -->\n\t<meta name=\"description\" content=\"\u041d\u0438\u043a \u0414\u0435\u0441\u0430\u043d\u044c\u0435 (Nick Desaulniers), \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u0432 Google \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435\u043c\" \/>\n\t<meta name=\"robots\" content=\"max-image-preview:large\" \/>\n\t<meta name=\"author\" content=\"Yuri Gagarin\"\/>\n\t<link rel=\"canonical\" href=\"https:\/\/prohoster.info\/cs\/blog\/news\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust\" \/>\n\t\t<meta name=\"generator\" content=\"All in One SEO (AIOSEO) 5.0.3\" \/>\n\t\t<meta property=\"og:locale\" content=\"cs_CZ\" \/>\n\t\t<meta property=\"og:site_name\" content=\"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\" \/>\n\t\t<meta property=\"og:type\" content=\"article\" \/>\n\t\t<meta property=\"og:title\" content=\"\ud83e\udd47\u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u043f\u043e \u043e\u0431\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044e \u0432\u043e\u043f\u0440\u043e\u0441\u0430 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432 \u044f\u0434\u0440\u043e Linux \u0441\u0440\u0435\u0434\u0441\u0442\u0432 \u0434\u043b\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust | ProHoster\" \/>\n\t\t<meta property=\"og:description\" content=\"\u041d\u0438\u043a \u0414\u0435\u0441\u0430\u043d\u044c\u0435 (Nick Desaulniers), \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u0432 Google \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435\u043c\" \/>\n\t\t<meta property=\"og:url\" content=\"https:\/\/prohoster.info\/cs\/blog\/news\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust\" \/>\n\t\t<meta property=\"og:image\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:secure_url\" content=\"https:\/\/prohoster.info\/wp-content\/uploads\/2021\/11\/logo-350.jpg\" \/>\n\t\t<meta property=\"og:image:width\" content=\"350\" \/>\n\t\t<meta property=\"og:image:height\" content=\"350\" \/>\n\t\t<meta property=\"article:published_time\" content=\"2020-07-11T11:42:22+00:00\" \/>\n\t\t<meta property=\"article:modified_time\" content=\"2020-07-11T11:42:22+00:00\" \/>\n\t\t<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<meta property=\"article:author\" content=\"https:\/\/www.facebook.com\/prohoster\" \/>\n\t\t<!-- All in One SEO -->\n\n","aioseo_head_json":{"title":"\ud83e\udd47N\u00e1vrh na diskusi o p\u0159id\u00e1n\u00ed prost\u0159edk\u016f pro v\u00fdvoj v jazyce Rust do j\u00e1dra Linuxu | ProHoster","description":"Nick Desaulniers, kter\u00fd v Google zaji\u0161\u0165uje","canonical_url":"https:\/\/prohoster.info\/cs\/blog\/news\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-na-yazyke-rust","robots":"max-image-preview:large","keywords":"","webmasterTools":{"miscellaneous":""},"schema":null,"og:locale":"cs_CZ","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\u041f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435 \u043f\u043e \u043e\u0431\u0441\u0443\u0436\u0434\u0435\u043d\u0438\u044e \u0432\u043e\u043f\u0440\u043e\u0441\u0430 \u0434\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u044f \u0432 \u044f\u0434\u0440\u043e Linux \u0441\u0440\u0435\u0434\u0441\u0442\u0432 \u0434\u043b\u044f \u0440\u0430\u0437\u0440\u0430\u0431\u043e\u0442\u043a\u0438 \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Rust | ProHoster","og:description":"\u041d\u0438\u043a \u0414\u0435\u0441\u0430\u043d\u044c\u0435 (Nick Desaulniers), \u0437\u0430\u043d\u0438\u043c\u0430\u044e\u0449\u0438\u0439\u0441\u044f \u0432 Google \u043e\u0431\u0435\u0441\u043f\u0435\u0447\u0435\u043d\u0438\u0435\u043c","og:url":"https:\/\/prohoster.info\/cs\/blog\/news\/predlozhenie-po-obsuzhdeniyu-voprosa-dobavleniya-v-yadro-linux-sredstv-dlya-razrabotki-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":"2020-07-11T11:42:22+00:00","article:modified_time":"2020-07-11T11:42:22+00:00","article:publisher":"https:\/\/www.facebook.com\/prohoster","article:author":"https:\/\/www.facebook.com\/prohoster"},"aioseo_meta_data":{"post_id":"87925","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":null,"breadcrumb_settings":null,"limit_modified_date":false,"reviewed_by":null,"ai":null,"created":"2021-02-28 13:40:35","updated":"2022-10-02 21:14:30","focus_keyword":null,"additional_keywords":null,"truseo_locale":null},"gt_translate_keys":[{"key":"link","format":"url"}],"_links":{"self":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/87925","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/comments?post=87925"}],"version-history":[{"count":0,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/posts\/87925\/revisions"}],"wp:attachment":[{"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/media?parent=87925"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/categories?post=87925"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/prohoster.info\/cs\/wp-json\/wp\/v2\/tags?post=87925"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}