• DocumentCode
    1020668
  • Title

    Bounded and minimum global snapshots

  • Author

    Groselj, Bojan

  • Author_Institution
    Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
  • Volume
    1
  • Issue
    4
  • fYear
    1993
  • Firstpage
    72
  • Lastpage
    83
  • 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;
  • fLanguage
    English
  • Journal_Title
    Parallel & Distributed Technology: Systems & Applications, IEEE
  • Publisher
    ieee
  • ISSN
    1063-6552
  • Type

    jour

  • DOI
    10.1109/88.260297
  • Filename
    260297