【Rust日报】2025-06-14 蚂蚁星绽 Asterinas - 兼容 Linux ABI 的 Framekernel OS，具有最小 TCB
内容提要
Asterinas是一个基于Rust构建的Framekernel操作系统，兼容Linux ABI，具有小型TCB。它通过限制不安全代码实现内核内存安全，支持210多个Linux系统调用，兼容x86-64和RISC-V架构，未来计划扩展到更多平台。
关键要点
-
Asterinas是一个基于Rust构建的Framekernel操作系统，兼容Linux ABI，具有小型TCB。
-
通过限制不安全代码，Asterinas实现内核内存安全，核心是OSTD框架，包含约1.5万行代码。
-
Asterinas支持210多个Linux系统调用，兼容x86-64和RISC-V架构，未来计划扩展到更多平台。
-
Asterinas证明了用安全Rust构建操作系统内核是可行的，且不牺牲性能和功能。
-
Aurora DSQL是AWS开发的分布式无服务器SQL数据库，使用Rust提高性能和可扩展性。
-
GNOME项目中的glycin图像加载机制基于Rust和沙箱技术，提供更高安全性和格式支持。
-
lin-alg是一个用于通用和计算机图形的矩阵、向量和四元数运算库，支持CUDA和SIMD操作。
-
讨论中提到Tokio和async-await的优点，强调Rust的类型系统和异步编程的优势。
延伸解读
内核内存安全的重要性
Asterinas通过限制不安全代码来实现内核内存安全，这在当前操作系统开发中尤为重要。内核安全漏洞可能导致系统崩溃或数据泄露，因此采用Rust语言构建内核，能够有效降低这些风险。
兼容性与未来扩展
虽然Asterinas目前仅支持Linux，但其兼容Linux ABI的设计为未来扩展到其他平台奠定了基础。随着对不同架构的支持增加，Asterinas可能会吸引更多开发者和用户，推动其生态系统的发展。
小型TCB的优势
Asterinas的TCB仅包含约1.5万行代码，这使得其安全性和可维护性大大增强。小型TCB意味着更少的攻击面和更高的审计效率，对于希望实现高安全性的系统尤为重要。
延伸问答
Asterinas操作系统的主要特点是什么？
Asterinas是一个基于Rust构建的Framekernel操作系统，兼容Linux ABI，具有小型TCB，支持210多个Linux系统调用，兼容x86-64和RISC-V架构。
Asterinas如何实现内核内存安全？
Asterinas通过限制不安全代码在最小可信计算基础（TCB）内来实现内核内存安全，并通过严格的安全性审查和工具检测来消除内存安全漏洞。
Asterinas支持哪些架构？
Asterinas目前兼容x86-64和RISC-V架构，未来计划扩展到更多平台。
Asterinas的核心框架是什么？
Asterinas的核心是OSTD框架，包含约1.5万行代码，占整个内核的14%。
Asterinas在性能和功能上有什么优势？
Asterinas证明了用安全Rust构建操作系统内核是可行的，且在不牺牲性能和功能的前提下实现了内核内存安全。
Asterinas未来的发展计划是什么？
Asterinas未来计划扩展到更多平台，进一步提升其兼容性和功能。
