Issue No. 12 - December (1996 vol. 7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.553309
<p><b>Abstract</b>—This paper discusses detection of global predicates in a distributed program. A run of a distributed program results in a set of sequential traces, one for each process. These traces may be combined to form many global sequences consistent with the single run of the program. A strong global predicate is true in a run if it is true for all global sequences consistent with the run. We present algorithms which detect if the given strong global predicate became true in a run of a distributed program. Our algorithms can be executed on line as well as off line. Moreover, our algorithms do not assume that underlying channels satisfy FIFO ordering.</p>
Unstable predicates, predicate detection, distributed algorithms, distributed debugging.
B. Waldecker and V. K. Garg, "Detection of Strong Unstable Predicates in Distributed Programs," in IEEE Transactions on Parallel & Distributed Systems, vol. 7, no. , pp. 1323-1333, 1996.