Rust 2024重大时刻

Rust编程语言在2024年取得了显著进展,标志着性能的重大提升以及业界对内存安全编程的信心日益增强。

译自 Big Moments in Rust 2024,作者 Tim McNamara。

Rust 项目今年的主要目标是开发一个新的版本。版本 在项目生命周期中创建了可以向语言添加新关键字、向标准库添加内容以及进行其他更改的点。根据Rust 博客上的一篇文章,“这是自 Rust 2015 以来规模最大的版本”。

大多数更改都是细微的,但却是对语言的重要改进。程序员 会发现该语言更容易使用。一个很大的变化是,创建对开放写入访问的共享全局变量的直接引用——Rust 将其称为“可变静态变量”——现在是不可能的。到目前为止,允许引用一直是该语言中未定义行为的隐藏来源。

我最期待的功能之一是生成器。到目前为止,只向语言中添加了一个gen关键字。现在可以开始认真地将生成器引入稳定的 Rust 中。(生成器已经存在于所谓的“夜间”编译器中,该编译器不提供稳定性保证。)

越来越多的人使用这种语言

一个有用的跟踪指标是Visual Studio Code 扩展程序rust-analyzer 的官方 Rust 扩展程序的安装数量。目前安装数量为415 万。这比年初的266 万有所增加。

Visual Studio Marketplace 上 rust-analyzer 页面的屏幕截图,显示该扩展程序的安装量为 4,148,456 次。

人们交付了优秀的產品

首先,发布了Tiny Glade。这款微缩景观建造游戏已被证明非常成功,Rust 社区的大新闻是这款游戏完全是用这种语言编写的。

来自 Gamescom 2023 未来游戏展游戏预告片的截图。

更严肃地说,Rust 的优势开始在编写软件库方面显现出来。PNG 图像文件格式的 Rust 实现现在优于其传统的 C 编写版本。这是因为 Rust 语言为 SIMD 指令提供了跨平台支持。编写 C 库的人员需要为每个目标架构手动提供实现。

图像处理并非一次性事件。基于 Rust 的TLS 安全 实现Rustls 现在比 BoringSSL 和 OpenSSL 更快。资助这项工作的非营利组织,互联网安全研究小组 (ISRG)Let’s Encrypt 开始,现在正在努力改进互联网基础设施的各个方面。这包括计算机之间的时间保持等基础知识,以及现在名为River 的内存安全、高性能反向代理的实现。这旨在挑战NGINX 在该领域的统治地位。

未来需要注意的一件事是新成立的Trifecta Tech 基金会。他们有一个 Rust 编译器的分支,可以生成一个执行压缩和解压缩的可执行文件,该可执行文件的速度比标准编译器生成的快 14%。预计这些性能改进会随着时间的推移而融入主线。Rust 速度惊人,而且会越来越快。

对该语言的信心日益增强

去年三月在Rust Nation UK会议上,Lars Bergstrom透露,“Google的Rust团队与使用Go的团队一样高效,并且比使用C++的团队效率高出一倍多”。

编译器在每个版本中都变得越来越智能

对我来说,1.79版本是最有影响力的版本之一。我许多用来解释为什么需要借用检查器的教学示例都停止工作了,因为借用检查器变得更智能了。也就是说,示例代码无法编译——借用检查器过于严格了。

人们变得雄心勃勃

美国政府国防研究机构DARPA宣布了TRACTOR项目,旨在创建工具将不安全的C代码转换为安全的Rust代码。其目的是快速加快用内存不安全语言编写的、大规模重写系统的速度,然后将其移植到Rust。

安全关键型Rust联盟于六月宣布成立,旨在将Rust应用于关键行业。这是在汽车、火车和飞机中看到Rust的重要一步。

二月份,Google宣布向Rust基金会提供100万美元的资助,以支持改进Rust和C++互操作性的计划。这笔资助催生了更广泛的互操作性倡议,并出现了C++/Rust互操作性问题陈述。连接C++和Rust将意味着Rust项目更容易扩展现有的代码库。

Amazon Web Services和Rust基金会已决定启动一个项目来正式验证标准库。他们创建了一个奖励计划,用于验证标准库的部分内容,希望这将能够促使新的工具和技术出现,并最终正式验证整个标准库的正确性。今天的标准库包含数千个unsafe关键字的使用。虽然社区相信这些用法是正确的,但这并没有得到保证。正式验证将改变这一点。

社区越来越强大

2024年令人高兴的是没有出现困扰前几年的“Rust风波”。事实上,新的沟通渠道出现了。

Rust基金会主办了社区的标志性活动RustConf。虽然这似乎是一个微不足道的成就,但近年来,此次会议一直是分歧和敌意的焦点。

许多专注于该语言的会议和活动都出现了。大型活动现在定期在欧洲各地举行。看到对弱势地区的经济支持,例如Rustaceans Kenya,尤其令人鼓舞。

2024年也见证了播客领域的复兴。现在有大量的播客提供不同的视角、访谈和形式。

有关2024年编程语言最大新闻的更多信息,请查看Darryl K. Taft的报告“2024年编程语言大战:Python领先,Java保持稳定,Rust崛起”。

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注