Lock-free parallel and concurrent garbage collection by mark\&sweep
From MaRDI portal
Publication:858913
DOI10.1016/J.SCICO.2006.10.001zbMath1178.68528OpenAlexW2015706098MaRDI QIDQ858913
Wim H. Hesselink, Jan Friso Groote, Hui Gao
Publication date: 11 January 2007
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://pure.rug.nl/ws/files/2794847/2007SciCompProgGao.pdf
Related Items (6)
Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos ⋮ A general lock-free algorithm using compare-and-swap ⋮ Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ⋮ Simulation Refinement for Concurrency Verification ⋮ Proving linearizability with temporal logic ⋮ Simple concurrent garbage collection almost without synchronization
Uses Software
This page was built for publication: Lock-free parallel and concurrent garbage collection by mark\&sweep
