CMR: Concurrent Memory Reclamation
Master thesis
Permanent lenke
http://hdl.handle.net/11250/2568522Utgivelsesdato
2018Metadata
Vis full innførselSamlinger
Sammendrag
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.