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.
KeywordsGlobal State Predicate Detection Local Predicate Mutual Exclusion Algorithm Vector Clock
Unable to display preview. Download preview PDF.