RustConf 2025 - Rust 与 Redox OS 十周年演讲
自托管：使用 Redox 桌面和 COSMIC PDF Reader 显示演示文稿
内容：总结 Redox OS 过去 10 年的开发历程和发展方向（比如基于 capability 提高安全性、基于 ring buffer 提高 IO 性能）
Slides：https://github.com/jackpot51/rustconf2025/blob/main/10%20Years%20of%20Redox%20and%20Rust.pdf
Reddit：https://www.reddit.com/r/rust/comments/1n2hc3y/redox_os_selfhosted_presentation_for_rustconf_2025/
文章《Group Borrowing：零成本内存安全，但限制更少》
介绍了 Nick Smith 提出的 “Group Borrowing” 系统，这是一种新的内存安全机制，旨在实现零成本的内存安全并减少限制。
它基于 C++ 的 “单一所有权” 模型，允许在不违反内存安全的情况下，对对象进行可变的别名引用。
文章详细解释了该系统如何处理对象与内容的引用、子组的概念以及如何通过函数注解和路径来管理内存安全。
与 Rust 的借用检查相比，Group Borrowing 更宽容，允许更多的程序模式，并可能提供更好的错误消息和更高的性能。
尽管该模型尚未实现，但它为内存安全领域提供了新的可能性，并可能与其他机制结合，为未来语言设计提供新的方向。
阅读：https://verdagon.dev/blog/group-borrowing
Reddit：https://www.reddit.com/r/rust/comments/1n2cxk8/group_borrowing_zerocost_memory_safety_with_fewer/
文章《Rust 中的内存文件系统》
这篇文章讲述了作者在开发一个 CLI 工具时，试图寻找 Rust 中类似 Go 的 Afero 包来实现测试时的内存文件系统，以避免磁盘文件操作的性能问题。
他尝试了 vfs 和 rsfs 两个 crate，但 vfs 缺少对符号链接和文件权限的支持，rsfs 则使函数类型签名变得复杂。在对 vfs 和 rsfs 进行基准测试后，作者发现现代 SSD 和操作系统文件系统缓存的性能已经足够高，使用内存文件系统并没有明显的性能优势。
阅读：https://andre.arko.net/2025/08/18/in-memory-filesystems-in-rust/
Reddit：https://www.reddit.com/r/rust/comments/1n0uaaj/inmemory_filesystems_in_rust/
Daft：分布式查询引擎，支持大规模数据处理，提供 Python 和 SQL 接口
Daft 是一个用 Rust 实现的分布式查询引擎，支持大规模数据处理，提供 Python 和 SQL 接口。
它具备丰富的多模态类型系统（支持图片、URL、张量等），基于 Apache Arrow 内存格式，与云存储（如 S3）集成，支持交互式开发和分布式计算。
仓库：https://github.com/Eventual-Inc/Daft
Reddit：https://www.reddit.com/r/rust/comments/1n8o8ud/daft_is_trending_on_github_in_rust/
讨论：Rust 促进逻辑正确性
我们有一个金融科技应用程序。我用 Java 开发了一项服务。客户有时会报告错误。但我们无法确定问题所在。
我们开始将这项服务迁移到 Rust 主要是希望获得性能提升。在 Java 中花费 16 个小时并且不可行计算，现在在 Rust 中只需 2 个小时。
在用 Rust 重写代码时，我不得不更加仔细地思考代码，因为用 Rust 写的代码必须略有不同。在思考逻辑、规划代码的过程中，我发现 Java 的逻辑编写方式存在一些问题。我修复了 Rust 中的逻辑，我们的解决方案成功且准确。之后我们再也没有遇到任何问题。
因此，为了提高性能而开始的 Rust 重写最终解决了问题并使这项服务取得成功。
我得承认，用 Rust 写代码确实费劲，所以我想在投入这么多精力之前先把代码搞定。我把旧代码读了很多遍，吸收了所有知识。然后我在脑子里一步步演练，还做了一些模拟运行。这最终让我找到了一个更好的解决方案。这就是我写 Rust 提升逻辑正确性的原因。
“Rust 的难点在于，它会把你的错误决定摆到你面前，强迫你去处理。这既会让你感到沮丧，也会让你意识到自己思考问题的方式是错误的。”
Reddit：https://www.reddit.com/r/rust/comments/1n2i8wn/rust_promotes_logical_correctness/
--
From 日报小组 苦瓜小仔
社区学习交流平台订阅：
评论区
写评论还没有评论