linux内核移植到rust,Linux开发者已将Rust版本的Coreutils移植到Linux

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内核移植到rust,Linux开发者已将Rust版本的Coreutils移植到Linux】在?Linux?内核中的尝试方面,Linus?指出,?Rust?的首要目标应该是驱动程序。因为在那里可以找到许多不同的可能目标,且内核的这些各个部分都相当小且独立。“对一些人来说,这可能不是一个非常有趣的目标。但却是'obvious?one'”。
而先拿驱动程序开刀还有一个原因是,"任何对驱动程序的初步试验都只是架构方面的问题"; Linus?称,很多驱动程序都只与几个目标架构有关,因此,即使?Rust?代码在某些架构上不被支持,问题也不会显得很严重。
Greg?也赞同认为,驱动程序可能是第一个进行此等尝试的地方; 因为它们依赖于核心内核功能,但却没有任何东西依赖于它们。
此外,有些人曾向?Linus?反馈称他们根本不喜欢在用户空间中使用?Rust; 并抱怨,用户空间中的?Rustification?对于未来内核的使用并不是一个好兆头。
对此,Linus?则表示,内核与用户空间项目并不相同。内核“在某些方面更加困难(我们使用了很多非常奇怪的头文件,这些头文件突破了?C?的界限),但在许多其他方面却也比较容易(主要是因为内核是相当独立的,因此最终二进制文件不依赖其他项目)。”
最后,Greg?总结称,"这一切都将归结于如何将用?C?语言编写的内核核心结构和寿命规则之间的交互映射到?Rust?结构和寿命规则中,以使得?Rust?中的驱动程序能够正确使用它们。为此,开发者们需要做很多细致的工作,我祝他们好运。"
虽然短时间内我们还不会看到?Linux?从?C?语言移植到?Rust?中。但鉴于人们对将基于?Rust?的用户空间程序、驱动程序,以及最终将基于?Rust?的?Linux?内核引入?Linux?操作系统的兴趣和行动力,未来几年内的发展或许值得期待。

    推荐阅读