A C++ library providing various concurrent data structures and reclamation schemes.
A collection of high-performance containers and utilities providing both asynchronous and synchronous interfaces
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.