Rust让Linux分裂成了两派,真的八字不合?

strongerHuang 2024-10-12 08:20

关注+星标公众,不错过精彩内容

来源 | 网络


Linux已经走过了33个年头,而时到如今,创始人Linus在一直为了推动其发展而争吵不断,是一个出了名的“暴君”。
然而对于Rust进入Linux内核遇挫这件事上,Linus似乎变得平和起来,甚至有些“理智的消极”。Linus坦言:自己搞不懂为什么到现在,Rust竟然还会有如此大的争议!
Linux已分裂成了两派
9月初,一位Linux内核维护者Wedson在网上发布了帖子,自曝跟Rust语言贡献者发生了冲突,因为难以忍受适配Rust的C插件问题过程中的“非技术性的技术废话”愤而辞职。
这一场Linux内核的C语言和Rust语言贡献者之间发生的冲突,Linux创始人Linus Torvalds将其定性为“几乎带有宗教战争色彩的争议”。在本周三举行的开源峰会主题演讲中,托瓦兹表示,尽管争议中不乏健康的辩论,但有些辩论变得非常消极。
Linus将这一争议比作vi与emacs之间的文化战争,即哪种文本编辑器更优越,这也被称为“编辑器大战”。
“我实际上很享受这种争论。我喜欢辩论。我认为Rust的一个优点在于它让一些讨论变得生动有趣,虽然有些争论变得很难听……但这表明人们是多么在意。同时,我不太确定为什么Rust会成为如此有争议的话题,”托瓦兹说。“这让我想起了我年轻的时候,人们争论vi和emacs哪个更好,但不知何故,整个Rust与C的争论在某些方面几乎带上了宗教色彩。”
然而,对于选择哪一种编辑器,抑或哪一种语言,相信大多数程序员最后都会回答:我并不care。
因为程序员并不需要用最难的工具来证明自身的技能。一个好的程序员是懒惰的!

Linux土壤是C,Rust被宣示主权
一位知情人透露,一小部分C内核开发人员似乎决心让 Rust 维护者的生活变得尽可能艰难。他们认为 Rust 毫无价值,宁愿Rust消失。
“去年,当我尝试将DRM 抽象上游化时,Rust 中对"device”概念的基本支持全部受阻。即使只是 struct device 的存根包装器也足够了。直到最近,也就是一年多之后,这个简单的概念才终于得以实现。”
一个概念用了一年多才得以实现,可想而知Rust融入C版的Linux将有多难。
一方面是技术上的问题,“当我编写 DRM 调度程序抽象时,我遇到了许多由底层C代码设计不良引起的内存安全问题。生命周期竟然没有记录,而就是简单归结为‘像 amdgpu 一样设计驱动程序以使其工作,或者其他’。”
但由此体现出的更多是人的问题:这位知情人其他C驱动程序也会因为糟糕的API问题触发相同的错误,需要查询隐藏的生命周期时,C维护者们依旧不为所动。
在原来的这位C维护者看来,一个C驱动程序可以work,那么Rust驱动程序也必须以相同的形式work。
没错,表面上看是两种语言的特性冲突,但实际上看是C版内核维护者在向Rust贡献者宣示自己对于Linux贡献的绝对主权。
新王未成,旧王维稳。就如同Linux通过30余年建立起开源霸主的地位一般,C语言这位王者在与Rust这位未来极具挑战性的后起之秀的关系上多少有些尴尬:一方面自己需要Rust来解决自身积累多年的内存安全等方面的问题,另一方面在引入Rust的同时又面临着被新语言思想适配所带来的被重构的尴尬与不安。
这种“尴尬与不安”可以形容为“甘道夫级别的C巫师因为要重新披上一个新手巫师的Rust道袍而顿感羞耻”。
一些C内核的维护者认为自己的开发信念受到了攻击,让他们突然接受自己的代码或自己喜欢的代码马上就要变过时了,并没有那么容易。

Rust进入Linux的三重困境
对于后来者,Rust面临着三重困难:
一、Linux内核的C接口不会分享给Rust,但当Rust接口提出时,就会被指出它是错误的,而且不给出任何修复建议;
二、即便Rust接口被同意合并了,它也不过是二等公民。在重构C接口时,Rust接口却得不到更新,所以更没有人会去用Rust接口写的驱动程序;
三、一个有毒的工作环境。比如——在Rust版内核演讲中,C版内核维护者用看似闲聊实则极其激烈的方式进行嘲讽:“你们只不过是想让更多人皈依你们的Rust宗教!”直至让工作人员精疲力尽,对项目产生倦怠。
这里,不得不展开提一下Wedson离职还暴露了另一个我们往往忽视的问题:Linux的工作环境正在变得“不和谐”甚至“有毒”。
本月初,他在宣布“卸任Linux项目的Rust语言维护者一职”中提到了YouTube上一个关于Rust中文件系统的视频:“重申一遍,没有人试图强迫任何人学习Rust,也没有人阻止C代码的重构,”Wedson写道。
这个视频是Wedson和另一位开发者Kent的演讲会议,坐在下面有一些C语言的Linux内核开发者。这些开发人员似乎并不关心30分钟的演讲内容,更多地是嘲讽某一页的幻灯片。
Wedson本身是一名C程序员,但他对Rust for Linux项目充满着热忱。
“Linux项目的Rust团队:谢谢你们,你们很棒。与你们所有人一起工作是我的荣幸;我们一起讨论技术问题、寻找解决漏洞的方法等时光,都是我一直喜欢并期待的。我很幸运能与这样一个才华横溢、友好的团队合作。”
“我祝愿项目一切顺利。我真的相信内核的未来在于内存安全的语言。我不是一个先知,但如果Linux不将其内化,我担心其他内核会对其做出与Unix相同的事情。”

问题的核心:两者开发文化
问题的核心在于C语言和Rust语言在跨语言边界提交更改时产生的文化冲突。
正如Linus今天所描述的那样,C语言是一种相对“简单的语言”,这也是“我喜欢C语言,以及为什么许多C语言程序员喜欢C语言的原因之一。当然简单也是有代价的,因为简单,所以也很容易出错。
“而Rust则完全不同。有很多习惯于C语言模式的人,他们不一定喜欢这种差异,这也没关系。”
从Rust的角度来看,为Rust用户修改某个C接口可能是有意义的,而C语言用户则希望Rust能做出贡献,以便与C语言结合使用。
这一争议可以追溯到三年多前,当时有人提出Rust语言因提供C语言所不具备的某些安全优势,可以成为内核的一部分,甚至可能取代C语言。尽管如此,该项目并未因此停滞不前。
例如,以前用C语言和CPU可以制造的著名缓冲区溢出黑客攻击或漏洞,现在几乎已经过时了。虽然Rust提供了一些安全特性和不足,但相比之下,它比C语言更难学,而C语言则更容易掌握。

为什么不做一个纯Rust版的内核?
有人会想到另一个解决方案:既然Rust融不进去C版Linux,直接做一个Rust版的Linux内核不就好了吗?
答案是否定的。
正如思科公司 Isovalent 的首席开源官 Liz Rice 认为,Rust 是一种较新的语言,具有“非常强大的优势,但并不是所有人都会立即知道如何编写 Rust 代码。很多在内核的 eBPF 子系统上工作的人不会突然转去学习 Rust,以便完成工作,对吧?”
Rice 还提及了一个看起来幼稚但非常有代表性的场景:“我见过人们这样说,‘哦,好吧,那我们为什么需要 eBPF 验证器?如果我们用 Rust 完成所有工作,那就可以移除它了‘。” 
但很明显,当提问者这么说时,并没有完全理解 eBPF 验证器的全部目的。开发不止是编程,更多还需要考虑代码所服务的需求和场景。
对于这一点,Polar Signals 的首席执行官兼创始人 Frederic Branczyk 也表示赞同:“在 Rust 中有很多例子,你不得不做一些不安全的操作,然后在其基础上构建安全的抽象。”
“所以,我当然不是认为 Rust 会是一切问题的救星。我其实是 Rust 的大粉丝,但我认为 C 实际上是一种编写操作系统的非常好的语言,而 Rust 也可以完成很多工作。”

王者与新秀之间的争锋
王者与新秀并存的场面,起初往往都是这样,难以平衡。王者积累了相对稳定和成熟的基本框架和路径,但也滋生了难以逾越仅凭自身就能解决的问题;而新秀虽然在王者难以专注的领域异军突起,但往往缺乏必要的、难以察觉的时间经验。
在技术领域更是如此。因为在技术领域,基本规则一开始变化往往难以察觉,随后又将会指数级迅速变化。整体上看,C 语言非常适合快速发展、资源受限的环境。但在稳健性、安全性和可维护性与硬件性能过强和大量共享的环境相结合的情况下,情况就不那么理想了。所以Linus才寄希望于Rust的加入。
然而,Rust for Linux项目给内核开发者带来了新的基本规则变化。遗憾的是,对于Linux而言,Rust和C内核贡献者之间似乎存在着某种难以逾越的鸿沟。
毕竟,数十年来在复杂环境中高效工作所获得的知识、经验和观点并不局限于某一特定语言,而这也正是Rust融入Linux所需要的。
悲剧的是,C版内核维护者能否接纳Rust的开发方式,为Rust提供宝贵的开发经验,至少现在看也是一个很难接受的问题。


写在最后:Linus也无解

不得不说,在Linux内核融入Rust上面,Linus碰到了一个硬钉子。
C语言和Rust语言两大阵营的分歧相当大。“有些人就是不喜欢Rust的概念,也不喜欢Rust侵入他们的领域……人们甚至谈到了Rust集成的失败。”
Linus对此也是无解:“有很多人习惯了C模型,但他们不一定喜欢差异......没关系……有些人关心特定的架构,有些人喜欢文件系统,这应该是这样的。这就是我看待Rust的方式。”
但Linus对于这个项目充满期待:“我们已经做了几年了,所以现在甚至说这些还为时过早”。不过他也没有说太满:“但我也认为,即使它失败了(而我认为它不会),这也是一种学习的方式。所以,我认为这种推广活动是有积极意义的。”
毕竟,时间是一切问题的良药,在这场讨论中,主持人在临近尾声时开了一个调侃的玩笑:
“Torvalds在过去33年里一直是Linux项目的傀儡,但不太可能再担任33年。希望到那时,关于Rust的争论会得到解决。”
参考链接:

https://www.theregister.com/2024/09/02/rust_for_linux_maintainer_steps_down/

https://www.theregister.com/2024/09/19/torvalds_talks_rust_in_linux/

声明:本文素材来源网络,版权归原作者所有。如涉及作品版权问题,请与我联系删除。

------------ END ------------



●专栏《嵌入式工具
●专栏《嵌入式开发》
●专栏《Keil教程》
●嵌入式专栏精选教程

回复“加群”按规则加入技术交流群,回复“1024”查看更多内容。

点击“阅读原文”查看更多分享

strongerHuang 作者黄工,高级嵌入式软件工程师,分享嵌入式软硬件、物联网、单片机、开发工具、电子等内容。
评论
  • 振动样品磁强计是一种用于测量材料磁性的精密仪器,广泛应用于科研、工业检测等领域。然而,其测量准确度会受到多种因素的影响,下面我们将逐一分析这些因素。一、温度因素温度是影响振动样品磁强计测量准确度的重要因素之一。随着温度的变化,材料的磁性也会发生变化,从而影响测量结果的准确性。因此,在进行磁性测量时,应确保恒温环境,以减少温度波动对测量结果的影响。二、样品制备样品的制备过程同样会影响振动样品磁强计的测量准确度。样品的形状、尺寸和表面处理等因素都会对测量结果产生影响。为了确保测量准确度,应严格按照规
    锦正茂科技 2025-02-28 14:05 117浏览
  •         近日,广电计量在聚焦离子束(FIB)领域编写的专业著作《聚焦离子束:失效分析》正式出版,填补了国内聚焦离子束领域实践性专业书籍的空白,为该领域的技术发展与知识传播提供了重要助力。         随着芯片技术不断发展,芯片的集成度越来越高,结构也日益复杂。这使得传统的失效分析方法面临巨大挑战。FIB技术的出现,为芯片失效分析带来了新的解决方案。它能够在纳米尺度上对芯片进行精确加工和分析。当芯
    广电计量 2025-02-28 09:15 89浏览
  • 一、VSM的基本原理震动样品磁强计(Vibrating Sample Magnetometer,简称VSM)是一种灵敏且高效的磁性测量仪器。其基本工作原理是利用震动样品在探测线圈中引起的变化磁场来产生感应电压,这个感应电压与样品的磁矩成正比。因此,通过测量这个感应电压,我们就能够精确地确定样品的磁矩。在VSM中,被测量的样品通常被固定在一个震动头上,并以一定的频率和振幅震动。这种震动在探测线圈中引起了变化的磁通量,从而产生了一个交流电信号。这个信号的幅度和样品的磁矩有着直接的关系。因此,通过仔细
    锦正茂科技 2025-02-28 13:30 78浏览
  • RGB灯光无法同步?细致的动态光效设定反而成为产品客诉来源!随着科技的进步和消费者需求变化,电脑接口设备单一功能性已无法满足市场需求,因此在产品上增加「动态光效」的形式便应运而生,藉此吸引消费者目光。这种RGB灯光效果,不仅能增强电脑周边产品的视觉吸引力,还能为用户提供个性化的体验,展现独特自我风格。如今,笔记本电脑、键盘、鼠标、鼠标垫、耳机、显示器等多种电脑接口设备多数已配备动态光效。这些设备的灯光效果会随着音乐节奏、游戏情节或使用者的设置而变化。想象一个画面,当一名游戏玩家,按下电源开关,整
    百佳泰测试实验室 2025-02-27 14:15 132浏览
  •           近日受某专业机构邀请,参加了官方举办的《广东省科技创新条例》宣讲会。在与会之前,作为一名技术工作者一直认为技术的法例都是保密和侵权方面的,而潜意识中感觉法律有束缚创新工作的进行可能。通过一个上午学习新法,对广东省的科技创新有了新的认识。广东是改革的前沿阵地,是科技创新的沃土,企业是创新的主要个体。《广东省科技创新条例》是广东省为促进科技创新、推动高质量发展而制定的地方性法规,主要内容包括: 总则:明确立法目
    广州铁金刚 2025-02-28 10:14 90浏览
  • Matter 协议,原名 CHIP(Connected Home over IP),是由苹果、谷歌、亚马逊和三星等科技巨头联合ZigBee联盟(现连接标准联盟CSA)共同推出的一套基于IP协议的智能家居连接标准,旨在打破智能家居设备之间的 “语言障碍”,实现真正的互联互通。然而,目标与现实之间总有落差,前期阶段的Matter 协议由于设备支持类型有限、设备生态协同滞后以及设备通信协议割裂等原因,并未能彻底消除智能家居中的“设备孤岛”现象,但随着2025年的到来,这些现象都将得到完美的解决。近期,
    华普微HOPERF 2025-02-27 10:32 178浏览
  • 应用趋势与客户需求,AI PC的未来展望随着人工智能(AI)技术的日益成熟,AI PC(人工智能个人电脑)逐渐成为消费者和企业工作中的重要工具。这类产品集成了最新的AI处理器,如NPU、CPU和GPU,并具备许多智能化功能,为用户带来更高效且直观的操作体验。AI PC的目标是提升工作和日常生活的效率,通过深度学习与自然语言处理等技术,实现更流畅的多任务处理、实时翻译、语音助手、图像生成等功能,满足现代用户对生产力和娱乐的双重需求。随着各行各业对数字转型需求的增长,AI PC也开始在各个领域中显示
    百佳泰测试实验室 2025-02-27 14:08 238浏览
  • 在2024年的科技征程中,具身智能的发展已成为全球关注的焦点。从实验室到现实应用,这一领域正以前所未有的速度推进,改写着人类与机器的互动边界。这一年,我们见证了具身智能技术的突破与变革,它不仅落地各行各业,带来新的机遇,更在深刻影响着我们的生活方式和思维方式。随着相关技术的飞速发展,具身智能不再仅仅是一个技术概念,更像是一把神奇的钥匙。身后的众多行业,无论愿意与否,都像是被卷入一场伟大变革浪潮中的船只,注定要被这股汹涌的力量重塑航向。01为什么是具身智能?为什么在中国?最近,中国具身智能行业的进
    艾迈斯欧司朗 2025-02-28 15:45 160浏览
  • 美国加州CEC能效跟DOE能效有什么区别?CEC/DOE是什么关系?美国加州CEC能效跟DOE能效有什么区别?CEC/DOE是什么关系?‌美国加州CEC能效认证与美国DOE能效认证在多个方面存在显著差异‌。认证范围和适用地区‌CEC能效认证‌:仅适用于在加利福尼亚州销售的电器产品。CEC认证的范围包括制冷设备、房间空调、中央空调、便携式空调、加热器、热水器、游泳池加热器、卫浴配件、光源、应急灯具、交通信号模块、灯具、洗碗机、洗衣机、干衣机、烹饪器具、电机和压缩机、变压器、外置电源、消费类电子设备
    张工nx808593 2025-02-27 18:04 94浏览
  • 1,微软下载免费Visual Studio Code2,安装C/C++插件,如果无法直接点击下载, 可以选择手动install from VSIX:ms-vscode.cpptools-1.23.6@win32-x64.vsix3,安装C/C++编译器MniGW (MinGW在 Windows 环境下提供类似于 Unix/Linux 环境下的开发工具,使开发者能够轻松地在 Windows 上编写和编译 C、C++ 等程序.)4,C/C++插件扩展设置中添加Include Path 5,
    黎查 2025-02-28 14:39 100浏览
  • 在物联网领域中,无线射频技术作为设备间通信的核心手段,已深度渗透工业自动化、智慧城市及智能家居等多元场景。然而,随着物联网设备接入规模的不断扩大,如何降低运维成本,提升通信数据的传输速度和响应时间,实现更广泛、更稳定的覆盖已成为当前亟待解决的系统性难题。SoC无线收发模块-RFM25A12在此背景下,华普微创新推出了一款高性能、远距离与高性价比的Sub-GHz无线SoC收发模块RFM25A12,旨在提升射频性能以满足行业中日益增长与复杂的设备互联需求。值得一提的是,RFM25A12还支持Wi-S
    华普微HOPERF 2025-02-28 09:06 101浏览
  • 更多生命体征指标风靡的背后都只有一个原因:更多人将健康排在人生第一顺位!“AGEs,也就是晚期糖基化终末产物,英文名Advanced Glycation End-products,是存在于我们体内的一种代谢产物” 艾迈斯欧司朗亚太区健康监测高级市场经理王亚琴说道,“相信业内的朋友都会有关注,最近该指标的热度很高,它可以用来评估人的生活方式是否健康。”据悉,AGEs是可穿戴健康监测领域的一个“萌新”指标,近来备受关注。如果站在学术角度来理解它,那么AGEs是在非酶促条件下,蛋白质、氨基酸
    艾迈斯欧司朗 2025-02-27 14:50 363浏览
我要评论
0
点击右上角,分享到朋友圈 我知道啦
请使用浏览器分享功能 我知道啦