近日，奥运会被誉为全球计算机系统领域“奥运会”的全球顶级学术会议SOSP 2025公布奖项评选结果，“星绽”开源操作系统在高可扩展内存管理方面的计算机系佳论研究论文，斩获今年的统领最佳论文奖（Best Paper Award）。据悉，布最本届SOSP会议共收到368篇投稿，文星最终录用66篇，奥运会其中最佳论文奖仅设三席。全球这标志着星绽OS在破解操作系统“性能与安全兼顾”这一难题上的计算机系佳论探索，获得了国际学术界的统领认可。

“星绽”（Asterinas）是布最由中关村实验室、蚂蚁集团、文星北京大学、奥运会南方科技大学等机构联合发起，全球并在2024年10月22日向全球开发者开源，计算机系佳论聚焦于安全可信底层技术的开源系统软件栈。星绽系统软件栈包括星绽OS、星绽机密计算两大项目，其中星绽OS内核作为下一代工业强度的开源通用OS内核，兼顾性能和安全，采用首创的框内核架构和新兴的Rust编程语言，支持x86和RISC-V等CPU体系架构，不仅兼容Linux内核，还在安全性方面有望大幅领先于Linux和其他现有主流OS。

据悉，SOSP始于1967年，与它的姊妹会议OSDI 一起，被全球学术界和工业界公认为操作系统和系统软件领域最高水平、最权威、最具影响力的顶级会议，被称为计算机系统领域的“奥运会”。SOSP/OSDI也深受全球科技公司的重视，Google、Microsoft、Meta、Amazon、Apple等科技公司会派遣核心研发人员参会、投稿及做报告等。许多在工业界产生巨大影响的项目，其核心论文都发表在SOSP/OSDI上。目前，SOSP/OSDI已经成为衡量一个研究机构或团队在系统领域是否处于世界领先水平的关键标尺，是孕育颠覆性计算技术的摇篮。

现代内存管理系统长期存在的两大痛点：性能瓶颈与并发安全。本次获奖论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》，阐释了星绽操作系统的独创技术CortenMM在这一领域的探索。该文由北京大学、中关村实验室、蚂蚁集团、CertiK公司、加州大学洛杉矶分校、密歇根理工大学等共同合作完成。

论文提出，传统操作系统如Linux普遍采用“软件—硬件”两级抽象设计，好处是在很大程度上保证了操作系统在不同硬件平台之间的可移植性，但显著的同步开销严重制约多核处理器的性能发挥，而潜在的并发漏洞则带来安全风险。

研究团队发现，x86、ARM和RISC-V等几种主流指令集架构在其内存管理单元（MMU）的设计上已经趋于统一，因此过去为屏蔽硬件差异而存在的软件抽象层已不再是必需品。基于这一关键判断，星绽创新成果CortenMM摒弃了独立的软件抽象层，实现了一种“单层抽象”的全新系统架构，使应用程序能直接与经过硬件强化的接口进行交互。

CortenMM的简化设计带来了显著的性能提升，其同步正确性也得到了研究验证。通过消除软件层的额外同步开销，CortenMM的性能得到释放，在真实应用场景下，性能最高可达Linux的26倍。通过创新性地引入统一的事务化接口（Transactional Interface），利用Rust语言自身的安全特性，并结合先进的形式化验证工具（Verus）进行严格推演，研究团队成功证明了CortenMM核心并发代码的正确性，从根本上杜绝了复杂的并发漏洞。

2024年10月，“星绽”对外发布并向全球开发者开源。一年来，星绽开源操作系统三篇论文被顶会收录，除了CortenMM的研究论文入选SOSP 2025外，星绽两篇论文被顶级会议USENIX ATC 2025同时录用。此外，星绽在GitHub平台斩获逾3600颗Star，并登上HackerNews和LWN.net等国外主流技术社区头条，获2025年OS2ATC大会“最具影响力开源创新贡献奖。

• ·夏天来了，你们都离不开它！爆果忍着汽水需求旺盛，代理不断！
• ·《赌博默示录：人生复仇游戏》新卡司公布 明年1月上映
• ·恒威桂圆八宝粥，软糯香甜，真材实料，一口就是超满足！
• ·《渔力全开》正式推出好评如潮 多人合作疯狂钓鱼
• ·苹果iPhone 18 Pro系列难抢 已延迟3周发货
• ·席某某强奸上诉案及所涉婚约财产纠纷上诉案审判长答记者问
• ·亚洲食品展览会今日盛大开幕，鼎力食品精彩呈现，开启火爆招商！
• ·XGP7月下架游戏阵容公布：《十字军之王3》《蔚蓝》等8款
• ·31岁重疾险多少钱?31岁重疾险多少钱1年?
• ·中空玻璃有什么使用要点 中空玻璃价格怎么计算的,行业资讯
• ·年产50万吨玻璃微珠项目落户江苏东海！,行业资讯
• ·英伟达推出AI视频检测工具：逐帧识别合成内容 准确率最高达92%
• ·30万重疾险性价比高，重疾险保30万好还是50万好
• ·小米最强专业生产力平板9月发布 搭载玄戒O3处理器
• ·《东方神域传》在Steam发售 首发特惠43.2元
• ·休闲钓鱼游戏《渔力全开》再成黑马 2天100万让你释放嘉豪之力