Possible Global Predicates

  • Vijay K. Garg


Detection of a global predicate, that is a condition that depends on the global state, is a fundamental problem in distributed computing. This problem arises in many contexts such as designing, testing and debugging of distributed programs. For example, the detection of global predicates arises in implementing the most basic command of a debugging system: “stop the program when the predicate q is true.” To stop the program, it is necessary to detect the predicate q; a non-trivial task if q requires access to the global state.


Global State Predicate Detection Local Predicate Mutual Exclusion Algorithm Vector Clock 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Vijay K. Garg
    • 1
  1. 1.Department of Electrical and Computer EngineeringUniversity of Texas at AustinAustinUSA

Personalised recommendations