Asterinas: Un kernel Linux compatible con Rust que desafía los diseños tradicionales

Investigadores de la Universidad del Sur de Ciencia y Tecnología (SUSTech) en China han desarrollado Asterinas, un nuevo kernel de Linux escrito en Rust utilizando una arquitectura "framekernel". Esta arquitectura combina las ventajas de los kernels monolíticos y los microkernels, encapsulando el código Rust inseguro dentro de una biblioteca, mientras que el resto de los servicios del kernel utilizan abstracciones seguras. Esto mejora la seguridad del kernel manteniendo el alto rendimiento de los kernels monolíticos. Asterinas apunta a un sistema con un TCB pequeño y formalmente verificable, compatibilidad con ABI de Linux y una arquitectura de memoria compartida simple. Actualmente con soporte para x86 y RISC-V, Asterinas se encuentra en desarrollo activo, con planes futuros para ampliar el soporte de arquitecturas y aplicaciones en la computación en la nube.