The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1998 vol.24)
pp: 664-677
ABSTRACT
<p><b>Abstract</b>—Global predicate detection is a fundamental problem in distributed systems and finds applications in many domains such as testing and debugging distributed programs. This paper presents an efficient distributed algorithm to detect conjunctive form global predicates in distributed systems. The algorithm detects the first consistent global state that satisfies the predicate even if the predicate is unstable. Unlike previously proposed run-time predicate detection algorithms, our algorithm does not require exchange of control messages during the normal computation. All the necessary information to detect predicates is piggybacked on computation messages of application programs. The algorithm is distributed because the predicate detection efforts as well as the necessary information are equally distributed among the processes. We prove the correctness of the algorithm and compare its performance with respect to message, storage, and computational complexities with that of the previously proposed run-time predicate detection algorithms.</p>
INDEX TERMS
Distributed systems, on-the-fly global predicate detection.
CITATION
Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal, "Efficient Distributed Detection of Conjunctions of Local Predicates", IEEE Transactions on Software Engineering, vol.24, no. 8, pp. 664-677, August 1998, doi:10.1109/32.707701
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool