An incremental garbage collection algorithm for multi-mutator systems

DOI10.1007/BF01788566zbMath0659.68040MaRDI QIDQ1112594

Carl P. Pixley

Publication date: 1988

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

parallel processingconcurrent programmingcorrectness proofgarbage collectionmultiprocessing

Mathematics Subject Classification ID

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

Related Items

A mechanically verified incremental garbage collector, On-the-fly garbage collection for several mutators

Cites Work

• Algorithms for on-the-fly garbage collection
• On-the-fly garbage collection