Meta Garbage Collection: Using OCaml's GC to GC Rust
Summary
The post explains how Soteria Rust reduced a quadratic time issue in Tree Borrows by delegating garbage collection to OCaml. It covers the cause, the fix using OCaml GC with weak references, and performance results showing a shift from quadratic to linear time with significant speedups. It also discusses GC tuning, practical tradeoffs, and highlights the benefits of host-language integration for implementing meta garbage collection.