Lazy Garbage Collection of Recovery State for Fault-Tolerant Distributed Shared Memory