在 2019年开源技术峰会（OSTS）上，英特尔首席工程师Josh Triplett详细介绍了英特尔为将人们喜爱的Rust变成和C完全对等的语言所做的工作。在演讲“英特尔和Rust：系统编程的未来”中，他还谈到了系统编程的历史，C是如何成为“默认”的系统编程语言的，Rust的特性可以使它胜过C，等等。

直到现在，OSTS仍是英特尔的闭门活动，公司的业务负责人和技术负责人聚在一起，讨论各种有助于塑造开源生态系统的趋势、技术和创新的话题。然而，今年与往年不同，他们首次邀请了非英特尔的与会者，包括媒体、合作伙伴和开发人员。

大会举办了主题演讲，包括50多场技术会议、座谈会和演示，覆盖英特尔参与的所有开源技术，包括集成软件栈（边缘计算、AI、基础设施）、固件、嵌入式和物联网项目以及云系统软件等。

什么是系统编程语言

系统编程是开发和管理作为其他软件构建平台的软件。为了获得必要的性能和抽象，系统软件与计算机硬件之间会存在直接或关系紧密的接口。与应用程序编程不同，它提供的软件不是向用户提供服务，而是生成为计算机硬件提供服务的软件。

Triplett将系统编程宽泛地定义为“任何不是应用程序的软件”。这包括BIOS、固件、引导加载程序、操作系统内核、嵌入式及类似的底层代码、虚拟机实现。Triplett也将Web浏览器视为一个系统软件，因为它“不只是一个应用程序”，它们实际上是“网站和Web应用程序的平台”。

C是如何成为“默认”的系统编程语言的

以前，大多数系统软件包括BIOS、引导加载程序和固件是用Assembly编写的。在1960年代，人们开始了在高级语言中支持硬件的试验，创建了PL/S、BLISS、BCPL和扩展ALGOL等语言。

在1970年代，Dennis Ritchie为Unix操作系统创建了C编程语言。它源自无类型的B编程语言，C打包了强大的高级功能和最适合编写操作系统的具体特性。多个UNIX组件包括其内核最终用C进行了重写。许多其他系统软件，包括Oracle数据库、很大一部分的Windows源代码、Linux操作系统，都是用C编写的。

在这一点上，C被广泛地采用。但是，究竟是什么使开发人员可以舒服地迁移到C？Triplett认为，为了实现从一种语言到另一种语言的迁移，有两件事必须使开发人员觉得舒服：特性和对等性。

首先，语言应该提供“足够引人注目”的特性。“不能只是好一点点。它必须好很多，对得起迁移所需要付出的努力和工程时间，”他补充道。相比Assembly，C提供了更多的特性。它提供了一定程度的类型安全、可移植性、使用高级构造提高生产力、更可读的代码。
其次，语言必须提供对等性，就是说，开发人员必须能够相信其能力不亚于Assembly。他说，“它不能仅仅是更好，还要不会更糟。”除了更快以及能够表示Assembly能够表示的任何数据类型外，它还具备Triplett所说的“逃生出口（escape hatch）”。这意味着你可以逐步迁移，如果需要，还可以结合Assembly一起使用。

Triplett相信，C现在正在变成几年前Assembly的样子。“C是新的Assembly，”他总结道。开发人员正在寻找一种高级语言，它不仅能解决C语言中无法解决的问题，而且还能利用这些语言提供其他令人兴奋的特性。这种旨在使开发人员从C语言迁移过去的语言应该是内存安全的，提供自动内存管理、安全等等。

“任何想要比C语言更好的语言，如果它真的是一个令人信服的替代方案，那么它必须提供的不仅仅是防止缓冲区溢出。人们关心可用性和生产力。他们关心的是编写自解释的代码，用更少的代码来完成更多的工作。它还需要解决安全问题。可用性和生产力与安全性密切相关。你完成工作所需要编写的代码越少，出现bug安全漏洞的机会就越小，”他解释说。

Rust与C的比较

早在2006年，Mozilla员工Graydon Hoare开始编写Rust，最初是作为一个个人项目。2009年。Mozilla开始赞助该项目，扩大了团队，进一步推动了这门语言的发展。

Mozilla感兴趣的原因之一是Firefox是用400多万行C++代码编写的，并且有很多非常严重的漏洞。Rust构建时考虑到了安全性和并发性，因此，它是在Quantum项目下重写许多Firefox组件的最佳选择。他们还使用Rust开发Servo，这是一个HTML渲染引擎，最终将取代Firefox的渲染引擎。许多其他公司也开始在他们的项目中使用Rust，包括微软、谷歌、Facebook、亚马逊、Dropbox、Fastly、Chef、百度等等。

Rust解决了C语言中的内存管理问题。它提供了自动内存管理，因此，开发人员不必对每个对象都手动调用free。它与其他现代语言的区别在于，它没有任何类型的垃圾收集器或运行时系统。取而代之，Rust有所有权、借用、引用和生命周期的概念。“Rust有一个系统，它可以声明对某个对象的任何特定使用是该对象的所有者，还是只是临时借用该对象。如果你只是借用一个对象，编译器会跟踪它。只要你引用它，它就会保持原样。Rust会确保对象的所有者在用完的时候释放它，它是在编译时插入free调用，不需要额外的运行时开销，”Triplett解释道。

没有运行时也是Rust的一个优点。Triplett认为，具有运行时的语言很难用作系统编程语言。他补充说，“你必须在可以调用任何代码之前初始化运行时，必须使用那个运行时调用函数，而且运行时本身可能在意想不到的时间在后台运行额外的代码。”

Rust还旨在提供安全的并发编程。这和实现内存安全的特性是同一个特性，它会跟踪哪个线程拥有哪个对象，哪些对象可以在线程之间传递，哪些对象需要获取锁。

这些特性足够使Rust吸引开发人员选用它进行系统编程。然而，谈到第二个标准，Rust尚无法做到与C对等。

Triplett：“为了实现与C对等，我参与了Rust”

在Rust中引入兼容C的union

Triplett对Rust编程语言的第一个贡献是RFC 1444，它始于2015年，并于2016年被接受。这个RFC提议在Rust中对兼容C的union提供原生支持，这将通过一个新的“上下文关键字”union来定义。Triplett想在Rust中构建虚拟机，而用于此目的的Linux内核接口/dev/kvm需要联合，他由此认识到了这份提案的必要性。

“我曾与Rust社区及语言团队一起将union引入Rust，因为这项工作，我现在是Rust语言治理团队的一员，帮助评估和指导语言的其他变化，”他补充道。

2016年，他在第一届RustConf大会上详细讨论了这个RFC。

支持未命名结构和联合类型

Triplett研究的另一个特性是在Rust中支持未命名结构和联合类型。几十年来，这一直是一个广泛使用的C编译器扩展，并且也包含在C11标准中。这允许开发人员以任意方式对字段进行分组和布局，以匹配在外部函数接口（FFI）中使用的C数据结构。这个提议实施时，Rust将能够使用与结构相同的名称表示此种类型，而不会人为地插入字段名，令使用现有平台完备接口的用户感到困惑。

在Rust中提供内联Assembly的稳定支持

系统编程通常涉及底层操作，并且需要处理器的底层细节，比如特权指令。为此，Rust支持通过“asm!”宏使用内联Assembly。然而，只在编译器的每夜构建版本中提供，尚不稳定。Triplett正在与其他Rust开发人员合作，编写一份提案，为内联Assembly引入更健壮的语法。要了解内联Assembly支持的更多细节，看看这个pre-RFC。

在Rust中加入BFLOAT16支持

许多英特尔处理器包括Xeon Scalable ‘Cooper Lake-SP’现在都支持BFLOAT16，这是一个新的浮点格式。这是32位IEEE 754单精度浮点格式截断后的16位版本，主要用于深度学习。这种格式也用于处理大型数据集的机器学习库，如Tensorflow。这也使得与现有系统、功能和存储的互操作变得更加容易。这就是Triplett致力于在Rust中添加BFLOAT16支持的原因，那样开发人员就能够使用他们硬件的全部功能。

FFI/C对等性工作组

这是Triplett的重要声明之一。他启动了一个工作小组，将专注于实现与C的完全对等。在这个小组中，他的目标是与Rust社区和其他英特尔开发商合作制定剩余特性的规范，为了用于系统编程，这些特性需要在Rust中实现。这个小组还将专注于使用Rust的稳定版本支持系统编程，而不仅是试验性的编译器每夜构建版本。

在上周的Reddit讨论中，Triplett分享了工作组的当前状态，“在回答问题之前，我先说明下：FFI /C对等性工作组正在启动过程中，尚未完全启动。在完全启动时，我会在这里和其他地方发布相关信息及其初始目标。”

如有兴趣，您可观看Josh Triplett完整的OSTS视频演讲，了解更多英特尔对Rust的贡献。

原文链接：
“Rust is the future of systems programming， C is the new Assembly”: Intel principal engineer， Josh Triplett

创作场景

Rust 是系统编程的未来，C 是新的 Assembly