Simple concurrent garbage collection almost without synchronization

DOI10.1007/S10703-009-0083-ZMaRDI QIDQ5962117zbMATH OpenOpenAlexFDO

Authors W. H. Hesselink, M. I. Lali

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 provingmemory modelconcurrent algorithmsconcurrent garbage collection

Mathematics Subject Classification ID

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

Recommendations

• 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
• An incremental garbage collection algorithm for multi-mutator systems
• scientific article; zbMATH DE number 1728241

Cites work

• scientific article; zbMATH DE number 986404 (Why is no real title available?)
• scientific article; zbMATH DE number 986405 (Why is no real title available?)
• scientific article; zbMATH DE number 108539 (Why is no real title available?)
• scientific article; zbMATH DE number 1759448 (Why is no real title available?)
• Algorithms for on-the-fly garbage collection
• Lock-free parallel and concurrent garbage collection by mark\&sweep
• Multiprocessing compactifying garbage collection
• On-the-fly garbage collection
• On-the-fly garbage collection for several mutators

Cited in

(12)

• Correctness of a concurrent object collector for actor languages
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• scientific article; zbMATH DE number 1701349 (Why is no real title available?)
• Sapphire: copying garbage collection without stopping the world
• Lock-free parallel and concurrent garbage collection by mark\&sweep
• Algorithms for on-the-fly garbage collection
• An incremental garbage collection algorithm for multi-mutator systems
• Concurrent garbage collection for concurrent rewriting
• scientific article; zbMATH DE number 1759448 (Why is no real title available?)
• Formal derivation of concurrent garbage collectors
• On-the-fly garbage collection for several mutators
• Verifying concurrent memory reclamation algorithms with grace

Describes a project that uses

Uses Software

• PVS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962117)