Abstract:
A distributed protocol that records bounded snapshots of FIFO and non-FIFO communication channels, thus avoiding the unbounded storage requirements of other global-snapsh...Show MoreMetadata
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.<>
Published in: IEEE Parallel & Distributed Technology: Systems & Applications ( Volume: 1, Issue: 4, November 1993)
DOI: 10.1109/88.260297