从安全内核到可用系统:星绽NixOS发行版发布,加速OS行业向Rust迁移
创始人
2026-01-20 18:22:27

环球网

近日,星绽(Asterinas)开源社区发布星绽NixOS,成为业界首个搭载纯Rust操作系统(OS)内核的发行版。星绽NixOS成功整合了纯Rust内核(星绽)与Linux的成熟软件包生态(NixOS),使星绽从“内核项目”迈向“可用系统”,加速OS行业向原生“内存安全”的转型升级。

近年来,Rust这一编程语言在操作系统和系统软件开发领域快速崛起,其优势在于运行效率与C/C++相当,又在很大程度上规避了后者因内存不安全容易导致安全漏洞的顽疾。微软近日宣布在2030年结束前将核心代码库全面迁移至Rust语言,Linux、Android等主流OS也纷纷引入Rust;同时,Occlum、RedLeaf、Theseus、Tock、蓝河内核涌现,这些纯Rust编写的OS内核成为全球OS领域的一股新兴力量。

星绽是一款兼容Linux的开源通用OS内核,其技术路线是基于新兴的Rust语言,以及业界首创的“框内核(framekernel)”OS架构,相比于传统OS内核,具备兼顾高性能和高安全的优势。星绽开源社区聚集了中关村实验室、北京通明湖信息技术应用创新中心(简称“通明湖中心”)、蚂蚁集团、英特尔公司、北京大学、复旦大学、南方科技大学等众多一流“产学研”单位携手共建,并形成运作良好、富有成效的开源协作网络。

“在一众开源Rust OS内核中,星绽的定位是独特的:它是一款按工业级强度打造的通用内核,目标是推动Linux的‘世代交替’,让OS内核最终实现100%内存安全。”星绽项目发起人和维护者、蚂蚁技术研究院高级研究员田洪亮表示,“社区已经连续研发三年多,累计贡献13万行Rust代码,支持230余项Linux系统调用。这个目标不会一蹴而就,但星绽NixOS的发布意味着我们跨过了重要里程碑——星绽终于能够支撑一个发行版的用户空间,进入可安装、可体验、可验证的新阶段。”

NixOS是基于Nix包管理器构建的Linux发行版,其在Linux内核之上整合了完整的用户空间、系统配置与软件生态,将底层内核能力转化为可直接部署和使用的OS产品。而星绽NixOS中,内存安全性不足的Linux内核被替换为了原生内存安全的星绽内核。

星绽NixOS继承了NixOS的一大优势——“系统状态稳定复刻”。星绽NixOS支持开发者只需写出软件、服务及配置的需求,系统就能按要求自动构建,并实现同一份需求在不同机器、不同时间重复执行,得到的结果高度一致,且系统每个建设步骤均可追溯、可复查,从而显著降低发行版在集成、测试和交付时的偶发问题与不确定性。

更重要的是,星绽NixOS融合了该老牌Linux系统丰富的软件生态——NixOS拥有超过12万的软件包与选项,为桌面和服务器等场景提供成熟生态底座。由此,星绽NixOS避免了从零开始的软件包生态搭建过程,把星绽内核快速带入到一个可安装体验的成熟系统形态。而让更多真实应用与服务更早地跑起来,也有助于在真实、可对比的实践环境中对星绽的Linux兼容性与工程成熟度进行迭代,并以此加速促进社区共建。

“今天的热点不再是‘有没有Rust内核’,而是‘Rust内核能否以发行版形态进入真实应用负载并可对标评估’。”北京大学讲席教授、通明湖中心主任谢涛指出,“原生内存安全已成为国际业界的明确趋势。星绽NixOS通过复用NixOS生态,让星绽在桌面和服务器等场景中夺得先机去建立可复现、可比较的基线,让星绽走在了内存安全内核工程化的最前沿。”

在最新发布的星绽0.17.0版本中,星绽NixOS已经可以初步满足桌面和服务器环境的核心用户需求,包括软件包安装(即Nix)、桌面环境(如XFCE)以及容器运行时(如Podman)。据了解,蚂蚁密算计划于2026年,将星绽这一安全可信内核实际部署在机密计算和可信数据空间等场景,为安全攸关的应用保驾护航。

星绽项目2024年开源以来,在GitHub平台累计获得超过4000颗Star,被HackerNews和LWN.net等国际主流技术媒体报道,引发开发者持续关注,相关创新成果在ATC'25、SOSP'25、ICSE'26、FAST'26等国际顶级学术会议录用,并斩获SOSP'25最佳论文奖。(勃潺)

⚠️
本网站信息内容及素材来源于网络采集或用户发布,如涉及侵权,请及时联系我们,发送链接至2697952338@QQ.COM,我们将第一时间进行核实与删除处理。

相关内容

热门资讯

云南约牛证券夸大荐股实力!说交... 云南约牛证券夸大荐股实力!说交费后跟赚,结果却事与愿违!投顾服务费被骗真相曝光!全是套路投资有风险,...
策牛深圳科技内部票是真的吗? ... 策牛深圳科技内部票是真的吗? 有法可依维权可退!退款流程公布!被骗交费已退投资有风险,投资需谨慎!针...
云南约牛软件股靠谱吗交钱前“涨... 云南约牛软件股靠谱吗交钱前“涨停板”,交钱后“跌停板”,退费全过程分享!投资有风险,投资需谨慎!针对...
海能投资误导性宣传、承诺收益、... 海能投资误导性宣传、承诺收益、无证投顾提供服务,交费股民赶紧申请退费!投资有风险,投资需谨慎!针对网...
云南约牛证券服务费能退吗,肯定... 云南约牛证券服务费能退吗,肯定能退,频频亏损真相揭露,,已维权挽回损失!投资有风险,投资需谨慎!针对...
海能投资虚假宣传骗取股民信任,... 海能投资虚假宣传骗取股民信任,夸大宣传与实际不符,还亏钱!投资有风险,投资需谨慎!针对网上素未谋面的...
海能投资投顾正规吗?维权可以退... 海能投资投顾正规吗?维权可以退,股民速看退费流程!投资有风险,投资需谨慎!针对网上素未谋面的网友、网...
广东博众投资可靠吗荐股不赚反亏... 广东博众投资可靠吗荐股不赚反亏欺骗股友!可以能退!怎么退款流程及注意事项公布!误导性宣传欺骗股民已退...
北京和众汇富科技服务费怎么退?... 北京和众汇富科技服务费怎么退?误导费!揭穿投顾乱象,拿回属于你的钱投资有风险,投资需谨慎!针对网上素...
容维证券量化指标可信吗?荐股真... 容维证券量化指标可信吗?荐股真的稳赚吗?背后黑幕曝光!已有人成功退费!投资有风险,投资需谨慎!针对网...
海能投资投顾服务不靠谱?可退费... 海能投资投顾服务不靠谱?可退费!夸大宣传诱导股民,真实情况大公开!投资有风险,投资需谨慎!针对网上素...
云南约牛软件怎么样服务不行退费... 云南约牛软件怎么样服务不行退费被拒,实战攻略帮你要回钱!投资有风险,投资需谨慎!针对网上素未谋面的网...
上海海能证券是正规公司吗被坑害... 上海海能证券是正规公司吗被坑害后如何追回损失?退费指南来了,退费流程公布及注意事项讲述!投资有风险,...
海能投资公司坑了服务费咋整?别... 海能投资公司坑了服务费咋整?别慌,维权退费指南来了!投资有风险,投资需谨慎!针对网上素未谋面的网友、...
容维证券服务费怎么退?误导费!... 容维证券服务费怎么退?误导费!揭穿投顾乱象,拿回属于你的血汗钱投资有风险,投资需谨慎!针对网上素未谋...
源达投顾推荐的股票可靠吗层层升... 源达投顾推荐的股票可靠吗层层升级引诱缴费亏损不止!误导性宣传欺骗股友服务费!被骗交费已退投资有风险,...
广东博众投资推荐股票不会亏吗?... 广东博众投资推荐股票不会亏吗?误导性宣传坑惨股友真相曝光!退费流程公布!被骗交费已退投资有风险,投资...
海能投资推荐的股票是吗,大量投... 海能投资推荐的股票是吗,大量投资者被骗,承诺收益!,一步教你快速退款投资有风险,投资需谨慎!针对网上...
上海海能证券推荐的股票怎么样?... 上海海能证券推荐的股票怎么样?答案:可以能退!霸王条款虚假误导宣传服务费可退,流程公布!投资有风险,...
山东神光量化指标可信吗?荐股真... 山东神光量化指标可信吗?荐股真的稳赚吗?背后黑幕曝光!已有人成功退费!投资有风险,投资需谨慎!针对网...
广东博众智能科技没效果是可以退... 广东博众智能科技没效果是可以退的,投顾虚假宣传揭秘!被骗亏损真相曝光可退费投资有风险,投资需谨慎!针...
海能投顾夸大荐股实力!天天发大... 海能投顾夸大荐股实力!天天发大涨截图!结果交费买进去就完全不一样!退费流程我来告诉你!一分钟就能看懂...
北京和众汇富科技股票会员服务费... 北京和众汇富科技股票会员服务费怎么退?遭遇,这样做就能成功!投资有风险,投资需谨慎!针对网上素未谋面...
河北源达荐股真的赚钱吗?层层升... 河北源达荐股真的赚钱吗?层层升级诱骗交费,频频亏损真相曝光,98000已退费!投资有风险,投资需谨慎...
源达投顾咨询服务费是真的吗?背... 源达投顾咨询服务费是真的吗?背后真相曝光,真相难以相信,维权已追回投资有风险,投资需谨慎!针对网上素...