En la conferencia Open-Source Summit 2022 que se desarrolla estos días, en la sección de preguntas y respuestas, Linus Torvalds mencionó la posibilidad de integrar próximamente componentes al kernel de Linux para desarrollar controladores de dispositivos en lenguaje Rust. Es posible que los parches con soporte Rust sean aceptados en la próxima ventana de aceptación de cambios, formando la composición del kernel 5.20, prevista para finales de septiembre.
La solicitud para incluir cambios en el kernel aún no se ha enviado a Torvalds, pero el conjunto de parches se ha sometido a revisiones adicionales, se ha liberado de comentarios importantes, se ha probado en la rama Linux-next durante bastante tiempo y se ha traído. a un estado adecuado para crear capas de abstracción sobre subsistemas del kernel, escribir controladores y módulos. La compatibilidad con Rust se presenta como una opción que no está habilitada de forma predeterminada y no da como resultado que Rust se incluya como una dependencia de compilación requerida para el kernel.
Los cambios propuestos permiten utilizar Rust como segundo lenguaje para desarrollar controladores y módulos del kernel. El uso de Rust para el desarrollo de controladores le permitirá crear controladores mejores y más seguros con un mínimo esfuerzo, sin problemas como el acceso a la memoria después de la liberación, desreferencias de punteros nulos y desbordamientos del búfer.
La seguridad de la memoria se proporciona en Rust en tiempo de compilación mediante la verificación de referencias, el seguimiento de la propiedad del objeto y la vida útil del objeto (alcance), así como mediante la evaluación de la corrección del acceso a la memoria durante la ejecución del código. Rust también brinda protección contra desbordamientos de enteros, requiere la inicialización obligatoria de los valores de las variables antes de su uso, maneja mejor los errores en la biblioteca estándar, aplica el concepto de referencias y variables inmutables de forma predeterminada, ofrece tipado estático fuerte para minimizar los errores lógicos.
Fuente: opennet.ru