The Edge of Safe Rust
Summary
The Edge of Safe Rust is a technical exploration of Rust memory safety when dealing with cyclic data structures and pointers. The author compares ownership based memory safety with reachability based garbage collection, and surveys methods such as generational indexing, vector based graph representations, and tracing garbage collection. The piece also discusses hardware assisted pointers like CHERI and the gc-arena style design, arguing for a flexible systems programming model in which multiple garbage collectors can exist at once. It outlines a path toward safe, provable garbage collection in Rust through branded indices, arenas, and tracing techniques, with attention to safety, correctness, and practical usability.