【Rust日报】2023-10-05 Ferrocene Rust 安全编译器开源

Ferrocene Rust 安全编译器开源

Ferrocene 是一个经过安全认证的 Rust 编译器,用于满足汽车和工业环境的 ISO 26262 和 IEC 61508 标准。Ferrous Systems 最近将其完全开源,可以免费使用,商业支持也可以购买。这是一个重要的进步,有助于 Rust 在安全关键领域的应用。

相关资讯:https://ferrous-systems.com/blog/ferrocene-open-source/

Divan - 简单快速的 Rust 基准测试框架

Divan 是一个全新的 Rust 基准测试框架,提供简单易用的 API,同时也很强大,例如可以对泛型函数进行基准测试。它的目标是成为 Rust 社区的标准基准测试工具。

相关博文:https://nikolaivazquez.com/blog/divan/

排序算法的安全性对比分析

最近的一篇分析文章对比了 C、C++和 Rust 语言中的排序算法实现在处理自定义比较函数时的安全性。结果表明,Rust 的实现总体来说更安全,不会产生未定义行为。作者认为这与语言设计的理念有关,Rust 倾向于让接口设计者而不是使用者承担正确性的责任。相比之下,C/C++世界存在一种观念,认为保证正确是使用者的责任。这造成了实际应用中的安全隐患。

文章链接:https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md#safety-vs-performance-a-case-study-of-c-c-and-rust-sort-implementations

Rust OSDev 9 月简报

本月 Rust 操作系统开发生态系统有许多进展。acpi、x86_64 和 uefi-rs 等关键 crate 都有改进。Ferrocene Rust 编译器也已开源。Redox OS 制定了 2023/24 的开发重点。

简报详情:https://rust-osdev.com/this-month/2023-09/

This Week in Rust 515 期

本周 Rust 周报发布。内容涵盖 Rust 基金会新闻、项目更新、技术博文、入门指南、Rust 编译器性能分析等。

周报链接:https://this-week-in-rust.org/blog/2023/10/04/this-week-in-rust-515/

请关注我们的更新，以便了解更多有关 Rust 的新闻和动态！

From 日报小组 Cupnfish

社区学习交流平台订阅：

• Rust.cc 论坛: 支持 rss

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