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 将这些数据作为一项常规工作进行跟踪,并发现了很多回归问题。
--
From 日报小组 苦瓜小仔
社区学习交流平台订阅:
评论区
写评论还没有评论