The Chandy–Lamport algorithm is a snapshot algorithm used in distributed computing for recording a consistent global state of an asynchronous distributed system. It was introduced by K. Mani Chandy and Leslie Lamport in 1985 and is one of the foundational algorithms for distributed-system observation; later applications include termination detection, deadlock detection, distributed debugging, and checkpointing for fault tolerance.
External links
- Original 1985 paper, hosted by Leslie Lamport (PDF)