Algorithms for on-the-fly garbage collection

DOI10.1145/579.587MaRDI QIDQ3321450zbMATH OpenOpenAlexFDO

Authors Mordechai Ben-Ari

Publication date 1984

Published in ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/579.587

zbMATH Keywords

correctness proofsverification

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On-the-fly garbage collection for several mutators
• Simple concurrent garbage collection almost without synchronization
• scientific article; zbMATH DE number 3990849
• scientific article; zbMATH DE number 4106259
• scientific article; zbMATH DE number 4090777

Cited in

(17)

• The derivation of graph marking algorithms from distributed termination detection protocols
• An incremental garbage collection algorithm for multi-mutator systems
• On-the-fly garbage collection for several mutators
• A mechanically verified incremental garbage collector
• Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example
• scientific article; zbMATH DE number 3990849 (Why is no real title available?)
• scientific article; zbMATH DE number 4090777 (Why is no real title available?)
• scientific article; zbMATH DE number 4106259 (Why is no real title available?)
• scientific article; zbMATH DE number 42971 (Why is no real title available?)
• scientific article; zbMATH DE number 176513 (Why is no real title available?)
• scientific article; zbMATH DE number 1332627 (Why is no real title available?)
• scientific article; zbMATH DE number 3997151 (Why is no real title available?)
• scientific article; zbMATH DE number 4117824 (Why is no real title available?)
• Concurrent garbage collection for concurrent rewriting
• Simple concurrent garbage collection almost without synchronization
• Stop-and-copy and one-bit reference counting
• Fine-grained concurrency with separation logic

This page was built for publication: Algorithms for on-the-fly garbage collection

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