Wolff09 / seal Star 4 Code Issues Pull requests Verification tool for lock-free data structures with safe memory reclamation. verification data-structures memory-management lock-free type-system hazard-pointer staticanalysis linearizability epoch-based-reclamation memory-reclamation Updated Jun 18, 2021 C++
Pslydhh / sebr Star 2 Code Issues Pull requests A library that design with usability, reusability, scalability to reclaim memory safely in multithreading scenario. scalability concurrency efficiency data-structures usability cpp17 memory-management lock-free reusability memory-reclamation epoch-based Updated May 25, 2022 C++