Distributed Computing

, Volume 13, Issue 2, pp 85–98 | Cite as

Detecting global predicates in distributed systems with clocks

  • Scott D. Stoller
Original articles


This paper proposes a framework for detecting global state predicates 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 \(\Phi\) held during a computation”, namely: \(\mathop{\bf Poss}^{\stackrel{{\it db}}{rightarrow}}\Phi\) (“\(\Phi\) possibly held”), \(\mathop{\bf Def}^{\stackrel{{\it db}}{\rightarrow}}\Phi\) (“\(\Phi\) definitely held”), and \(\mathop{\bf Inst}\Phi\) (“\(\Phi\) definitely held in a specific global state”). This paper defines these modalities and gives efficient algorithms for detecting them. The algorithms are based on algorithms of Garg and Waldecker, Alagar and Venkatesan, Cooper and Marzullo, and Fromentin and Raynal. Complexity analysis shows that under reasonable assumptions, these real-time-clock-based detection algorithms are less expensive than detection algorithms based on Lamport's happened-before ordering. Sample applications are given to illustrate the benefits of this approach.

Key words:Global predicate detection – Consistent global states – Distributed debugging – Real-time monitoring 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Scott D. Stoller
    • 1
  1. 1.Computer Science Department, Indiana University, Bloomington, IN 47405, USA (e-mail:, US

Personalised recommendations