Bounded and minimum global snapshots

Abstract

A distributed protocol that records bounded snapshots of FIFO and non-FIFO communication channels, thus avoiding the unbounded storage requirements of other global-snapshot protocols, is described. The assumptions and definitions underlying the protocol are discussed, and its correctness is demonstrated. A modified protocol that can minimize a recorded global state by solving the maximum-flow problem is also presented.<>