kirancodes.me
To Proof Maintenance & Beyond!

Stamp-it, amortized constant-time memory reclamation in comparison to five other schemes

Manuel Pöter, Jesper Larsson Träff

Abstract

The memory reclamation problem is to determine, for any given allocated memory node, when there are no more references to the node, allowing it to be safely returned to the memory management system. In a concurrent context, the memory reclamation problem is highly non-trivial, since there may be more than one thread referencing an allocated node unbeknownst to the other threads.

Related papers