Linux 内核对 Rust 的支持一直是个备受关注的话题。此前,Linus Torvalds 曾回应称可以默认启用 Rust 支持;Linux 内核的稳定分支维护者 Greg Kroah-Hartman 也表示愿意接受用 Rust 开发 Linux 驱动,社区正在推动用 Rust 来编写内核代码的进展。针对此事,外媒 ZDNet 近日则进一步采访了 Linus 和 Greg,以询问他们的具体看法。
Rust 是一款流行的系统编程语言,将对性能的低级(low-level)控制与现代语言功能结合在一起,语法上类似于 C ++,但是可以保证内存安全。目前,Debian Linux 开发者 Sylvestre Ledru 已将 Rust 版本的 Coreutils(GNU shell 的核心工具)移植到了 Linux。
近年来,Rust 语言已越来越受到微软、AWS 等大厂的偏爱;这些都跟它注重内存安全的特性脱不了干系。AWS 产品经理 Samartha Chandrashekar 称,Rust 有助于确保线程安全,并防止与内存相关的错误(例如可能导致安全漏洞的缓冲区溢出)。他这一看法也得到了很多其他开发者的赞同。
目前,大约有三分之二的 Linux 内核漏洞均源自于内存安全问题。开发人员认为,理论上 Rust 可以通过使用该语言天生更安全的 API 来完全避免这些问题。Linux 开发者 Nelson Elhage 称,Linux Rust 的支持者并不是提议将 Linux 内核重写成 Rust,他们只是专注于走向一个可以用 Rust 编写新代码的世界。在 2020 Linux Plumbers 大会上,与会者曾集中讨论了 Linux 内核对 Rust 的支持可能涉及到的三个方面:内核中现有的 API、架构支持,和 ABI 与内核的兼容性问题。
对此,Linus Torvalds 则表明,自己仍持一个观望的态度。“我对这个项目很感兴趣,但我认为这是由那些对 Rust 非常上头的人推动的,我想看看它最终如何在实践中发挥作用”。
就个人而言,Linus 认为自己并不是一个推崇 Rust 的人,但考虑到该语言所允诺的一些优势以及其可以解决一些安全隐患的能力,Linus 对它仍持开放态度。不过 Linus 也表示,“但我也知道,有时候承诺是不会兑现的。”
在 Linux 内核中的尝试方面,Linus 指出,Rust 的首要目标应该是驱动程序。因为在那里可以找到许多不同的可能目标,且内核的这些各个部分都相当小且独立。“对一些人来说,这可能不是一个非常有趣的目标。但却是'obvious one'”。
而先拿驱动程序开刀还有一个原因是,"任何对驱动程序的初步试验都只是架构方面的问题";Linus 称,很多驱动程序都只与几个目标架构有关,因此,即使 Rust 代码在某些架构上不被支持,问题也不会显得很严重。
Greg 也赞同认为,驱动程序可能是第一个进行此等尝试的地方;因为它们依赖于核心内核功能,但却没有任何东西依赖于它们。
此外,有些人曾向 Linus 反馈称他们根本不喜欢在用户空间中使用 Rust;并抱怨,用户空间中的 Rustification 对于未来内核的使用并不是一个好兆头。
对此,Linus 则表示,内核与用户空间项目并不相同。内核“在某些方面更加困难(我们使用了很多非常奇怪的头文件,这些头文件突破了 C 的界限),但在许多其他方面却也比较容易(主要是因为内核是相当独立的,因此最终二进制文件不依赖其他项目)。”
最后,Greg 总结称,"这一切都将归结于如何将用 C 语言编写的内核核心结构和寿命规则之间的交互映射到 Rust 结构和寿命规则中,以使得 Rust 中的驱动程序能够正确使用它们。为此,开发者们需要做很多细致的工作,我祝他们好运。"
虽然短时间内我们还不会看到 Linux 从 C 语言移植到 Rust 中。但鉴于人们对将基于 Rust 的用户空间程序、驱动程序,以及最终将基于 Rust 的 Linux 内核引入 Linux 操作系统的兴趣和行动力,未来几年内的发展或许值得期待。
本文地址:https://www.oschina.net/news/134707/linus-torvalds-rust-fit-into-linux