Tree Borrows untuk Pengoptimalan Rust

Tree Borrows adalah model formal baru yang menggantikan tumpukan di Stacked Borrows dengan struktur pohon untuk mengatur aliasing pointer di Rust.

Model Stacked Borrows sebelumnya menolak banyak pola unsafe Rust yang umum dan tidak mendukung fitur terbaru dari borrow checker Rust.

Evaluasi pada 30.000 crate Rust terpopuler menunjukkan Tree Borrows menolak 54% lebih sedikit kasus uji dibandingkan Stacked Borrows.

Dalam bukti Coq, Tree Borrows mempertahankan sebagian besar optimisasi Stacked Borrows dan menambahkan optimisasi baru seperti read-read reorderings.

Tree Borrows diakui dengan Distinguished Paper Award pada PLDI’25.