用 Rust 重写 Linux 内核,这可能吗?

简介: 众所周知,Linux 是 C 语言的代言人。但是,时代变了,Rust 正在兴起并赢得越来越多人的支持,它开始逐渐扮演 Linux 系统语言的角色。

在 2020 年 Linux Plumbers 峰会上,开发人员认真考虑过将 Rust 语言用于 Linux 内联代码的想法。此外,已经有很多 Linux 中的 Rust 内容被推向市场。比如,AWS 在 2020 年发布了 Bottlerocket,这是一种专为运行容器而打造的基于 Linux 的开源操作系统,其中包含大量的 Rust 代码。

另一个例子则与 Sylvestre Ledru 有关。他白天的身份是 Mozilla 的主管,而晚上却是 Debian Linux 开发人员。 Ledru 已经使用 LLVM 编译器基础架构及其 Clang C 语言前端和工具链基础架构,将一个 Rust 版本的 Coreutils 移植到了 Linux 中。据了解,Coreutils 是 GNU Shell 核心实用程序。基于这些内容,他已经启动了 Linux 并运行了一些最受欢迎的 Debian 软件包。虽然 Ledru 承认这一平台还没有准备好投入生产,但经过很多繁重的工作后,它现在已经可以使用了。总有一天,它会发展到替代 GNU Coreutils 的地步。

挺进 Linux 世界,Rust 机会在哪?

Rust 之所以受欢迎,是因为开发人员用 Rust 更容易编写出安全的软件。一直以来,安全性深深困扰着微软和谷歌等公司。此前,微软的研究人员称,该公司每年修复的漏洞中有 70% 与内存安全有关。谷歌的调查也发现,Chrome 代码库中所有严重的安全漏洞,70% 是内存管理的安全漏洞。

这些安全问题正好可以使用 Rust 来解决。AWS 产品经理 Samartha Chandrashekar 表示,“Rust 有助于确保线程安全,并防止与内存相关的错误,例如可能导致安全漏洞的缓冲区溢出“。

据悉,2019 年 Linux 安全峰会揭示,大约三分之二的 Linux 内核漏洞来自内存安全问题。

从理论上讲,Rust 可以使用本质上更安全的应用程序接口(API)完全避免这些漏洞。

那么,关于 Linux 中的 Rust 地位,Linux 开发人员 Nelson Elhage 总结道:Linux Rust 的支持者并不是“提议将 Linux 内核用 Rust 重写;他们只是努力想做到让新的代码可以用 Rust 来编写。Rust 支持的三个潜在关注点包括利用内核中的现有 API、架构支持”,以及处理 Rust 和 C 之间的应用程序二进制接口(ABI)兼容性。

Linux 之父:驱动程序可能率先 Rust 化

当然,Rust 能否替代 C 语言,主宰 Linux 世界?Linux 之父 Linus 和 Linux 稳定内核的维护者 Greg Kroah-Hartman 或许最有发言权。

Linus 一直在“等待与观察”。他说:“我对这个项目很感兴趣,但我认为它是由非常热衷于 Rust 的人们推动的,并且我想看看它在实践中的效果究竟如何。”

Linus 表示,“绝不会推动 Linux 中的 Rust 运动。但是,鉴于 Rust 的优势,我愿意接受它。”

Linus 认为,Rust 的首要目标似乎是驱动程序,这是因为在那里,你可以找到许多不同的可行目标,并且内核的这些部分相当小巧且独立。对某些人来说,这可能没那么有趣,但它是非常明显的目标。

在他看来,首先考虑驱动程序的另一个原因是“任何对驱动程序的初期尝试都发生在架构层面。很多驱动程序只关联了少数几个目标架构,因此 Rust 代码在某些架构上不被支持的问题在这里并不算什么大事。”

Linux 稳定内核的维护者 Greg Kroah-Hartman 认同 Linus 的说法,“驱动程序可能是这类尝试的首选领域,因为它们是内核源代码依赖树的'末端枝叶'。它们依赖于核心内核功能,但没有任何内容依赖它们”。

Linus 知道有些人完全不喜欢用户空间中有 Rust 的存在。“人们在抱怨用户空间中的'Rust 化'对未来的内核来说并不是什么好迹象,但究竟如何,我们可以拭目以待。内核与用户空间项目是不一样的——内核在某些方面更难处理(我们使用了很多非常奇怪的头文件,这些文件推动了可以称为“C”的边界),但是在其他许多方面又更容易(主要因为内核是完全自包含的,因此最终二进制文件不依赖其他项目”。

“一切都归结为如何将用 C 编写的内核核心结构和长期规则之间的交互映射到 Rust 结构和长期规则中,以让 Rust 编写的驱动程序能够正确使用它们。想要将所有这些组织起来的开发人员将需要大量的用心努力,我祝他们好运。”Greg Kroah-Hartman 补充说。

写在最后:

目前,几乎可以肯定,用 Rust 重写 Linux 这样的事短时不会发生,但是 Linux 中用户空间程序和驱动程序却有可能率先 Rust 化。

目录
相关文章
|
15天前
|
算法 Linux
深入探索Linux内核的内存管理机制
本文旨在为读者提供对Linux操作系统内核中内存管理机制的深入理解。通过探讨Linux内核如何高效地分配、回收和优化内存资源,我们揭示了这一复杂系统背后的原理及其对系统性能的影响。不同于常规的摘要,本文将直接进入主题,不包含背景信息或研究目的等标准部分,而是专注于技术细节和实际操作。
|
15天前
|
存储 缓存 网络协议
Linux操作系统的内核优化与性能调优####
本文深入探讨了Linux操作系统内核的优化策略与性能调优方法,旨在为系统管理员和高级用户提供一套实用的指南。通过分析内核参数调整、文件系统选择、内存管理及网络配置等关键方面,本文揭示了如何有效提升Linux系统的稳定性和运行效率。不同于常规摘要仅概述内容的做法,本摘要直接指出文章的核心价值——提供具体可行的优化措施,助力读者实现系统性能的飞跃。 ####
|
16天前
|
监控 算法 Linux
Linux内核锁机制深度剖析与实践优化####
本文作为一篇技术性文章,深入探讨了Linux操作系统内核中锁机制的工作原理、类型及其在并发控制中的应用,旨在为开发者提供关于如何有效利用这些工具来提升系统性能和稳定性的见解。不同于常规摘要的概述性质,本文将直接通过具体案例分析,展示在不同场景下选择合适的锁策略对于解决竞争条件、死锁问题的重要性,以及如何根据实际需求调整锁的粒度以达到最佳效果,为读者呈现一份实用性强的实践指南。 ####
|
16天前
|
缓存 监控 网络协议
Linux操作系统的内核优化与实践####
本文旨在探讨Linux操作系统内核的优化策略与实际应用案例,深入分析内核参数调优、编译选项配置及实时性能监控的方法。通过具体实例讲解如何根据不同应用场景调整内核设置,以提升系统性能和稳定性,为系统管理员和技术爱好者提供实用的优化指南。 ####
|
18天前
|
负载均衡 算法 Linux
深入探索Linux内核调度机制:公平与效率的平衡####
本文旨在剖析Linux操作系统内核中的进程调度机制,特别是其如何通过CFS(完全公平调度器)算法实现多任务环境下资源分配的公平性与系统响应速度之间的微妙平衡。不同于传统摘要的概览性质,本文摘要将直接聚焦于CFS的核心原理、设计目标及面临的挑战,为读者揭开Linux高效调度的秘密。 ####
32 3
|
21天前
|
负载均衡 算法 Linux
深入探索Linux内核调度器:公平与效率的平衡####
本文通过剖析Linux内核调度器的工作机制,揭示了其在多任务处理环境中如何实现时间片轮转、优先级调整及完全公平调度算法(CFS),以达到既公平又高效地分配CPU资源的目标。通过对比FIFO和RR等传统调度策略,本文展示了Linux调度器如何在复杂的计算场景下优化性能,为系统设计师和开发者提供了宝贵的设计思路。 ####
33 6
|
20天前
|
消息中间件 安全 Linux
深入探索Linux操作系统的内核机制
本文旨在为读者提供一个关于Linux操作系统内核机制的全面解析。通过探讨Linux内核的设计哲学、核心组件、以及其如何高效地管理硬件资源和系统操作,本文揭示了Linux之所以成为众多开发者和组织首选操作系统的原因。不同于常规摘要,此处我们不涉及具体代码或技术细节,而是从宏观的角度审视Linux内核的架构和功能,为对Linux感兴趣的读者提供一个高层次的理解框架。
|
22天前
|
缓存 并行计算 Linux
深入解析Linux操作系统的内核优化策略
本文旨在探讨Linux操作系统内核的优化策略,包括内核参数调整、内存管理、CPU调度以及文件系统性能提升等方面。通过对这些关键领域的分析,我们可以理解如何有效地提高Linux系统的性能和稳定性,从而为用户提供更加流畅和高效的计算体验。
29 2
|
22天前
|
缓存 网络协议 Linux
深入探索Linux操作系统的内核优化策略####
本文旨在探讨Linux操作系统内核的优化方法,通过分析当前主流的几种内核优化技术,结合具体案例,阐述如何有效提升系统性能与稳定性。文章首先概述了Linux内核的基本结构,随后详细解析了内核优化的必要性及常用手段,包括编译优化、内核参数调整、内存管理优化等,最后通过实例展示了这些优化技巧在实际场景中的应用效果,为读者提供了一套实用的Linux内核优化指南。 ####
44 1
|
22天前
|
算法 前端开发 Linux
深入理解Linux内核调度器:CFS与实时性的平衡####
本文旨在探讨Linux操作系统的核心组件之一——完全公平调度器(CFS)的工作原理,分析其在多任务处理环境中如何实现进程间的公平调度,并进一步讨论Linux对于实时性需求的支持策略。不同于传统摘要仅概述内容要点,本部分将简要预览CFS的设计哲学、核心算法以及它是如何通过红黑树数据结构来维护进程执行顺序,同时触及Linux内核为满足不同应用场景下的实时性要求而做出的权衡与优化。 ####
下一篇
DataWorks