Safe Deferred Memory Reclamation with Types

Ismail Kuru, Colin S. Gordon

Memory management in lock-free data structures remains a major challenge in concurrent programming. Design techniques including read-copy-update (RCU) and hazard pointers provide w…