Rust编写的Linux兼容内核Asterinas：挑战传统内核设计

来自中国南方科技大学的研究人员开发了一个名为Asterinas的新型Linux内核，它使用Rust语言并采用“framekernel”架构。该架构结合了单内核和微内核的优点，将需要使用Rust不安全特性的代码封装在一个库中，其余内核服务则使用安全抽象开发。这提高了内核安全性，同时保留了单内核的高性能。Asterinas的目标是创建一个具有小型可形式化验证的TCB的系统，同时具有Linux ABI兼容性和简单的共享内存架构。目前，Asterinas支持x86和RISC-V架构，并正在积极开发中，未来计划扩展对更多架构的支持，并将其应用于云计算领域。