Abstract
A sequential execution can be represented by the sequence (trace) of consecutive local states it has produced, or, given its initial state, by the sequence of statements that have been executed. Hence, a question that comes naturally to mind is the following one: How do we model a distributed execution?
This chapter answers first this question. To that end, it gives basic definitions, and presents three ways to model a distributed execution, namely, a partial order on a set of events, a partial order on a set of local states, and a lattice of global states. While these three types of models are equivalent, it appears that each one is more appropriate than the others to analyze and understand specific features of distributed executions.
The chapter then focuses on a fundamental notion of distributed computing, namely, the notion of a global state. The chapter analyzes global states and presents several distributed algorithms, which compute on the fly global states of a distributed application. These algorithms are observation algorithms (they have to observe an execution without modifying its behavior). It is shown that the best that can be done is the computation of a global state in which a distributed execution has passed or could have passed. This means that no process can know if the distributed execution has passed or has not passed through the global state which is returned as a result. This noteworthy feature illustrates the relativistic nature of the observation of distributed computations. Despite this relativistic feature, the computation of such global states allows distributed computing problems to be solved (such as the detection of stable properties).
Both the terms “global state” and “snapshot” are used with the same meaning in the literature. They have to be considered as synonyms. This chapter uses the term global state.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Acharya, B.R. Badrinath, Recording distributed snapshot based on causal order of message delivery. Inf. Process. Lett. 44, 317–321 (1992)
S. Alagar, S. Venkatesan, An optimal algorithm for distributed snapshots with message causal ordering. Inf. Process. Lett. 50, 310–316 (1994)
O. Babaoğlu, E. Fromentin, M. Raynal, A unified framework for the specification and the run-time detection of dynamic properties in distributed executions. J. Syst. Softw. 33, 287–298 (1996)
O. Babaoğlu, K. Marzullo, Consistent global states of distributed systems: fundamental concepts and mechanisms, in Distributed Systems (ACM/Addison-Wesley Press, New York, 1993), pp. 55–93. Chap. 4
L. Bougé, Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP. Theor. Comput. Sci. 49, 145–169 (1987)
K.M. Chandy, L. Lamport, Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63–75 (1985)
K.M. Chandy, J. Misra, Parallel Program Design (Addison-Wesley, Reading, 1988), 516 pages
R. Cooper, K. Marzullo, Consistent detection of global predicates, in Proc. ACM/ONR Workshop on Parallel and Distributed Debugging (ACM Press, New York, 1991), pp. 163–173
E. Fromentin, M. Raynal, Shared global states in distributed computations. J. Comput. Syst. Sci. 55(3), 522–528 (1997)
J.-M. Hélary, Observing global states of asynchronous distributed applications, in Proc. 3rd Int’l Workshop on Distributed Algorithms (WDAG’87). LNCS, vol. 392 (Springer, Berlin, 1987), pp. 124–135
J.-M. Hélary, C. Jard, N. Plouzeau, M. Raynal, Detection of stable properties in distributed systems, in Proc. 6th ACM Symposium on Principles of Distributed Computing (PODC’87) (ACM Press, New York, 1987), pp. 125–136
J.-M. Hélary, A. Mostéfaoui, M. Raynal, Interval consistency of asynchronous distributed computations. J. Comput. Syst. Sci. 64(2), 329–349 (2002)
J.-M. Hélary, R.H.B. Netzer, M. Raynal, Consistency criteria for distributed checkpoints. IEEE Trans. Softw. Eng. 2(2), 274–281 (1999)
A.D. Kshemkalyani, Fast and message-efficient global snapshot algorithms for large-scale distributed systems. IEEE Trans. Parallel Distrib. Syst. 21(9), 1281–1289 (2010)
A.D. Kshemkalyani, M. Raynal, M. Singhal, Global snapshots of a distributed systems. Distrib. Syst. Eng. 2(4), 224–233 (1995)
A.D. Kshemkalyani, M. Singhal, Efficient distributed snapshots in an anonymous asynchronous message-passing system. J. Parallel Distrib. Comput. 73, 621–629 (2013)
T.H. Lai, T.H. Yang, On distributed snapshots. Inf. Process. Lett. 25, 153–158 (1987)
L. Lamport, Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558–565 (1978)
T.F. Li, Th. Radhakrishnan, K. Venkatesh, Global state detection in non-FIFO networks, in Proc. 7th Int’l Conference on Distributed Computing Systems (ICDCS’87) (IEEE Press, New York, 1987), pp. 364–370
F. Mattern, Virtual time and global states of distributed systems, in Proc. Parallel and Distributed Algorithms Conference, ed. by M. Cosnard, P. Quinton, M. Raynal, Y. Robert (North-Holland, Amsterdam, 1988), pp. 215–226
F. Mattern, Efficient algorithms for distributed snapshots and global virtual time approximation. J. Parallel Distrib. Comput. 18, 423–434 (1993)
S.E. Pomares Hernadez, J.R. Perez Cruz, M. Raynal, From the happened before relation to the causal ordered set abstraction. J. Parallel Distrib. Comput. 72, 791–795 (2012)
M. Spezialetti, Ph. Kearns, Efficient distributed snapshots, in Proc. 6th Int’l Conference on Distributed Computing Systems (ICDCS’86) (IEEE Press, New York, 1986), pp. 382–388
K. Taylor, The role of inhibition in asynchronous consistent-cut protocols, in Proc. 3rd Int’l Workshop on Distributed Algorithms (WDAG’87). LNCS, vol. 392 (Springer, Berlin, 1987), pp. 280–291
S. Venkatesan, Message optimal incremental snapshots, in Proc. 9th Int’l Conference on Distributed Computing Systems (ICDCS’89) (IEEE Press, New York, 1989), pp. 53–60
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Raynal, M. (2013). Nature of Distributed Computations and the Concept of a Global State. In: Distributed Algorithms for Message-Passing Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38123-2_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-38123-2_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38122-5
Online ISBN: 978-3-642-38123-2
eBook Packages: Computer ScienceComputer Science (R0)