Lors de la conférence Open-Source Summit 2022 qui se déroule ces jours-ci, dans la section questions/réponses, Linus Torvalds a évoqué la possibilité d'intégrer prochainement des composants dans le noyau Linux pour développer des pilotes de périphériques en langage Rust. Il est possible que les correctifs prenant en charge Rust soient acceptés dans la prochaine fenêtre d'acceptation des modifications, formant la composition du noyau 5.20, prévue pour fin septembre.
La demande d'inclusion de modifications dans le noyau n'a pas encore été envoyée à Torvalds, mais l'ensemble des correctifs a fait l'objet d'un examen supplémentaire, a été libéré des commentaires majeurs, a été testé dans la branche Linux-next pendant un certain temps et a été apporté à un état approprié pour créer des couches d'abstraction sur les sous-systèmes du noyau, écrire des pilotes et des modules. La prise en charge de Rust est présentée comme une option qui n'est pas activée par défaut et n'entraîne pas l'inclusion de Rust en tant que dépendance de construction requise pour le noyau.
Les modifications proposées permettent d'utiliser Rust comme deuxième langage pour développer des pilotes et des modules du noyau. L'utilisation de Rust pour le développement de pilotes vous permettra de créer des pilotes plus sûrs et de meilleure qualité avec un minimum d'effort, sans problèmes tels que l'accès à la mémoire après la libération, les déréférences de pointeurs nuls et les dépassements de tampon.
Une gestion sécurisée de la mémoire est assurée dans Rust au moment de la compilation grâce à la vérification des références, au suivi de la propriété des objets et de leur durée de vie (portée), ainsi qu'à l'évaluation de l'exactitude de l'accès à la mémoire pendant l'exécution du code. Rust offre également une protection contre les débordements d'entiers, nécessite l'initialisation obligatoire des valeurs des variables avant utilisation, gère mieux les erreurs dans la bibliothèque standard, applique le concept de références et de variables immuables par défaut, propose un typage statique fort pour minimiser les erreurs logiques.
Source: opennet.ru