国产开源操作系统“星绽”获SOSP最佳论文奖

星绽采用“框内核”架构，使用Rust语言开发，主要用于内存管理。目前vivo在使用这种语言开发自己的蓝河操作系统！

在全球368篇投稿中，仅三篇获此殊荣，其中之一来自中国团队——由中关村实验室、蚂蚁集团、北京大学、南方科技大学等机构联合研发的开源操作系统“星绽（Asterinas）”。

星绽创新性地提出了CortenMM，一种“单层抽象”的全新内存管理架构。它摒弃了冗余的软件层，消除了额外的同步开销，其结果是惊人的性能释放：评估结果显示，在真实应用场景中，CortenMM的性能提升最高达Linux的26倍。CortenMM还引入了创新的事务化接口来统一所有的MMU操作，并采用形式化验证工具证明了其核心代码的正确性。