Asterinas: Um kernel Linux compatível com Rust que desafia designs tradicionais

Pesquisadores da Universidade do Sul de Ciência e Tecnologia (SUSTech), na China, desenvolveram o Asterinas, um novo kernel Linux escrito em Rust usando uma arquitetura "framekernel". Essa arquitetura combina as vantagens de kernels monolíticos e microkernels, encapsulando código Rust inseguro dentro de uma biblioteca, enquanto os demais serviços do kernel usam abstrações seguras. Isso melhora a segurança do kernel, mantendo o alto desempenho dos kernels monolíticos. O Asterinas visa um sistema com um TCB pequeno e formalmente verificável, compatibilidade com ABI do Linux e uma arquitetura de memória compartilhada simples. Atualmente com suporte para x86 e RISC-V, o Asterinas está em desenvolvimento ativo, com planos futuros para expandir o suporte a arquiteturas e aplicações em computação em nuvem.