This Article 
 Bibliographic References 
 Add to: 
Techniques to Tackle State Explosion in Global Predicate Detection
August 2001 (vol. 27 no. 8)
pp. 704-714

Abstract—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 $\Phi$ is true at some consistent global state of a distributed system. We present space efficient on-line algorithms for detecting $\Phi$. 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.

[1] S. Alagar and S. Venkatesan, “Hierarchy in Testing Distributed Programs,” Lecture Notes in Computer Science, vol. 749, pp. 101-116, 1993.
[2] K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, Feb. 1985.
[3] R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," in Proc. Workshop Parallel and Distributed Debugging, ACM Press, New York, pp. 163-173.
[4] J. Fidge, “Timestamps in Message Passing Systems that Preserve the Partial Ordering,” Proc. 11th Australian Computer Science Conf., pp. 55-66, 1988.
[5] V.K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs, IEEE Trans. Parallel and Distributed Systems, Dec. 1996, pp. 1323-1333.
[6] M. Hurfin, N. Plouzeau, and M. Raynal, "Detecting Atomic Sequences of Predicates in Distributed Computations," in Proc. Workshop Parallel and Distributed Debugging, 1993, ACM Press, pp. 32-42.
[7] R. Jegou, R. Medina, and L. Nourine, “Linear Space Algorithm for On-Line Detection of Global Predicates,” Proc. Int'l Workshop Structures in Concurrency Theory, 1995.
[8] L. Lamport, "Time, clocks and the ordering of events in a distributed system," Comm. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
[9] H.F. Li and B. Dash, “Detection of Safety Violations in Distributed Systems,” Proc. 1992 Int'l Conf. Parallel and Distributed Systems, pp. 275-282, 1992.
[10] Y. Manabe and M. Imase,“Global conditions in debugging distributed programs,”J. Parallel Distrib. Comput.,pp. 62–69, 1992.
[11] K. Marzullo and G. Neiger, “Detection of Global State Predicate,” Lectures Notes in Computer Science, vol. 59, pp. 254-272, Springer Verlag, 1991.
[12] F. Mattern, “Virtual Time and Global States of Distributed Systems,” Parallel and Distributed Algorithms: Proc. Int'l Workshop Parallel and Distributed Algorithms, M. Cosnard et. al., eds., pp. 215-226, 1989.
[13] M. Spezialetti,“A generalized approach to monitoring distributed computations for event occurrences,”Ph.D. dissertation, Univ. Pittsburgh, Pittsburgh, PA, 1989.
[14] M. Spezialetti and P. Kearns, "Simultaneous Regions: A Framework for the Consistent Monitoring of Distributed Systems," Proc. Ninth Int'l Conf. Distributed Computing Systems, pp. 61-68, 1989.
[15] S.D. Stoller and F.B. Schneider, "Faster Possibility Detection by Combining Two Approaches," in Proc. Workshop Distributed Algorithms, LNCS971, Springer-Verlag, 1995, pp. 318-332.
[16] S.D. Stoller and Y.A. Liu, “Efficient Symbolic Detection of Global Properties in Distributed Systems,” Proc. 10th Int'l Conf. Computer-Aided Verification (CAV '98), 1998.
[17] S.D. Stoller, L. Unnikrishnan, and Y.L. Liu, “Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods,” Technical Report 523, Computer Science Dept., Indiana Univ., Oct. 1999,
[18] S. Venkatesan and B. Dathan, "Testing and Debugging Distributed Programs Using Global Predicates, IEEE Trans. Software Eng., vol. 21, no. 2, pp. 163-177, Feb. 1995.

Index Terms:
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, Aug. 2001, doi:10.1109/32.940566
Usage of this product signifies your acceptance of the Terms of Use.