在被誉为计算机系统领域“奥运会”的SOSP 2025会议上,星绽开源操作系统凭借其在高可扩展内存管理方面的突破性研究,从368篇投稿中脱颖而出,荣获最佳论文奖。本届会议仅有三篇论文获此殊荣,录用率仅为18%。
星绽操作系统由中关村实验室、蚂蚁集团、北京大学和南方科技大学等机构联合研发,于2024年10月正式开源。该系统采用创新的框内核架构和Rust编程语言,支持x86和RISC-V等多种CPU架构,在保持与Linux兼容的同时,显著提升了系统安全性。
获奖论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》揭示了星绽操作系统的核心技术突破。研究团队发现,传统操作系统为兼容不同硬件而设计的软件抽象层已成为性能瓶颈。基于对主流指令集架构趋同的判断,星绽创新性地采用“单层抽象”架构,让应用程序直接与硬件接口交互。
这一设计带来了显著性能提升。在实际应用场景中,CortenMM的性能最高可达Linux的26倍。通过结合Rust语言的安全特性和形式化验证工具,研究团队成功证明了核心并发代码的正确性,从根本上杜绝了复杂的并发漏洞。
自开源一年来,星绽操作系统已收获显著成果:三篇论文被顶级会议收录,GitHub平台获得超过3600颗Star,并登上多个国际技术社区头条。这些成就标志着中国在操作系统基础软件领域的创新实力已获得国际学术界认可。