CMR: Concurrent Memory Reclamation
Abstract
Concurrent memory reclamation is the problem of deciding whether a memory allocation is still in use or not in a concurrent system. This thesis presents a new memory management system called CMR for the Rust programming language and proves its correctness. We also show implementations of four concurrent data structures using CMR\@. Experimental results show that CMR may be viable for certain workloads, although intrinsic properties of the system may prevent it from general adoption.