Simple, Fast and Widely Applicable Concurrent Memory Reclamation via Neutralization
Reclaiming memory in non-blocking dynamic data structures in unmanaged languages like C/C++ presents a unique challenge due to the risk of use-after-free errors caused by concurrent accesses. Existing safe memory reclamation (SMR) algorithms fall short of satisfying five key properties: high...
Paper | Code (Full version of conference paper (NBR) at PPoPP'21)