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最佳论文奖。
游乐网为非赢利性网站,所展示的游戏/软件/文章内容均来自于互联网或第三方用户上传分享,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系youleyoucom@outlook.com。
同类文章
长城汽车出征2026环塔拉力赛 强势集结无畏挑战
5月16日,素有“东方达喀尔”之称的2026中国环塔国际拉力赛,在新疆乌鲁木齐正式拉开战幕。作为亚洲规模最大、难度最高的国际汽联A级长距离越野拉力赛,环塔向来是检验车辆极限性能与团队综合实力的终极考场。今年,长城汽车携四支厂商车队、十二组中外顶尖车手的豪华阵容强势出击,依托二十年深耕越野赛事的深厚技
张雪夺冠后呼吁尊重同行并计划为技师加薪
赛道上捷报频传,赛场外的格局与担当,更能彰显一个品牌的远见与价值。 5月17日,2026年世界超级摩托车锦标赛(WSBK)捷克站传来喜讯。在竞争白热化的WorldSSP组别首回合正赛中,张雪机车旗下实力车手瓦伦丁·德比斯成功登顶,为车队斩获本赛季第四座冠军奖杯。胜利的欢呼声中,创始人张雪在社交平台发
乐道L80新车上市发布,沈斐回应理想L9对比热议
5月16日晚,蔚来汽车集团旗下全新品牌——乐道汽车正式发布,其首款战略车型乐道L80同步上市。这款定位为中大型智能纯电SUV的新车,官方指导价格区间正式公布,为24 28万元至27 98万元,引发了市场广泛关注。 在发布会后的媒体专访环节,蔚来联合创始人兼总裁秦力洪与乐道汽车总裁沈斐共同出席。当被问
小鹏汽车预测2028年实现L4级自动驾驶
2026年5月15日,以“转折”为主题的2026轩辕汽车蓝皮书论坛在广州盛大开幕。论坛首日,小鹏集团董事长兼首席执行官何小鹏在主旨演讲中,对自动驾驶技术的发展前景给出了清晰的路线图:预计到2028年,实现L4级高度自动驾驶软件能力的可能性极高;而具备L5级完全自动驾驶雏形的系统,则有望在2030年前
工地柴油被盗位置偏僻无监控 民警巧用豆包抓获偷油贼
湖北潜江一工地400升柴油被盗,现场偏僻无监控。民警依据轮胎印测得1440毫米轮距,借助AI工具“豆包”快速锁定嫌疑车型为微型面包车。通过排查周边监控,发现一辆携带抽油工具的五菱宏光,最终抓获嫌疑人豆某,并捣毁一销赃窝点。
- 日榜
- 周榜
- 月榜
1
2
3
4
5
6
7
8
9
10
相关攻略
2015-03-10 11:25
2015-03-10 11:05
2021-08-04 13:30
2015-03-10 11:22
2015-03-10 12:39
2022-05-16 18:57
2025-05-23 13:43
2025-05-23 14:01
热门教程
- 游戏攻略
- 安卓教程
- 苹果教程
- 电脑教程
热门话题

