Greg Kroah-Hartman, qui s'occupe du soutien des branches stables et \u00ab staging \u00bb du noyau Linux et qui est mainteneur dans 16 sous-syst\u00e8mes du noyau, a donn\u00e9 une conf\u00e9rence lors de Rust Week 2026, o\u00f9 il a expliqu\u00e9 comment le langage Rust peut aider \u00e0 pr\u00e9venir l'apparition de vuln\u00e9rabilit\u00e9s dans le noyau, r\u00e9sultant d'erreurs typiques des d\u00e9veloppeurs en langage C lors de la manipulation de la m\u00e9moire, des verrous, de la gestion des erreurs et du travail avec des donn\u00e9es non fiables. L'un des principaux avantages de Rust est sa capacit\u00e9 \u00e0 d\u00e9tecter de telles erreurs au stade de la compilation, plut\u00f4t qu'\u00e0 l'\u00e9tape de la r\u00e9vision du code par des humains. Cependant, Rust n'est pas consid\u00e9r\u00e9 comme une panac\u00e9e capable de r\u00e9soudre tous les probl\u00e8mes, et personne n'a l'intention de r\u00e9\u00e9crire le noyau en Rust : une int\u00e9gration progressive du Rust est attendue \u00e0 travers son utilisation pour de nouveaux pilotes et sous-syst\u00e8mes.<\/p>\n
Comme exemple d'erreurs dans le noyau qui auraient pu \u00eatre \u00e9vit\u00e9es gr\u00e2ce \u00e0 Rust, une erreur dans le sous-syst\u00e8me Bluetooth, rest\u00e9e inaper\u00e7ue pendant 15 ans, ainsi qu'un probl\u00e8me dans l'hyperviseur Xen ont \u00e9t\u00e9 mentionn\u00e9s. Dans le premier cas, le d\u00e9veloppeur a effectu\u00e9 une d\u00e9r\u00e9f\u00e9rence de pointeur sans v\u00e9rification, et dans le second, il a oubli\u00e9 de lib\u00e9rer un verrou dans le code de gestion des erreurs.
\nSelon Greg, la plupart des erreurs dans le noyau proviennent de d\u00e9tails similaires qui s'accumulent avec le temps et se manifestent sous forme de vuln\u00e9rabilit\u00e9s. Dans Rust, de nombreux probl\u00e8mes de ce type sont \u00e9vit\u00e9s par le compilateur ; par exemple, les abstractions Rust pour les verrouillages dans le noyau permettent d'acc\u00e9der \u00e0 des pointeurs internes aux structures uniquement apr\u00e8s avoir acquis le verrouillage correspondant, qui est lib\u00e9r\u00e9 automatiquement. Sans acquisition de verrou, l'acc\u00e8s aux pointeurs de structures en Rust n'est pas possible. <\/p>\n
Greg estime que de telles capacit\u00e9s de Rust auraient emp\u00each\u00e9 l'apparition de 60 % des erreurs d\u00e9tect\u00e9es dans le noyau, et les v\u00e9rifications effectu\u00e9es par le compilateur auraient \u00e9vit\u00e9 aux mainteneurs de perdre du temps \u00e0 discuter avec les auteurs de la validit\u00e9 de la gestion des erreurs et de la n\u00e9cessit\u00e9 des verrouillages \u00e0 des endroits sp\u00e9cifiques. De plus, l'int\u00e9gration du soutien de Rust a d\u00e9j\u00e0 eu un impact b\u00e9n\u00e9fique sur le code C dans le noyau, en mettant de l'ordre dans le code C et les interfaces, ainsi qu'en empruntant certaines techniques de d\u00e9veloppement (par exemple, des verrouillages \u00e0 port\u00e9e limit\u00e9e ont \u00e9t\u00e9 mis en \u0153uvre).<\/p>\n
Gr\u00e2ce \u00e0 un syst\u00e8me de types qui garantit le respect des r\u00e8gles d\u00e9finies et \u00e0 l'application de syst\u00e8mes d'int\u00e9gration continue v\u00e9rifiant le code lors de la compilation, les examinateurs des changements en Rust peuvent se concentrer sur la v\u00e9rification de la logique de fonctionnement plut\u00f4t que de suivre les manipulations des ressources. L'utilisation de Rust permet \u00e9galement de pr\u00eater plus attention aux donn\u00e9es provenant du mat\u00e9riel ou de syst\u00e8mes externes. Cela est r\u00e9alis\u00e9 gr\u00e2ce \u00e0 la distinction explicite entre les donn\u00e9es dignes de confiance et celles qui ne le sont pas au niveau du syst\u00e8me de types : le d\u00e9veloppeur n'a qu'\u00e0 effectuer une analyse lors du passage d'un \u00e9tat non s\u00fbr \u00e0 un \u00e9tat s\u00fbr.<\/p>\n
R\u00e9cemment, l'\u00e9quipe responsable de la s\u00e9curit\u00e9 du noyau publie environ 13 rapports sur les vuln\u00e9rabilit\u00e9s par jour, ce qui, par rapport \u00e0 la dynamique pr\u00e9c\u00e9dente de d\u00e9tection des vuln\u00e9rabilit\u00e9s, semble totalement fou (pour donner un exemple, hier, 277 rapports sur les vuln\u00e9rabilit\u00e9s du noyau ont \u00e9t\u00e9 publi\u00e9s). Selon Greg, l'utilisation de Rust est l'un des moyens r\u00e9els de r\u00e9duire le nombre d'erreurs dans le noyau, caus\u00e9es par les erreurs traditionnelles de gestion des erreurs et des ressources. Dans le noyau, le support de Rust a d\u00e9j\u00e0 d\u00e9pass\u00e9 le cadre exp\u00e9rimental et a \u00e9t\u00e9 reconnu comme une fonctionnalit\u00e9 standard \u00e0 la fin de l'ann\u00e9e derni\u00e8re. <\/p>\n
![\"Lire](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n