A C++ library providing various concurrent data structures and reclamation schemes.
High-performance containers and utilities for concurrent and asynchronous programming
Effective Memory Reclamation
Scalable and lock-free memory reclamation system
concurrent and lockfree data structures in C++
Verification tool for lock-free data structures with safe memory reclamation.