An introduction to snapshot algorithms in distributed computing
- 1 December 1995
- journal article
- Published by IOP Publishing in Distributed Systems Engineering
- Vol. 2 (4) , 224-233
- https://doi.org/10.1088/0967-1846/2/4/005
Abstract
Recording on-the-fly global states of distributed executions is an important paradigm when one is interested in analysing, testing, or verifying properties associated with these executions. Since Chandy and Lamport`s (1985) seminal paper on this topic, this problem is called the snapshot problem. Unfortunately, the lack of both a globally shared memory and a global clock in a distributed system, added to the fact that transfer delays in these systems are finite but unpredictable, makes this problem non-trivial. This paper first discusses issues which have to be addressed to compute distributed snapshots in a consistent way. Then several algorithms which determine on-the-fly such snapshots are presented for several types of networks (according to the properties of their communication channels, namely, FIFO, non-FIFO, and causal delivery).Keywords
This publication has 9 references indexed in Scilit:
- An optimal algorithm for distributed snapshots with causal message orderingInformation Processing Letters, 1994
- Efficient detection and resolution of generalized distributed deadlocksIEEE Transactions on Software Engineering, 1994
- Efficient Algorithms for Distributed Snapshots and Global Virtual Time ApproximationJournal of Parallel and Distributed Computing, 1993
- Debugging tool for distributed Estelle programsComputer Communications, 1993
- Recording distributed snopshots based on causal order of message deliveryInformation Processing Letters, 1992
- On distributed snapshotsInformation Processing Letters, 1987
- Reliable communication in the presence of failuresACM Transactions on Computer Systems, 1987
- Discarding Obsolete Information in a Replicated Database SystemIEEE Transactions on Software Engineering, 1987
- Distributed snapshotsACM Transactions on Computer Systems, 1985