{"id":102509,"date":"2021-12-07T15:37:11","date_gmt":"2021-12-07T13:37:11","guid":{"rendered":"https:\/\/prohoster.info\/blog\/novosti-interneta\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust"},"modified":"2021-12-07T15:37:11","modified_gmt":"2021-12-07T13:37:11","slug":"tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","status":"publish","type":"post","link":"https:\/\/prohoster.info\/fr\/blog\/news\/tretya-redakcziya-patchej-dlya-yadra-linux-s-podderzhkoj-yazyka-rust","title":{"rendered":"Troisi\u00e8me \u00e9dition des patches pour le noyau Linux avec support du langage Rust","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"
Miguel Ojeda, auteur du projet Rust-for-Linux, a propos\u00e9 aux d\u00e9veloppeurs du noyau Linux une troisi\u00e8me option de composants pour le d\u00e9veloppement de pilotes d'appareils en langage Rust. Le support de Rust est consid\u00e9r\u00e9 comme exp\u00e9rimental, mais a d\u00e9j\u00e0 \u00e9t\u00e9 valid\u00e9 pour inclusion dans la branche linux-next. Le d\u00e9veloppement est financ\u00e9 par Google et l'organisation ISRG (Internet Security Research Group), qui est \u00e0 l'origine du projet Let's Encrypt et qui promeut HTTPS ainsi que le d\u00e9veloppement de technologies pour renforcer la s\u00e9curit\u00e9 sur Internet. <\/p>\n
Rappelons que les modifications propos\u00e9es permettent d'utiliser Rust comme deuxi\u00e8me langage pour le d\u00e9veloppement de pilotes et de modules du noyau. Le support de Rust est pr\u00e9sent\u00e9 comme une option, non activ\u00e9e par d\u00e9faut et ne conduisant pas \u00e0 l'inclusion de Rust parmi les d\u00e9pendances de construction obligatoires du noyau. L'utilisation de Rust pour le d\u00e9veloppement de pilotes permettra de cr\u00e9er des pilotes s\u00fbrs et de meilleure qualit\u00e9 avec un minimum d'efforts, en \u00e9vitant des probl\u00e8mes tels que l'acc\u00e8s \u00e0 une zone m\u00e9moire apr\u00e8s sa lib\u00e9ration, la d\u00e9r\u00e9f\u00e9renciation de pointeurs nuls et le d\u00e9passement de tampon. <\/p>\n
La s\u00e9curit\u00e9 de la m\u00e9moire est assur\u00e9e dans Rust au moment de la compilation par la v\u00e9rification des r\u00e9f\u00e9rences, le suivi de la propri\u00e9t\u00e9 des objets et la prise en compte de la dur\u00e9e de vie des objets (port\u00e9e), ainsi que par l'\u00e9valuation de l'acc\u00e8s \u00e0 la m\u00e9moire lors de l'ex\u00e9cution du code. Rust fournit \u00e9galement des moyens de protection contre les d\u00e9bordements d'entiers, exige l'initialisation obligatoire des variables avant leur utilisation, g\u00e8re mieux les erreurs dans la biblioth\u00e8que standard, applique le concept de r\u00e9f\u00e9rences et de variables immuables par d\u00e9faut, et propose une forte typage statique pour minimiser les erreurs logiques. <\/p>\n
La nouvelle version des patchs continue de corriger les remarques formul\u00e9es lors des discussions sur les premi\u00e8res et deuxi\u00e8mes versions des patchs. Les changements les plus notables sont : <\/p>\n
\n
La transition vers l'utilisation du compilateur standard stable Rust 1.57 a \u00e9t\u00e9 effectu\u00e9e, assurant l'attachement \u00e0 l'\u00e9dition stabilis\u00e9e du langage Rust 2021. Auparavant, les correctifs \u00e9taient li\u00e9s \u00e0 la branche b\u00eata de Rust et utilisaient certaines fonctionnalit\u00e9s du langage qui relevaient des options instables. La migration vers la sp\u00e9cification Rust 2021 a permis d'initier le travail visant \u00e0 \u00e9liminer l'utilisation dans les correctifs de ces fonctionnalit\u00e9s instables comme const_fn_transmute, const_panic, const_unreachable_unchecked, core_panic et try_reserve.\n
Le d\u00e9veloppement de la variante de la biblioth\u00e8que Rust alloc, incluse dans les patchs, a \u00e9t\u00e9 poursuivi, modifi\u00e9e pour \u00e9liminer les fonctions de distribution de la m\u00e9moire susceptibles de g\u00e9n\u00e9rer un \u00e9tat de \"panic\" en cas d'erreurs telles qu'un manque de m\u00e9moire. La nouvelle version impl\u00e9mente les options \"no_rc\" et \"no_sync\" pour d\u00e9sactiver des fonctionnalit\u00e9s inutilis\u00e9es dans le code Rust pour le noyau, rendant la biblioth\u00e8que plus modulaire. Le travail avec les principaux d\u00e9veloppeurs d'alloc se poursuit, visant \u00e0 transf\u00e9rer les modifications n\u00e9cessaires pour le noyau dans la biblioth\u00e8que principale. L'option \"no_fp_fmt_parse\", n\u00e9cessaire au bon fonctionnement de la biblioth\u00e8que au niveau du noyau, a \u00e9t\u00e9 ajout\u00e9e \u00e0 la biblioth\u00e8que de base Rust (core).\n
Un nettoyage du code a \u00e9t\u00e9 effectu\u00e9 pour \u00e9liminer les \u00e9ventuels avertissements du compilateur lors de la construction du noyau en mode CONFIG_WERROR. Des modes diagnostiques suppl\u00e9mentaires du compilateur et des avertissements du linter Clippy ont \u00e9t\u00e9 inclus lors de la compilation du code Rust.\n
Des abstractions ont \u00e9t\u00e9 propos\u00e9es pour une utilisation dans le code Rust, notamment des verrous de s\u00e9quence (seqlock), des appels de rappel pour la gestion de l'alimentation, la m\u00e9moire I\/O (readX\/writeX), des gestionnaires d'interruptions, des threads, GPIO, et l'acc\u00e8s aux dispositifs, pilotes et donn\u00e9es d'identification.\n
Les outils pour le d\u00e9veloppement de pilotes ont \u00e9t\u00e9 \u00e9tendus en int\u00e9grant des mutex transf\u00e9rables, des it\u00e9rateurs de bits, des enveloppes simplifi\u00e9es autour des pointeurs, un diagnostic am\u00e9lior\u00e9 des pannes et une infrastructure ind\u00e9pendante du bus de donn\u00e9es.\n
Le travail avec les r\u00e9f\u00e9rences a \u00e9t\u00e9 am\u00e9lior\u00e9 gr\u00e2ce \u00e0 un type simplifi\u00e9 Ref, bas\u00e9 sur le backend refcount_t, utilisant l'API du noyau du m\u00eame nom pour le comptage des r\u00e9f\u00e9rences. Le support des types Arc et Rc, fournis dans la biblioth\u00e8que standard alloc, a \u00e9t\u00e9 supprim\u00e9 et n'est pas disponible dans le code ex\u00e9cut\u00e9 au niveau du noyau (des options ont \u00e9t\u00e9 pr\u00e9par\u00e9es pour d\u00e9sactiver ces types dans la biblioth\u00e8que elle-m\u00eame).\n
La nouvelle version des patchs comprend une variante du pilote PL061 GPIO, r\u00e9\u00e9crite en Rust. La particularit\u00e9 de ce pilote est que son impl\u00e9mentation r\u00e9p\u00e8te presque ligne par ligne le pilote GPIO existant en C. Pour les d\u00e9veloppeurs souhaitant d\u00e9couvrir la cr\u00e9ation de pilotes en Rust, une comparaison ligne par ligne a \u00e9t\u00e9 pr\u00e9par\u00e9e, permettant de comprendre comment le code en C a \u00e9t\u00e9 transform\u00e9 en constructions en Rust.\n
Le backend rustc_codegen_gcc, une impl\u00e9mentation de rustc pour GCC, a \u00e9t\u00e9 int\u00e9gr\u00e9 \u00e0 la base de code principale de Rust, permettant la compilation anticip\u00e9e (AOT) \u00e0 l'aide de la biblioth\u00e8que libgccjit. Avec un d\u00e9veloppement appropri\u00e9 du backend, il permettra de compiler le code Rust utilis\u00e9 dans le noyau via GCC.\n
En plus des entreprises ARM, Google et Microsoft, la soci\u00e9t\u00e9 Red Hat a \u00e9galement exprim\u00e9 son int\u00e9r\u00eat pour l'utilisation du langage Rust dans le noyau Linux. Rappelons que Google soutient directement le projet Rust for Linux, d\u00e9veloppe une nouvelle mise en \u0153uvre du m\u00e9canisme de communication interprocessus Binder en Rust et envisage de r\u00e9\u00e9crire divers pilotes en Rust. Microsoft a commenc\u00e9 \u00e0 d\u00e9velopper des pilotes pour Hyper-V en Rust. ARM travaille \u00e0 l'am\u00e9lioration du support de Rust pour les syst\u00e8mes bas\u00e9s sur des processeurs ARM. IBM a mis en \u0153uvre la prise en charge de Rust dans le noyau pour les syst\u00e8mes PowerPC. <\/ul>\n