【Rust日报】 Linux 中的 Rust 实验圆满结束

Linux 中的 Rust 实验圆满结束

在 Linux 年度维护者峰会上，Rust 实验性项目的相关议题刚刚进行了讨论。

与会开发者一致认为，内核中的 Rust 不再是实验性的，它现在是内核的核心组成部分，并将长期存在。

因此，“实验性”标签将被移除。祝贺 Rust for Linux 团队的所有成员！

LWN：https://lwn.net/Articles/1049831/

Ralf Jung 演讲: What's the deal with unsafe Rust?

Ralf 受邀参加 Scala 语言大会所做的 keynote。

Rust 主要以其基于所有权的类型系统而闻名，该系统在类型安全的语言中实现了底层编程范式。然而，Rust 的另一个关键支柱是其对不安全代码的处理：大多数语言倾向于回避不安全操作，并且往往对其规范不够完善，而 Rust 则非常重视不安全操作，从专门的语法到文档和社区规范都体现了这一点。

在本次演讲中，我将解释 Rust 这个经常被误解的方面，阐述什么是 Rust 的不安全特性、它存在的意义、它的用途，以及工具和形式化方法如何帮助降低使用不安全操作的固有风险。

观看：https://www.youtube.com/watch?v=YwABQ9eYQv4

文章《在 Miri 中模拟 avx-512 内联函数》

Trifecta Tech 团队如何在 Miri 中模拟 AVX-512 指令集，以解决zlib-rs项目的测试难题。

核心背景：团队希望在zlib-rs中利用 AVX-512 提升性能，但标准 CI 环境（如 GitHub Actions）缺乏支持该指令集的硬件，且 QEMU 支持亦不完善，导致无法验证代码正确性。

解决方案：团队直接为 Rust 的解释器 Miri 添加了 AVX-512 intrinsics 的模拟支持（例如_mm512_sad_epu8和vpclmulqdq）。这使得代码可以在不具备相关硬件的机器上运行，并通过 Miri 强大的检查机制捕获未定义行为（UB）。

成果：该工作不仅让zlib-rs能够通过 CI 测试，还修复了stdarch中的部分 bug。相关改进已被合并至 Rust Nightly，提升了 Miri 对 SIMD 跨平台测试的通用能力。

阅读：https://trifectatech.org/blog/emulating-avx-512-intrinsics-in-miri/

Bevy 官方 Metrics 性能跟踪

跟踪 Bevy 游戏引擎的性能指标：编译时间、二进制文件大小、压力测试、基准测试等等。

这些测试是在 Bevy 基金会拥有和运营的真实、标准化的游戏硬件上进行的。

Bevy 将这些数据作为一项常规工作进行跟踪，并发现了很多回归问题。

网站：https://metrics.bevy.org/

--

From 日报小组 苦瓜小仔

社区学习交流平台订阅：

• Rustcc论坛: 支持rss

• 微信公众号：Rust语言中文社区