The Community for Technology Leaders
RSS Icon
Issue No.08 - August (2001 vol.27)
pp: 704-714
<p><b>Abstract</b>—Global predicate detection, which is an important problem in testing and debugging distributed programs, is very hard due to the combinatorial explosion of the global state space. This paper presents several techniques to tackle the state explosion problem in detecting whether an arbitrary predicate <tmath>$\Phi$</tmath> is true at some consistent global state of a distributed system. We present space efficient on-line algorithms for detecting <tmath>$\Phi$</tmath>. We then improve the performance of our algorithms, both in space and time, by increasing the granularity of the execution step from an event to a sequence of events in each process. </p>
Distributed systems, global states, global predicates, lattice, space complexity, global intervals.
Sridhar Alagar, Subbarayan Venkatesan, "Techniques to Tackle State Explosion in Global Predicate Detection", IEEE Transactions on Software Engineering, vol.27, no. 8, pp. 704-714, August 2001, doi:10.1109/32.940566
33 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool