This Month in Rust OSDev: June 2025
主编：phil-opp
6 月使用 Rust 开发操作系统的情况和资讯。
阅读：https://rust-osdev.***/this-month/2025-06/
PLDI'25 - 《Tree Borrows》 - 杰出论文奖
经过数年的努力，Tree Borrows 论文终于在首尔的 PLDI 2025 上正式发表。
与之前在本博客和 Neven 网站上提到的相比，Tree Borrows 并没有太大变化。
我们利用这些额外的时间进行了形式化证明 ，证明 Tree Borrows 确实能够实现我们希望实现的一些优化，并在 crates.io 上下载次数最多的 3 万个 crate 上对 Tree Borrows 进行了广泛的评估。
这套完整的实现、证明和评估方案给 PLDI 程序委员会留下了深刻的印象，我们因此获得了杰出论文奖。
论文：https://dl.acm.org/doi/10.1145/3735592
slides 及 PLDI 演讲视频：https://github.***/Vanille-N/tree-beamer
Tree Borrow 博客：https://perso.crans.org/vanille/treebor/
