Greg Kroah-Hartman, responsable del soporte de las ramas estables y \u00abstaging\u00bb del n\u00facleo de Linux y mantenedor principal de 16 subsistemas del n\u00facleo, present\u00f3 una charla en la conferencia Rust Week 2026, en la que explic\u00f3 c\u00f3mo el lenguaje Rust puede ayudar a prevenir la aparici\u00f3n de vulnerabilidades en el n\u00facleo causadas por errores comunes de los desarrolladores en C relacionados con la gesti\u00f3n de memoria, bloqueos, manejo de errores y manipulaci\u00f3n de datos no confiables. Se destaca como principal ventaja de Rust su capacidad para identificar tales errores en la etapa de compilaci\u00f3n, en lugar de durante la revisi\u00f3n del c\u00f3digo por humanos. Sin embargo, Rust no se considera una panacea que pueda eliminar todos los problemas, y no se planea reescribir el n\u00facleo en Rust: se espera una implementaci\u00f3n gradual de Rust a trav\u00e9s de su uso en nuevos controladores y subsistemas.<\/p>\n
Como ejemplo de errores en el n\u00facleo que se podr\u00edan haber evitado con el uso de Rust, se mencionan un error en la subsistema de Bluetooth, que permaneci\u00f3 sin ser detectado durante 15 a\u00f1os, y un problema en el hipervisor Xen. En el primer caso, el desarrollador realiz\u00f3 una desreferenciaci\u00f3n de un puntero sin verificar, y en el segundo se olvid\u00f3 de liberar un bloqueo en el c\u00f3digo de manejo de errores.
\nSeg\u00fan Greg, la mayor\u00eda de los errores en el n\u00facleo son causados por tales descuidos que se acumulan con el tiempo y se manifiestan como vulnerabilidades. En Rust, muchos de estos problemas son prevenidos por el compilador; por ejemplo, las abstracciones de Rust para bloqueos en el n\u00facleo permiten el acceso a punteros internos de estructuras solo despu\u00e9s de que se ha adquirido el bloqueo correspondiente, el cual se libera autom\u00e1ticamente. Sin adquirir el bloqueo, no se puede acceder a punteros de estructuras en Rust. <\/p>\n
Greg cree que tales capacidades de Rust habr\u00edan evitado el 60% de los errores detectados en el n\u00facleo, y que las verificaciones realizadas por el compilador habr\u00edan liberado a los mantenedores del gasto de tiempo en discutir con los autores sobre la correcci\u00f3n en el manejo de errores y la justificaci\u00f3n del establecimiento de bloqueos en los lugares adecuados. Adem\u00e1s, la implementaci\u00f3n del soporte para Rust ya ha tenido un impacto positivo en el c\u00f3digo en C del n\u00facleo gracias a la mejora del c\u00f3digo en C y las interfaces, as\u00ed como la adopci\u00f3n de algunas t\u00e9cnicas de desarrollo (por ejemplo, se implementaron bloqueos con \u00e1mbito limitado).<\/p>\n
Gracias al sistema de tipos que garantiza el cumplimiento de las reglas establecidas y al uso de sistemas de integraci\u00f3n continua que verifican el c\u00f3digo durante la fase de compilaci\u00f3n, al revisar cambios en Rust, los revisores pueden centrarse en la l\u00f3gica del funcionamiento en lugar de rastrear manipulaciones de recursos. La aplicaci\u00f3n de Rust tambi\u00e9n permite prestar m\u00e1s atenci\u00f3n a los datos que provienen del hardware o de sistemas externos. Esto se logra gracias a la clara distinci\u00f3n entre los datos dignos y no dignos de confianza a nivel del sistema de tipos: el desarrollador solo necesita realizar un an\u00e1lisis al pasar de un estado no confiable a uno confiable.<\/p>\n
En tiempos recientes, el equipo responsable de la seguridad en el n\u00facleo publica aproximadamente 13 informes de vulnerabilidades al d\u00eda, lo que, en comparaci\u00f3n con la din\u00e1mica anterior de detecci\u00f3n de vulnerabilidades, se percibe como una locura (por ejemplo, ayer se publicaron 277 informes de vulnerabilidades en el n\u00facleo). Seg\u00fan Greg, el uso de Rust es una de las formas reales de reducir el n\u00famero de errores en el n\u00facleo, provocados por errores tradicionales en el manejo de errores y la gesti\u00f3n de recursos. El soporte de Rust en el n\u00facleo ya ha superado el \u00e1mbito experimental y a finales del a\u00f1o pasado fue reconocido como una caracter\u00edstica oficial del n\u00facleo. <\/p>\n
![\"Reproducir](\"https:\/\/img.youtube.com\/vi\/0vhGWclF7LU\/hqdefault.jpg\")
\r\n