En la conferencia Open-Source Summit 2022 que se lleva a cabo estos días, en la sección de preguntas y respuestas, Linus Torvalds mencionó la posibilidad de una pronta integración en el núcleo de Linux de componentes para el desarrollo de controladores de dispositivos en el lenguaje Rust. No se descarta que los parches con soporte para Rust sean aceptados en la próxima ventana de aceptación de cambios, que formará parte del núcleo 5.20, programado para finales de septiembre.
La solicitud para incluir cambios en el núcleo aún no ha sido enviada a Torvalds, pero el conjunto de parches ha pasado una revisión adicional, se ha liberado de las principales observaciones, se ha estado probando desde hace tiempo en la rama linux-next y se ha llevado a un estado adecuado para crear capas de abstracción sobre los subsistemas del núcleo, así como para la escritura de controladores y módulos. El soporte para Rust se presenta como una opción, no activa por defecto y que no lleva a incluir Rust entre las dependencias de construcción obligatorias del núcleo.
Los cambios propuestos permiten utilizar Rust como segundo lenguaje para el desarrollo de controladores y módulos del núcleo. El uso de Rust para desarrollar controladores permitirá crear controladores seguros y de mayor calidad con un mínimo esfuerzo, evitando problemas como acceder a áreas de memoria después de haber sido liberadas, desreferenciar punteros nulos y salir de los límites del búfer.
El manejo seguro de la memoria se garantiza en Rust durante la compilación a través de la verificación de referencias, el seguimiento de la propiedad de los objetos y la consideración del tiempo de vida de los objetos (áreas de visibilidad), 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 proporciona medios para proteger contra desbordamientos 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 inmutabilidad (immutable) de referencias y variables por defecto, y ofrece una fuerte tipificación estática para minimizar errores lógicos.
Fuente: opennet.ru
