Title :
Bounded and minimum global snapshots
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
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.<>
Keywords :
protocols; telecommunication channels; FIFO; bounded snapshots; communication channels; correctness; distributed protocol; maximum-flow problem; minimum global snapshots; Buffer storage; Channel capacity; Checkpointing; Computer crashes; Degradation; Distributed computing; Educational institutions; History; Protocols; System recovery;
Journal_Title :
Parallel & Distributed Technology: Systems & Applications, IEEE
