Distributed Snapshots In Spite of Failures

An extension of the Chandy-Lamport algorithm ([Chan84]) to find global states of distributed systems is presented where benign failures of processes and channels are permitted. The scope of the algorithm in detecting stable properties in distributed systems is discussed. As an application, an algorithm to detect deadlocks in failure-prone distributed systems is presented