Abstract
This paper proposes a framework for predicate detection in systems of processes with approximately-synchronized real-time clocks. Timestamps from these clocks are used to define two orderings on events: “definitely occurred before” and “possibly occurred before”. These orderings lead naturally to definitions of 3 distinct detection modalities, i.e., 3 meanings of “predicate Ф held during a computation”, namely: POSST Ф (“Ф possibly held”), DefT Ф (“Ф definitely held”), and Inst (“Ф definitely held at a specific instant”). This paper defines these modalities and gives efficient algorithms for detecting them, the algorithms are based on algorithms of Cooper and Marzullo, Garg and Waldecker, and Fromentin and Raynal.
In this paper, all partial orderings are irreflexive unless specified otherwise.
Preview
Unable to display preview. Download preview PDF.
References
Ö. Babaoglu and K. Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. In Sape Mullender, editor, Distributed Systems, ch. 5, pages 97–145. Addison Wesley, 2nd ed., 1993.
B. Charron-Bost, C. Delporte-Gallet, and H. Fauconnier. Local and temporal predicates in distributed systems. ACM Trans. on Programming Languages and Systems, 17(1):157–179, January 1995.
T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.
R. Cooper and K. Marzullo. Consistent detection of global predicates. In Proc. ACMIONR Workshop on Parallel and Distributed Debugging, 1991. Appeared as ACM SIGPLAN Notices 26(12):167–174, December 1991.
C. Diehl, C. Jard, and J.-X. Rampon. Reachability analysis on distributed executions. In J.-P. Jouannaud and M.-C. Gaudel, editors, TAPSOFT '93: Theory and Practice of Software Development, vol. 668 of Lecture Notes in Computer Science, pages 629–643. Springer, 1993.
E. Fromentin and M. Raynal. Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way. In Proc. 6th IEEE Symposium on Parallel and Distributed Processing, 1994.
E. Fromentin and M. Raynal. Characterizing and detecting the set of global states seen by all observers of a distributed computation. In Proc. IEEE 15th Int'l. Conference on Distributed Computing Systems, 1995.
V. K. Garg and B. Waldecker. Detection of weak unstable predicates in distributed programs. IEEE Trans. on Parallel and Distributed Systems, 5(3):299–307, 1994.
V. K. Garg and B. Waldecker. Detection of strong unstable predicates in distributed programs. IEEE Trans. on Parallel and Distributed Systems, 7(12):1323–1333, 1996.
R. Jegou, R. Medina, and L. Nourine. Linear space algorithm for on-line detection of global predicates. In J. Desel, editor, Proc. Int'l. Workshop on Structures in Concurrency Theory (STRICT '95). Springer, 1995.
L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–564, 1978.
D. L. Mills. Internet time synchronization: the Network Time Protocol. IEEE Trans. Communications, 39(10):1482–1493, October 1991.
D. L. Mills. Improved algorithms for synchronizing computer network clocks. IEEE/ACM Transactions on Networking, 3(3):245–254, June 1995.
K. Marzullo and G. Neiger. Detection of global state predicates. In Proc. 5th Int'l. Workshop on Distributed Algorithms (WDAG '91), vol. 579 of Lecture Notes in Computer Science, pages 254–272. Springer, 1991.
R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3):149–174, 1994.
S. D. Stoller and F. B. Schneider. Faster possibility detection by combining two approaches. In J.-M. Hélary and M. Raynal, editors, Proc. 9th Int'l. Workshop on Distributed Algorithms (WDAG '95), vol. 972 of Lecture Notes in Computer Science, pages 318–332. Springer, 1995.
A. S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, 1995.
P. Veríssimo. Real-time communication. In Sape Mullender, editor, Distributed Systems, ch. 17, pages 447–490. Addison Wesley, 2nd ed., 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stoller, S.D. (1997). Detecting global predicates in distributed systems with clocks. In: Mavronicolas, M., Tsigas, P. (eds) Distributed Algorithms. WDAG 1997. Lecture Notes in Computer Science, vol 1320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030684
Download citation
DOI: https://doi.org/10.1007/BFb0030684
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63575-8
Online ISBN: 978-3-540-69600-1
eBook Packages: Springer Book Archive