Lessons from BF-Tree: Building a Concurrent Larger-Than-Memory Index in Rust (opens in new tab)

A deep dive into the Rust implementation of BF-Tree, exploring custom allocators, RAII guards, atomic state machines, and deterministic concurrency testing with Shuttle.