全球计算机系统领域“奥运会”SOSP公布最佳论文 “星绽”OS入选

---

近日，全球计算机系统领域备受瞩目的顶级学术会议sosp 2025揭晓奖项名单，“星绽”开源操作系统在高可扩展内存管理方向的研究成果荣膺本届最佳论文奖（best paper award）。本次大会共收到来自世界各地的投稿368篇，最终仅录用66篇，而最佳论文奖名额仅有三个。此次获奖，标志着“星绽”os在攻克操作系统“性能与安全并重”这一长期挑战方面取得的重要突破，获得了国际权威学术界的广泛认可。

“星绽”（Asterinas）是由中关村实验室、蚂蚁集团、北京大学、南方科技大学等多家单位联合发起，并于2025年10月22日正式面向全球开发者开源的底层安全可信系统软件栈项目。该系统涵盖两大核心组成部分：星绽OS与星绽机密计算。其中，星绽OS内核作为下一代具备工业级强度的通用开源操作系统内核，在性能和安全性之间实现了创新平衡。其采用原创的框内核架构，并全面使用新兴的Rust编程语言开发，支持x86及RISC-V等多种CPU架构，不仅兼容Linux生态，更在安全保障能力上有望实现对Linux及其他主流操作系统的超越。

SOSP始创于1967年，与其姊妹会议OSDI共同被视为全球操作系统与系统软件领域的最高水平会议，素有“计算机系统领域的奥运会”之称。该会议汇聚了全球顶尖高校、科研机构以及科技巨头的关注与参与，Google、Microsoft、Meta、Amazon、Apple等公司均会派遣核心技术人员参会、发表研究成果。许多后来深刻影响工业界的重大技术项目，其奠基性论文皆首发于SOSP或OSDI。如今，能否在SOSP/OSDI上发表成果已成为衡量一个团队或机构是否处于系统研究前沿的关键指标，也是孕育革命性计算技术的重要土壤。

长期以来，现代内存管理系统始终面临两大难题：性能瓶颈与并发安全风险。本次获奖论文《CortenMM: Efficient Memory Management with Strong Correctness Guarantees》深入阐述了星绽操作系统在该领域的突破性进展。该研究由北京大学、中关村实验室、蚂蚁集团、CertiK公司、加州大学洛杉矶分校以及密歇根理工大学等多方协作完成。

论文指出，传统操作系统如Linux普遍采用“软件—硬件”双层抽象机制，虽提升了跨平台移植性，但带来了显著的同步开销，严重限制了多核处理器的性能发挥，同时隐藏的并发缺陷也构成潜在安全威胁。

N世界

一分钟搭建会展元宇宙

138 查看详情

研究团队通过分析发现，当前主流指令集架构——包括x86、ARM和RISC-V——在内存管理单元（MMU）设计层面已逐步趋同。这意味着过去为屏蔽硬件差异而设置的中间软件抽象层，已不再具有必要性。基于这一洞察，星绽团队提出的CortenMM技术彻底摒弃了传统的独立软件层，构建出一种全新的“单层抽象”架构，使应用能够直接通过硬件增强型接口进行高效交互。

这种精简架构带来了显著的性能飞跃，同时也确保了系统的正确性。由于去除了软件层带来的额外同步负担，CortenMM展现出极高的运行效率，在真实工作负载下最高性能可达Linux系统的26倍。此外，研究团队创造性地引入统一事务化接口（Transactional Interface），充分利用Rust语言本身的安全机制，并结合先进的形式化验证工具Verus进行严格逻辑推导，成功证明了CortenMM核心并发模块的正确性，从根本上杜绝了复杂并发漏洞的可能性。

自2025年10月正式开源以来，“星绽”操作系统已连续取得多项重要进展。一年内，三篇相关研究论文被国际顶级会议收录：除本次SOSP 2025最佳论文外，另有两篇被USENIX ATC 2025同时接收。与此同时，星绽项目在GitHub上收获超过3600个Star，多次登上HackerNews、LWN.net等国际知名技术社区首页，并荣获2025年OS2ATC大会颁发的“最具影响力开源创新贡献奖”。

以上就是全球计算机系统领域“奥运会”SOSP公布最佳论文 “星绽”OS入选的详细内容，更多请关注其它相关文章！

# git  # linux  # 2345系统推广网站  # 排名搜不到关键词  # 衡阳视频营销推广多少钱  # 网站seo人工优化免费渠道  # 辅助推广营销技术指导工作  # 托育机构营销推广策略研究  # 网站建设方案包含哪些  # 营销推广论文有什么题目  # 营销网站建设 公司排名  # 广州市全网营销推广费用  # 重启  # 密歇根  # 多核  # 两大  # 带来了  # 中关村  # 这一  # 开源  # microso  # apple  # 栈  # 工具  # 编程语言  # app  # 处理器  # 操作系统  # 计算机  # github  # go 

相关栏目： 【 Google疑问12 】 【 Facebook疑问10 】 【 优化推广96088 】 【 技术知识133117 】 【 IDC资讯59369 】 【 网络运营7196 】 【 IT资讯61894 】

相关推荐： 构建AI绘画网站的方法：使用API接口和调用步骤  如何用户外电源给无人机实现持久续航  字节团队提出猞猁Lynx模型：多模态LLMs理解认知生成类榜单SoTA  映宇宙集团执行总编辑：元宇宙还是要以人为媒介  史玉柱谈AI：国内最缺是计算数学人才，曾给浙大数学系捐五千万  报告称 70% 程序员已使用各种 AI 工具编程  中国最强AI研究院的大模型为何迟到了  套娃不可取：研究人员证实用AI生成的结果训练AI将导致模型退化  猿辅导推出Motiff，整合三大AI功能，助力UI设计生产力革新  全场景智能车：智能无处不在｜芯驰亮相世界人工智能大会  爱设计PPT发布第二代AI一键生成PPT产品：智能、个性化、自动化  清华系面壁智能开源中文多模态大模型VisCPM ：支持对话文图双向生成，吟诗作画能力惊艳  剧透！蜜小豆@2025世界人工智能大会多个亮点曝光  复盘MWC上海：AI大模型时代到来 通信网络将会怎样改变？  金山办公宣布与英伟达团队合作，加速WPS AI服务  【澎湃原动力】人工智能产业协同创新中心：全产业链资源在这里汇聚  改变城市交通：智慧城市中的智能交通  你大脑中的画面，现在可以高清还原了  人工智能驱动艺术，打开达利的超现实想象  报道称亚马逊正在测试AI生成产品评价摘要  英国前首相：AI可能被用来制造“生物恐怖武器”  第四范式“式说”大模型入选《2025年通用人工智能创新应用案例集》  IBM 与 NASA 携手开源地理空间 AI 模型，促进气候科学研究进步  讯飞星火大模型实现升级 助力通用人工智能人才培养  小米发布CyberDog2 - 他们的第二代仿生四足机器人展示  吴恩达、Hinton最新对话！AI不是随机鹦鹉，共识胜过一切，LeCun双手赞成  13万个注释神经元，5300万个突触，普林斯顿大学等发布首个完整「成年果蝇」大脑连接组  朱民：普通人炒股炒不过机器人是很正常的 AI已经能理解市场情绪  家电行业观察：AI加持下，全屋智能将成为智能家电未来？  华为联合合作伙伴 共同发布昇腾AI大模型训推一体化解决方案  美图吴欣鸿：希望更多人用上AI时代的影像生产力工具  如何对员工进行再培训以充分利用供应链管理中的人工智能创新  新闻传闻：迪士尼可能采用人工智能来控制电影制作成本  鹅厂机器狗抢起真狗「饭碗」！会撒欢儿做游戏，遛人也贼6  360°/180°双模式，佳能公布可折叠小体积的VR全景相机  如布科技发布新产品AI口袋学习机S12  人工智能产业竞跑“未来赛道” 创新发展放大“赋能”效应  OpenAI 已全面开放 GPT-3.5 Turbo、DALL-E 及 Whisper API  特斯拉机器人面世 未来将大幅提振磁材需求，引领人工智能时代  电力人工智能数据集目录首次发布  世界人工智能大会中西部县域数字就业中心组团亮相  Snap宣布研发出新技术 可大幅提升AI生成图像速度  「电子果蝇」惊动马斯克！背后是13万神经元全脑图谱，可在电脑上运行  Zoom远程会议应用：AI培训需经用户授权  讯飞听见会写“会议摘要”功能全面升级，AI更懂你的关注点  插画师对AI绘画软件的态度是怎样的？  70年前他本想逃避考试，却影响了整个互联网  【|直播|预告】人工智能高峰论坛将于7月2日13:30准时开播！  衡水市冀州中学机器人社团在世界机器人大赛中斩获佳绩  AI技术改变*，新骗局来袭，*成功率接近100% 

 2025-10-16