Simple concurrent garbage collection almost without synchronization

DOI10.1007/s10703-009-0083-zzbMath1213.68163OpenAlexW2167830235MaRDI QIDQ5962117

M. I. Lali, Wim H. Hesselink

Publication date: 16 September 2010

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://research.rug.nl/en/publications/simple-concurrent-garbage-collection-almost-without-synchronization(0816903e-1b78-4717-ad55-389e06b4ed49).html

zbMATH Keywords

verificationtheorem provingconcurrent algorithmsconcurrent garbage collectionmemory model

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Theory of programming languages (68N15)

Related Items (1)

Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example

Uses Software

• PVS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lock-free parallel and concurrent garbage collection by mark\&sweep
• On-the-fly garbage collection for several mutators
• Algorithms for on-the-fly garbage collection
• Multiprocessing compactifying garbage collection
• On-the-fly garbage collection

This page was built for publication: Simple concurrent garbage collection almost without synchronization