Miguel Ojeda (Rust for Linux 项目贡献者和 Linux 内核维护者) 于周日发布了一份"Rust 内核政策"文档,阐明了将 Rust 代码整合到以 C 语言为主的开源内核代码库中的最新进展。这份声明表明,尽管有不同的声音,但 Rust for Linux 项目仍在稳步推进。
该文档直面核心问题,提出并回答了"内核维护者是否支持在内核中使用 Rust?"的问题。答案是:"是的,有关键的内核维护者支持在内核中使用 Rust。"值得注意的是,"关键内核维护者"并不等同于"所有内核维护者"。
最近几周,关于 Rust 代码贡献是否受欢迎出现了一些质疑。如我们此前报道,内核维护者 Christoph Hellwig 对一个帮助基于 Rust 的设备驱动程序调用内核 C 核心中直接内存访问 (DMA) API 的补丁表示反对。这一分歧演变成了一场僵局,促使 Arm 架构 Apple Mac 的 Asahi Linux 项目负责人 Hector Martin 寻求 Linux 创始人 Linus Torvalds 的介入。
Martin 认为,如果有争议的 DMA 补丁不被采纳,"Rust for Linux 项目实际上就会停滞,直到 Linus 或 Christoph 采取行动。"Torvalds 指责 Martin 将技术问题演变成社交媒体事件,认为维护现有技术状态和维护者工作量的问题应该避免政治化。这导致 Martin 辞去了支持 Apple Arm 兼容硬件的上游 Linux 代码维护者职务。
仅仅几个月前,Microsoft 软件工程师 Wedson Almeida Filho 因"非技术性的争议"(本质上是与专注于 C 语言的维护者的分歧)而从 Rust for Linux 项目离职。
他的离职凸显了 Rust for Linux 项目面临的持续挑战。在 2022 年底首批 Rust 代码进入内核之前,支持在 Linux 中使用 Rust 的人士就承认这需要额外的工作并存在风险。尽管如此,他们认为 Rust 的内存安全优势(现在已在政府和行业的软件开发中广泛推广)会随时间推移带来回报。
在持续讨论中,Ojeda 的 Rust for Linux 政策文档重申了 2021 年将 Rust 添加到 Linux 内核的 RFC 中做出的承诺。该文档也试图解决 Rust 和 C 语言程序员之间紧张关系所带来的一些混淆。
当被要求评论时,Ojeda 指向他本月早些时候在欧洲软件会议 FOSDEM 2025 上的演讲 [PDF],该演讲突出展示了 Rust for Linux 项目的成就和其持续发展的可行性。
演讲中包含了一些内核维护者的支持声明和更细致的观点。
Nvidia 的 Linux 内核工程师 Andrea Righi 表示:"内核社区某些部分的热情是不可否认的,因此似乎不可避免地会继续看到更多 Rust 代码被合并到上游。然而,像内核中的任何重大变化一样,更广泛的采用可能需要时间。"
这是许多人的共同观点。虽然一些 Linux 子系统的维护者可能会继续抵制在 Linux 内核中使用 Rust,但 Ojeda 引用的观点表明,随着资深 C 语言维护者逐渐退出,以及 Rust 技能变得更加普及,这种反对可能会随时间推移而减弱。
好文章,需要你的鼓励
无人机食品配送服务商Flytrex与全球知名披萨连锁品牌Little Caesars宣布合作,推出全新Sky2无人机,最大载重达4公斤,可一次配送两个大披萨及饮料,满足全家用餐需求。Sky2支持最远6.4公里的配送范围,平均从起飞到送达仅需4.5分钟。首个试点门店已在德克萨斯州怀利市上线,并实现与Little Caesars订单系统的直接集成。
FORTIS是专门测量AI代理"越权行为"的基准测试,研究发现十款顶尖模型普遍选择远超任务需要的高权限技能,端到端成功率最高仅14.3%。
法国社会住房项目ViliaSprint?已正式完工,成为欧洲最大的3D打印多户住宅建筑,共12套公寓,建筑面积800平方米。项目由PERI 3D Construction使用COBOD BOD2打印机完成,整体工期较传统建造缩短3个月,实际打印仅用34天(原计划50天),现场操作人员从6人减至3人,建筑废料率从10%降至5%。建筑采用可打印混凝土,集成光伏板及热泵系统,能源自给率约达60%。
荷兰Nebius团队提出SlimSpec,通过低秩分解压缩草稿模型LM-Head的内部表示而非裁剪词汇,在保留完整词汇表的同时将LM-Head计算时间压缩至原来的五分之一,端到端推理速度超越现有方法最高达9%。