Detection of global predicates: Techniques and their limitations

Distributed Computing

Volumn 11, Issue 4, 1998, Pages 191-201

  Chase, Craig M ^a,b,c,d,e   Garg, Vijay K ^a,f,g,h  

^a The University of Texas at Austin   (United States)

^b Cornell University ^*

^c PURDUE UNIVERSITY   (United States)

^d Cornell University ^*

^e TEXAS INSTRUMENTS   (United States)

^f INDIAN INSTITUTE OF TECHNOLOGY KANPUR   (India)

^g UNIVERSITY OF CALIFORNIA   (United States)

^h GENERAL MOTORS CORPORATION   (United States)

Author keywords

Distributed debugging; Predicate detection; Unstable predicates

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; ERROR DETECTION; PROGRAM DEBUGGING;

DISTRIBUTED DEBUGGING; PREDICATE DETECTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032313758     PISSN: 01782770     EISSN: None     Source Type: Journal    
DOI: 10.1007/s004460050049     Document Type: Article

References (25)

1. Babaoǧlu Ö, Marzullo K: Consistent global states of distributed systems: Fundamental concepts and mechanisms. In: Sape Mullender (ed) Distributed Systems (2nd edn), pp 55-96, New York: Addison Wesley 1994
2. Babaoǧlu Ö, Raynal M: Specification and detection of behavioral patterns in distributed computations. In: Proc. of 4th IFIP WG 10.4 Int. Conference on Dependable Computing for Critical Applications, San Diego, CA, January 1994. Berlin Heidelberg New york: Springer
3. Bouge L: Repeated snapshots in distributed systems with synchronous communication and their implementation in CSP. Theor. Comput. Sci. 49:145-169 (1987)
4. Chandy KM, Lamport L: Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems 3(1):63-75 (1985)
5. Charron-Bost B, Delporte-Gallet C, Fauconnier H: Local and temporal predicates in distributed systems. ACM Transactions on Programming Languages and Systems 17(1):157-179 (1995)
6. Chase CM, Garg VK: Efficient detection of restricted classes of global predicates. In: Proceedings of the 9th International Workshop on Distributed Algorithms, Lecture Notes in Computer Science Vol 927, pp 303-317, Berlin Heidelberg New York: Springer 1995
7. Cooper R, Marzullo K: Consistent detection of global predicates. In: Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, pp 163-173, Santa Cruz, CA, May 1991
8. Fromentin, E, Raynal, M, Garg VK, Tomlinson AI: On the fly testing of regular patterns in distributed computations. In: Proc. of the 23rd Intl. Conf. on Parallel Processing, Vol 2, pp 73-76, St. Charles, IL, August 1994
9. Garg VK: Observation of global properties in distributed systems. In: Eighth IEEE International Conference on Software and Knowledge Engineering, pp 418-425. IEEE, June 1996 Revised version in IEEE Concurrency, Vol 5 No 4, pp 69-77, October 1997
10. Garg VK: Observation of global properties in distributed systems. In: Eighth IEEE International Conference on Software and Knowledge Engineering, pp 418-425. IEEE, June 1996 Revised version in IEEE Concurrency, Vol 5 No 4, pp 69-77, October 1997
11. Garg VK, Waldecker B: Detection of weak unstable predicates in distributed programs. IEEE Trans Parallel Distrib Syst 5(3):299-307 (1994)
12. Garg VK, Waldecker B: Detection of strong unstable predicates in distributed programs. IEEE Trans Parallel Distrib Syst 7(12):1323-1333 (1996)
13. Garg VK, Chase CM, Mitchell JR, Kilgore R: Detecting conjunctive channel predicates in a distributed programming environment. In: Proc. of the International Conference on System Sciences, Vol 2, pp 232-241, Maui, Hawaii, January 1995
14. Groselj B: Bounded and minimum global snapshots. IEEE Parallel and Distributed Technology 1(4):72-83 (1993)
15. Hurfin M, Plouzeau N, Raynal M: Detecting atomic sequences of predicates in distributed computations. In: Proc. of the Workshop on Parallel and Distributed Debugging, pp32-42, San Diego, CA, May 1993. ACM/ONR. (Reprinted in SIGPLAN Notices, Dec. 1993)
16. Jégou R, Medina R, Nourine L: Linear space algorithm for on-line detection of global predicates. In: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT '95), pp 175-189, Berlin, Germany, 1995
17. Johnson DB, Zwaenepoel W: Recovery in distributed systems using optimistic message logging and checkpointing. J Algorithms 11(3):462-491 (1990)
18. Lamport L: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7):558-565 (1978)
19. Marzullo K, Neiger G: Detection of global state predicates. In: Proceedings of the 5th International Workshop on Distributed Algorithms, pp 254-272, Delphi, Greece, 1991
20. Mattern F: Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, pp 215-226. Amsterdam: Elsevier 1989
21. th International Conference on Distributed Computing Systems, pp 316-323, San Jose, CA, July 1988
22. Schwartz R, Mattern F: Detecting causal relationships in distributed computations: In search of the holy grail. Distrib Comput 7(3):149-174 (1994)
23. th International Conference on Distributed Computing Systems, pp 382-388, Cambridge, Massachusetts, 1986
24. Stoller SD, Schneider FB: Faster possibility detection by combining two approaches. In: Proceedings of the 9th International Workshop on Distributed Algorithms, Le Mont Saint Michel, France, September 1995. Lecture Notes in Computer Science, Vol 972, pp 318-332, Berlin Heidelberg New York: Springer
25. Tomlinson AI, Garg VK: Detecting relational global predicates in distributed systems. In: Proc. of the Workshop on Parallel and Distributed Debugging, pp 21-31, San Diego, CA, May 1993. ACM/ONR