Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Distributed Algorithms

WDAG 1991: Distributed Algorithms pp 254–272Cite as

Detection of global state predicates

  • Conference paper
  • First Online:

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

Abstract

This paper examines algorithms for detecting when a property Φ holds during the execution of a distributed system. The properties we consider are expressed over the state of the system and are not assumed to have properties that facilitate detection, such as stability.

Detection is done by a monitoring process within the system, which cannot perceive an execution of a distributed system as a total order; because of this, we consider two interpretations for “detecting Φ”:

  1. 1.

    There is an execution consistent with the observed behavior such that Φ was true at a point in that execution. We refer to this property as possibly Φ.

  2. 2.

    For all executions consistent with the observed behavior, there was some point in real time at which the global state of the system satisfied Φ. We refer to this property as definitely Φ.

In this paper, we give formal definitions for these two interpretations and present algorithms for them. We give protocols for both asynchronous and synchronous systems and, for synchronous systems, give upper bounds on the time between the occurrence of the property of interest and the time a monitor detects the property.

This author was supported in part by the Defense Advanced Research Projects Agency (DoD) under NASA Ames grant number NAG 2-593 and by grants from IBM, Siemens and Xerox. The views, opinions, and findings contained in this report are those of the authors and should not be construed as an official Department of Defense position, policy, or decision.

This author was supported in part by the National Science Foundation under grants CCR-8909663 and CCR-9106627.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kenneth P. Birman and Thomas A. Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems, 5(1):47–76, February 1987.

    Google Scholar 

  2. K. Mani Chandy and Leslie Lamport. Distributed snapshots: determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63–75, February 1985.

    Google Scholar 

  3. Robert C. B. Cooper and Keith Marzullo. Consistent detection of global predicates. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, pages 163–173. ACM/ONR, 1991.

    Google Scholar 

  4. C. J. Fidge. Partial orders for parallel debugging. In SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pages 183–194. ACM, 1988.

    Google Scholar 

  5. David Garlan and Ehsan Ilias. Low-cost, adaptable tool integration policies for integrated environments. In Proceedings of the Fourth Symposium on Software Development Environments, pages 1–10. ACM SIGSOFT, 1990.

    Google Scholar 

  6. David Harel and Amir Pnueli. On the development of reactive systems. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI Series F, pages 477–498. Springer-Verlag, New York, 1985.

    Google Scholar 

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

    Google Scholar 

  8. Keith Marzullo. Tolerating failures of continuous-valued sensors. ACM Transactions on Computer Systems, 8(4):284–304, November 1990.

    Google Scholar 

  9. Keith Marzullo, Robert C. B. Cooper, Mark Wood, and Kenneth P. Birman. Tools for distributed application management. IEEE Computer, 24(8):42–51, August 1991.

    Google Scholar 

  10. Keith Marzullo and Laura Sabel. Using consistent subcuts for detecting stable properties. In Proceedings of the Fifth Workshop on Distributed Algorithms and Graphs, October 1991. To appear.

    Google Scholar 

  11. Keith Marzullo and Mark Wood. Tools for distributed application management. In Proceedings of the Spring 1991 EurOpen Conference, pages 477–498, May 1991.

    Google Scholar 

  12. Friedemann Mattern. Time and global states of distributed systems. In Michel Cosnard et. al., editor, Proceedings of the International Workshop on Parallel and Distributed Algorithms, pages 215–226. North-Holland, October 1989.

    Google Scholar 

  13. Barton P. Miller and Jong-Deok Choi. Breakpoints and halting in distributed programs. In Proceedings of the Eighth International Conference on Distributed Computing Systems, pages 316–323. IEEE, 1988.

    Google Scholar 

  14. Steven P. Reiss. Connecting tools using message passing in the FIELD program development environment. IEEE Software, 7(4), July 1990.

    Google Scholar 

  15. M. Spezialetti and J. P. Kearns. Simultaneous regions: A framework for the consistent monitoring of distributed computations. In Proceedings of the Ninth International Conference on Distributed Computing Systems, pages 61–68. IEEE, 1989.

    Google Scholar 

  16. Madelene Spezialetti. A Generalized Approach to Monitoring Distributed Computations for Event Occurrences. Ph.D. dissertation, University of Pittsburgh, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Cornell University, Upson Hall, 14853-7501, Ithaca, New York, USA

    Keith Marzullo

  2. Georgia Institute of Technology, College of Computing, 30332-0280, Atlanta, Georgia, USA

    Gil Neiger

Authors
  1. Keith Marzullo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gil Neiger
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Sam Toueg Paul G. Spirakis Lefteris Kirousis

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Marzullo, K., Neiger, G. (1992). Detection of global state predicates. In: Toueg, S., Spirakis, P.G., Kirousis, L. (eds) Distributed Algorithms. WDAG 1991. Lecture Notes in Computer Science, vol 579. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022452

Download citation

  • DOI: https://doi.org/10.1007/BFb0022452

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55236-9

  • Online ISBN: 978-3-540-46789-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation