ComputingComputer ScienceComputer SystemsDatabasesDistributed SystemsMessage PassingDistributed ComputingDistributed DebuggingReliable Distributed SystemsSnapshot ManagementGlobal StateIncremental SnapshotsLower BoundsMessage ComplexityMessage Complexity In Distributed ComputationSnapshot AlgorithmsWorst-case BoundsWorst-case Complexity
The problem of obtaining a global state or snapshot of a distributed processing system is considered. A message-efficient protocol is presented for obtaining incremental snapshots. First, worst-case lower bounds on the number of messages used by any protocol that solves the incremental snapshot problem are given, and then a protocol that is message-efficient is provided. This protocol obtains a snapshot of the system using the most recent snapshot. The message complexity of the incremental snapshot protocol matches the two lower bounds simultaneously, and hence the protocol is asymptotically message optimal. For applications in database systems, debugging distributed programs, monitoring events, or checkpointing, the protocol is asymptotically message optimal. Because of its simplicity, the protocol can be used readily, and since it uses the minimum number of additional messages, the throughput of the distributed system is not adversely affected.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
9
K. Mani Chandy, Leslie Lamport · ACM Transactions on Computer Systems · 1985 · 2.4K citations · Full text
Ten H. Lai, Tao Yang · Information Processing Letters · 1987 · 207 citations
Michael Powell, David L. Presotto · ACM SIGOPS Operating Systems Review · 1983 · 169 citations · Full text
Breakpoints and halting in distributed programs
Barton P. Miller, Jong-Min Choi · 2003 · 118 citations · Full text