memory-reclamation

There are 0 repository under memory-reclamation topic.

• Wolff09 / seal

  Verification tool for lock-free data structures with safe memory reclamation.

  lock-freedata-structuresverificationstaticanalysislinearizabilitymemory-managementhazard-pointerepoch-based-reclamationtype-systemmemory-reclamation
  Language:C++ 4

• Pslydhh / sebr

  A library that design with usability, reusability, scalability to reclaim memory safely in multithreading scenario.

  cpp17lock-freeusabilityreusabilityscalabilityconcurrencydata-structuresmemory-reclamationmemory-managementefficiencyepoch-based
  Language:C++ 2