Detecting global predicates in distributed systems with clocks
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.
Keywordsglobal predicate detection consistent global states partially-synchronous systems distributed debugging real-time monitoring
Unable to display preview. Download preview PDF.
- [BM93]Ö. 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.Google Scholar
- [CLR90]T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.Google Scholar
- [CM91]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.Google Scholar
- [DJR93]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.Google Scholar
- [FR94]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.Google Scholar
- [FR95]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.Google Scholar
- [JMN95]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.Google Scholar
- [MN91]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.Google Scholar
- [SM94]R. Schwarz and F. Mattern. Detecting causal relationships in distributed computations: In search of the holy grail. Distributed Computing, 7(3):149–174, 1994.Google Scholar
- [SS95]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.Google Scholar
- [Tan95]A. S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, 1995.Google Scholar
- [Ver93]P. Veríssimo. Real-time communication. In Sape Mullender, editor, Distributed Systems, ch. 17, pages 447–490. Addison Wesley, 2nd ed., 1993.Google Scholar