Modelling a Distributed Cached Store for Garbage Collection: The Algorithm and Its Correctness Proof
Abstract elided by the publisher.
Related papers
- Formal Models of Distributed Memory Management ICFP 1997
- Incremental Distribution of Timestamp Packets: A New Approach to Distributed Garbage Collection OOPSLA 1989
- Hardware-software co-optimization of memory management in dynamic languages ISMM 2018
- Model checking copy phases of concurrent copying garbage collection with various memory models OOPSLA 2017
- The Derivation of Distributed Termination Detection Algorithms from Garbage Collection Schemes TOPLAS 1993
- Cache Performance of Garbage-Collected Programs PLDI 1994
- Algorithms for On-the-fly Garbage Collection TOPLAS 1984
- Prioritized garbage collection: explicit GC support for software caches OOPSLA 2016