DMCA
Detection of Weak Unstable Predicates in Distributed Programs (1994)
| Venue: | IEEE Transactions on Parallel and Distributed Systems |
| Citations: | 96 - 34 self |
BibTeX
@ARTICLE{Garg94detectionof,
author = {Vijay K. Garg and Brian Waldecker},
title = {Detection of Weak Unstable Predicates in Distributed Programs},
journal = {IEEE Transactions on Parallel and Distributed Systems},
year = {1994},
volume = {5},
pages = {299--307}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper discusses detection of global predicates in a distributed program. Earlier algorithms for detection of global predicates proposed by Chandy and Lamport work only for stable predicates. A predicate is stable if it does not turn false once it becomes true. Our algorithms detect even unstable predicates without excessive overhead. In the past, such predicates have been regarded as too difficult to detect. The predicates are specified using a logic described formally in this paper. We discuss detection of weak conjunctive predicates which are formed by conjunction of predicates local to processes in the system. Our detection methods will detect if such a predicate is true for any interleaving of events in the system, whether the predicate is stable or not. Also, any predicate which can be reduced to a set of weak conjunctive predicates is detectable. This class of predicates captures many global predicates that are of interest to a programmer. The message complexity of our algor...
