Skip to main content
SpringerLink
Log in

Detecting global predicates in distributed systems with clocks

  • Contributed Papers
  • Conference paper
  • First Online:
Distributed Algorithms (WDAG 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1320))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ö. 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 

  2. 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.

    Article  Google Scholar 

  3. T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms. MIT Press and McGraw-Hill, 1990.

    Google Scholar 

  4. 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 

  5. 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 

  6. 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 

  7. 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 

  8. 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.

    Article  Google Scholar 

  9. 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.

    Article  Google Scholar 

  10. 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 

  11. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558–564, 1978.

    Article  Google Scholar 

  12. D. L. Mills. Internet time synchronization: the Network Time Protocol. IEEE Trans. Communications, 39(10):1482–1493, October 1991.

    Article  Google Scholar 

  13. D. L. Mills. Improved algorithms for synchronizing computer network clocks. IEEE/ACM Transactions on Networking, 3(3):245–254, June 1995.

    Article  Google Scholar 

  14. 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 

  15. 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 

  16. 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 

  17. A. S. Tanenbaum. Distributed Operating Systems. Prentice-Hall, 1995.

    Google Scholar 

  18. P. Veríssimo. Real-time communication. In Sape Mullender, editor, Distributed Systems, ch. 17, pages 447–490. Addison Wesley, 2nd ed., 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, Indiana University, 47405, Bloomington, IN, USA

    Scott D. Stoller

Authors
  1. Scott D. Stoller
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marios Mavronicolas Philippas Tsigas

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation