Issue No. 08 - August (1998 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.707701
<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>
Distributed systems, on-the-fly global predicate detection.
Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal, "Efficient Distributed Detection of Conjunctions of Local Predicates", IEEE Transactions on Software Engineering, vol. 24, no. , pp. 664-677, August 1998, doi:10.1109/32.707701