0

0

业界首个搭载纯Rust内核的发行版星绽NixOS发布,安全内核“走出实验室”

霞舞

霞舞

发布时间:2025-12-26 16:20:02

|

559人浏览过

|

来源于php中文网

原创

业界首个搭载纯rust内核的发行版星绽nixos发布,安全内核“走出实验室”

近日,星绽(Asterinas)开源社区正式推出星绽NixOS,标志着全球首个集成纯Rust编写操作系统内核的Linux发行版诞生。该发行版成功将星绽内核与NixOS成熟的软件包管理体系深度融合,在保留Linux生态兼容性的同时,实现了底层内核向原生内存安全架构的关键跃迁,推动星绽从实验性内核项目迈入真正可用、可部署的操作系统新阶段。

近年来,Rust语言凭借其兼具高性能与内存安全特性的双重优势,正加速渗透至操作系统及底层系统软件开发领域。相较于C/C++易因指针误用、缓冲区溢出等问题引发严重安全隐患,Rust通过所有权机制在编译期杜绝多数内存错误。微软已明确计划于2030年前完成核心代码库向Rust的全面迁移;Linux内核主线自6.1版本起支持Rust模块开发,Android也逐步引入Rust重构关键组件。与此同时,Occlum、RedLeaf、Theseus、Tock以及蓝河等纯Rust内核相继涌现,成为全球操作系统创新的重要力量。

星绽是一款面向通用场景的开源操作系统内核,完全基于Rust语言构建,并采用原创的“框内核(framekernel)”架构设计。该架构突破传统单体内核与微内核的固有范式,在保障系统性能的同时显著提升安全性边界。目前,星绽开源生态汇聚了中关村实验室、北京通明湖信息技术应用创新中心(简称“通明湖中心”)、蚂蚁集团、英特尔公司、北京大学、复旦大学、南方科技大学等国内顶尖产学研机构,形成了高效协同、成果丰硕的开源共建网络。

“在众多Rust内核中,星绽的独特定位在于——它不是学术原型,而是一个以工业级标准打造、面向真实生产环境演进的通用内核。”星绽项目发起人、蚂蚁技术研究院高级研究员田洪亮表示,“我们的目标是推动操作系统内核完成一次代际升级,最终实现100%内存安全。项目已持续研发三年多,累计提交超13万行Rust代码,完整支持230余项Linux系统调用。星绽NixOS的发布,意味着我们跨越了一个关键门槛:星绽内核首次具备支撑完整发行版用户空间的能力,进入可安装、可运行、可验证的实用化新纪元。”

NixOS作为一款基于函数式包管理器Nix构建的Linux发行版,以其声明式配置、可重现构建和原子化升级等特性广受开发者青睐。其在Linux内核之上构建了完整的用户空间、服务框架与软件生态,将底层能力转化为开箱即用的操作系统产品。而在星绽NixOS中,传统Linux内核被替换为全Rust编写的星绽内核,从而在根本上消除了因内存不安全导致的底层漏洞风险。

星绽NixOS完整继承了NixOS的核心优势之一——“系统状态高度可复现”。开发者仅需定义软件、服务及系统配置的需求,系统即可自动完成构建与部署,确保同一份配置在任意时间、任意机器上执行所得结果严格一致。所有构建步骤均可追溯、可审计,极大降低了发行版在集成、测试与交付过程中因环境差异带来的不确定性与偶发故障。

爱图表
爱图表

AI驱动的智能化图表创作平台

下载

尤为关键的是,星绽NixOS直接复用了NixOS庞大而成熟的软件生态——涵盖超过12万个软件包及其丰富配置选项,全面覆盖桌面办公、服务器运维、开发测试等多种应用场景。这一策略有效规避了从零构建生态的漫长周期,使星绽内核得以快速融入一个功能完备、稳定可靠的发行版形态。更早地承载真实应用与服务,不仅有助于在实际负载下持续检验并优化星绽对Linux ABI的兼容性与工程成熟度,也为社区协作与生态扩展提供了坚实基础。

“当前业界关注焦点,早已不再是‘是否存在Rust内核’,而是‘Rust内核能否以发行版形式承载真实业务负载,并接受可量化、可横向对比的工程评估’。”北京大学讲席教授、通明湖中心主任谢涛指出,“原生内存安全已成为国际操作系统发展的共识性方向。星绽NixOS通过无缝对接NixOS生态,在桌面与服务器两大主战场率先建立起可复现、可比对的技术基线,使星绽稳居内存安全内核工程落地的最前沿。”

在最新发布的星绽0.17.0版本中,星绽NixOS已初步满足桌面与服务器环境的基础使用需求,包括Nix包管理器支持、XFCE等主流桌面环境适配,以及Podman等容器运行时的稳定运行。据悉,蚂蚁集团“密算计划”拟于2026年将星绽内核投入机密计算与可信数据空间等高安全要求的实际场景,为隐私保护、数据可信流通等关键应用提供底层安全保障。

自2024年开源以来,星绽项目在GitHub平台收获Star数已突破4000颗,多次登上HackerNews首页及LWN.net深度报道,持续吸引全球开发者关注。相关研究成果已被ATC'25、SOSP'25、ICSE'26、FAST'26等国际顶级系统与软件工程会议录用,并荣膺SOSP'25最佳论文奖。

源码地址:点击下载

相关专题

更多
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全
C++系统编程内存管理_C++系统编程怎么与Rust竞争内存安全

C++系统编程中的内存管理是指 对程序运行时内存的申请、使用和释放进行精细控制的机制,涵盖了栈、堆、静态区等不同区域,开发者需要通过new/delete、智能指针或内存池等方式管理动态内存,以避免内存泄漏、野指针等问题,确保程序高效稳定运行。它核心在于开发者对低层内存有完全控制权,带来灵活性,但也伴随高责任,是C++性能优化的关键。

4

2025.12.22

android开发三大框架
android开发三大框架

android开发三大框架是XUtil框架、volley框架、ImageLoader框架。本专题为大家提供android开发三大框架相关的各种文章、以及下载和课程。

238

2023.08.14

android是什么系统
android是什么系统

Android是一种功能强大、灵活可定制、应用丰富、多任务处理能力强、兼容性好、网络连接能力强的操作系统。本专题为大家提供android相关的文章、下载、课程内容,供大家免费下载体验。

1705

2023.08.22

android权限限制怎么解开
android权限限制怎么解开

android权限限制可以使用Root权限、第三方权限管理应用程序、ADB命令和Xposed框架解开。详细介绍:1、Root权限,通过获取Root权限,用户可以解锁所有权限,并对系统进行自定义和修改;2、第三方权限管理应用程序,用户可以轻松地控制和管理应用程序的权限;3、ADB命令,用户可以在设备上执行各种操作,包括解锁权限;4、Xposed框架,用户可以在不修改系统文件的情况下修改应用程序的行为和权限。

1937

2023.09.19

android重启应用的方法有哪些
android重启应用的方法有哪些

android重启应用有通过Intent、PendingIntent、系统服务、Runtime等方法。本专题为大家提供Android相关的文章、下载、课程内容,供大家免费下载体验。

253

2023.10.18

Android语音播放功能实现方法
Android语音播放功能实现方法

实现方法有使用MediaPlayer实现、使用SoundPool实现两种。可以根据具体的需求选择适合的方法进行实现。想了解更多语音播放的相关内容,可以阅读本专题下面的文章。

340

2024.03.01

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

1343

2023.06.21

如何安装LINUX
如何安装LINUX

本站专题提供如何安装LINUX的相关教程文章,还有相关的下载、课程,大家可以免费体验。

698

2023.06.29

虚拟号码教程汇总
虚拟号码教程汇总

本专题整合了虚拟号码接收验证码相关教程,阅读下面的文章了解更多详细操作。

25

2025.12.25

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
PostgreSQL 教程
PostgreSQL 教程

共48课时 | 6万人学习

Git 教程
Git 教程

共21课时 | 2.2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号