学术认可与行业地位 - 星绽开源操作系统关于高可扩展内存管理的研究论文荣获SOSP 2025最佳论文奖 该会议共收到368篇投稿 录用66篇 最佳论文奖仅设三席 [1] - SOSP会议始于1967年 与OSDI并称为操作系统和系统软件领域最高水平 最权威 最具影响力的顶级会议 被视为计算机系统领域的"奥运会" [3] - 除SOSP外 星绽另有兩篇论文被顶级会议USENIX ATC 2025录用 并在GitHub平台获得逾3600颗Star 登上HackerNews等国外主流技术社区头条 [5] 技术架构与核心创新 - 星绽OS内核采用首创的框内核架构和Rust编程语言 支持x86和RISC-V等CPU体系架构 兼容Linux内核 旨在安全性和性能上大幅领先现有主流OS [1] - 获奖论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》提出单层抽象系统架构 摒弃独立的软件抽象层 使应用能直接与硬件强化接口交互 [4] - CortenMM通过消除软件层同步开销 在真实应用场景下性能最高可达Linux的26倍 并利用Rust语言安全特性及形式化验证工具Verus 证明了核心并发代码的正确性 [4] 项目背景与产业影响 - 星绽由中关村实验室 蚂蚁集团 北京大学 南方科技大学等机构联合发起 于2024年10月22日向全球开发者开源 项目包括星绽OS和星绽机密计算两大项目 [1] - SOSP/OSDI深受全球科技公司重视 Google Microsoft Meta Amazon Apple等会派遣核心研发人员参会投稿 是衡量系统领域研究是否处于世界领先水平的关键标尺 [3] - 星绽项目在2025年OS2ATC大会获得"最具影响力开源创新贡献奖" [6]