Lazy garbage collection of recovery state for fault-tolerant distributed shared memory

The problem of garbage collection in a single-failure fault-tolerant home-based lazy release consistency (HLRC) distributed shared memory (DSM) system, based on independent checkpointing and logging, is discussed. A solution is proposed that uses laziness in garbage collection and exploits consistency constraints of the HLRC memory model for low overhead and scalability.