Published on 2024-05-30 | Last update: 2024-06-01 | 10 min read Table of Contents What problem is it trying to solve? What can we use it for? System model Global-State-Detection Algorithm What makes a snapshot consistent (or valid)? How to collect the snapshots? Systems implementing this algorithm TLA+ specification Conclusion References Some forms of distributed snapshots were around for a while already when Chandy-Lamport's distributed snapshots paper was first published in 1985. Lamport consi...