FreeBSD 社区正在讨论是否将 Rust 语言纳入基础系统(base system),以改善系统的安全性和可维护性。

与 Linux 不同,FreeBSD 操作系统内核和用户空间是作为基础系统一起开发的,并在 FreeBSD 源代码树(通常称为“src”)中维护。这意味着,为了讨论使用 Rust 作为 FreeBSD 内核或基础系统中其他程序/实用程序的语言,Rust 工具链也需要存在于基础中。

目前,FreeBSD 基础系统支持的语言包括汇编、C、C++、Lua 和为 sh 编写的 shell 脚本。在遥远的过去,Perl 也是基础系统的一部分,但在 2002 年 FreeBSD 5.0 之前被删除。

FreeBSD 还拥有一个 第三方软件的 ports 集合,这些软件并非由 FreeBSD 本身维护。包括 Apache HTTP Server、Xwayland 等等。Rust 已经存在于 ports 系统中,许多用 Rust 语言编写的应用程序也是如此。在 FreshPorts 上搜索,会列出 ports 集合中的新软件包,结果显示 ports 系统中有 500 多个用 Rust 编写的软件包。

FreeBSD 社区大讨论:基础系统中使用 Rust插图

这一讨论始于 2024 年的早些时候,并在 8 月份再次受到关注。Alan Somers 展示了将 Rust 代码集成到基础系统中的示例,但这一提议并未获得广泛的支持。

有些人认为,将 Rust 语言和其工具链纳入基础系统将会带来很多问题,例如与现有 LLVM 版本的兼容性问题,以及是否应该在基础系统中支持整个 Rust 生态系统。

一些开发者提出,应该优先考虑移除基础系统中的工具链,而将 Rust 编写的程序保留在 ports 集合中。

此外,有人担心 Rust 语言的快速发展可能会导致与现有代码的兼容性问题,尽管 Rust 的版本策略和编 ITION 概念旨在解决这些问题。Rust 社区通过版本策略和编 ITION 概念来确保向后兼容性,这有助于解决与现有代码的兼容性问题。但在 FreeBSD 社区中,对于如何维护 Rust 代码的长期稳定性和兼容性仍然存在争议。

同时,美国国防高级研究计划局 DARPA 正在研究一个名为 TRACTOR 的项目,用于自动将 C 代码转换为 Rust 代码,但这一项目并不一定成功,因为它依赖于高度先进的技术,如 LLMs 和形式验证

这一次大讨论,又无果而终。不过预估这一话题还会再次被提起。

具体讨论情况可以查看:https://lwn.net/Articles/985210

免责声明:本文系转载,版权归原作者所有;旨在传递信息,不代表一休教程网的观点和立场。