Stack Allocation with Locals in OCaml | OCaml Unboxed

Jane Street is developing an open-source "local mode" branch for the OCaml compiler that reallocates data onto a specialized local stack to eliminate mark-and-sweep garbage collection pauses. By enforcing strict regional scoping where values cannot escape their lifecycle, this architecture enables constant-time deallocation and prevents the cache invalidation and stop-the-world latency inherent in standard heap allocation. The initiative aims to significantly boost low-latency performance by removing the overhead of garbage collection while maintaining memory safety through a novel mechanism called "exclaves."