NixOS新版发布:从安全内核到可用系统加速Rust迁移
近日,星绽开源社区正式推出了基于NixOS的发行版,成为业界首个搭载纯Rust操作系统内核的完整发行版。星绽NixOS成功地将纯Rust内核与Linux成熟的软件包生态相结合,使得星绽从一个“内核项目”迈向了“可用系统”的新阶段,加速操作系统行业向原生“内存安全”的转型升级。
近年来,Rust语言在系统和内核开发领域迅速崛起,其优势在于运行时性能与C/C++相当,同时又从语言层面避免了后者因内存不安全导致的诸多安全漏洞痼疾。微软近期宣布,计划在2030年前将核心代码库全面迁移至Rust;Linux、Android等主流操作系统也纷纷引入对其的支持。与此同时,Occlum、RedLeaf、Theseus、Tock以及蓝河内核等一批完全由Rust编写的操作系统内核不断涌现,成为全球OS领域一股新兴的技术力量。
星绽本身是一款兼容Linux的通用操作系统内核,其技术路线基于新兴的Rust语言以及业界首创的“框架内核”操作系统架构。相比传统的内核设计,星绽在架构层面更易于兼顾高性能与高安全性。星绽开源社区汇聚了来自中关村实验室、北京通明湖信息技术应用创新中心、蚂蚁集团、英特尔公司,以及北京大学、复旦大学、南方科技大学等多家一流产学研单位的开发者,共同构建并形成了一个运作良好、富有成效的开源协作网络。
“在众多开源Rust OS内核中,星绽的定位是独特的:它是一款按照工业级强度打造的通用内核,目标是成为Linux的‘世代交替’者,最终实现操作系统内核的100%内存安全。” 星绽项目发起人和核心维护者、蚂蚁技术研究院高级研究员田洪亮表示,“社区已经持续研发三年多,累计贡献了13万行Rust代码,支持超过230项Linux系统调用。这个目标不会一蹴而就,但星绽NixOS的发布意味着我们跨越了重要的里程碑——星绽终于能够支撑一个发行版的用户空间,进入到可安装、可体验、可验证的新阶段。”
NixOS是基于Nix包管理器构建的Linux发行版,它在Linux内核之上整合了完整的用户空间、系统配置与软件生态,将底层内核能力转化为可直接部署和使用的操作系统产品。而在星绽-NixOS中,内存安全性不足的Linux内核被替换为原生内存安全的星绽内核。
星绽NixOS继承了NixOS的一大核心优势——高度的“系统状态稳定可复制性”。它支持开发者只需定义好软件、服务及配置的需求,系统便能按要求自动构建,并实现同一份需求在不同机器、不同时间重复执行,得到高度一致的结果。系统的每个构建步骤均可追溯、可复查,从而显著降低了发行版在集成、测试和交付时面临的偶发问题与不确定性。
更重要的是,星绽NixOS融合了这一老牌Linux系统丰富的软件生态——NixOS拥有超过12万个软件包与选项,为桌面和服务器等场景提供了成熟的生态底座。由此,星绽NixOS避免了从零开始的软件包生态搭建过程,快速将星绽内核带入到一个可安装体验的成熟系统形态中。这能让更多真实应用与服务更早地运行起来,也有助于在真实、可对比的实践环境中,对星绽的Linux兼容性与工程成熟度进行迭代验证,并以此加速促进社区共建。
“今天的热点不再是‘有没有Rust内核’,而是‘Rust内核能否以发行版形态进入真实应用负载并可对标评估’。” 北京大学讲席教授、通明湖创新中心主任谢涛指出,“原生内存安全已成为国际业界的明确趋势。星绽NixOS通过复用NixOS生态,让星绽在桌面和服务器等场景中夺得先机,去建立可复现、可比较的基线,让星绽走在了内存安全内核工程化的最前沿。”
在最新发布的星绽0.17.0版本中,星绽NixOS已经可以初步满足桌面和服务器环境的核心用户需求,包括软件包安装、桌面环境以及容器运行时等。据了解,蚂蚁密算计划于2026年,将星绽这一安全可信的内核实际部署在机密计算和可信数据空间等场景,为安全关键的应用保驾护航。
星绽项目自2024年开源以来,在GitHub平台累计获得超过4000颗Star,被HackerNews和LWN.net等国际主流技术媒体报道,引发开发者持续关注,相关创新成果在ATC‘25、SOSP‘25、ICSE‘26、FAST‘26等国际顶级学术会议录用,并斩获SOSP‘25最佳论文奖。
热门专题
热门推荐
过去24小时全球主要交易所比特币流向分化明显,整体净流出5740 82枚。其中CoinbasePro流出约5457枚,币安、Gemini分别流出1023枚和504枚;而OKX则逆势录得约530枚净流入。
《魔力宝贝》中“狗洞”即“奇怪的洞窟”,位于亚留特村西南方向黄色传送石处,是12至20级玩家高效练级地点。前往路线为:从法兰城至伊尔村,向北进入哈巴鲁东边洞窟击败“熊男”,穿越后抵达亚留特村,再向西南探索即可找到入口。洞内怪物等级较高,建议携带“风地”属性水晶提升生存能力。
时隔七年,贾跃亭以CEO身份重掌法拉第未来(FF)帅印,并成功为公司注入了关键的发展动力。近期,FF累计完成了高达7000万美元的机构融资。这笔至关重要的资金,被贾跃亭定位为驱动公司机器人业务实现第一阶段战略目标的“核心粮草”。 随着资金与团队就位,贾跃亭的信心显著增强。他公开立下目标:将用两年时间
任务需修复两条水道。首先跟随指引找到NPC并进入幻境,使用号角对准壁画激活飞鸟幻影,触碰并跟随其路径即可修复第一条水道。第二条水道位于洞xue内,跟随萤火虫找到入口,重复使用号角并借助弹跳水母到达高处,跟随飞鸟完成修复。完成后可获得奖励并推进剧情。





