Efficient Detection of Channel Predicates in Distributed Systems

Journal of Parallel and Distributed Computing

Volumn 45, Issue 2, 1997, Pages 134-147

  Garg, V K ^a   Chase, C M ^a   Kilgore, Richard ^a   Mitchell, J Roger ^a  

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

Author keywords

Distributed systems; distributed debugging; predicate detection; channel predicate; linear predicates

Indexed keywords

EID: 0038875442     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1006/jpdc.1997.1374     Document Type: Article

References (17)

1. Babaoglu O., Marzullo K. Consistent global states of distributed systems: Fundamental concepts and mechanisms. Distributed Systems. 1994;Addison-Wesley, New York. p. 55-96.
2. Chandy K., Lamport L. Distributed snapshots: Determining global states of distributed systems. ACM Trans. Comput. Systems. Feb. 1985;63-75.
3. R. Cooper, K. Marzullo, 1991, Consistent detection of global predicates, Proc. of the ACM/ONR Workshop on Parallel and Distributed Debugging, 163, 173, Santa Cruz, CA.
4. Dijkstra E. W., Scholten C. S. Termination detection for diffusing computations. Inform. Process. Lett. 11:Aug. 1980;1-4.
5. Fidge C. J. Partial orders for parallel debugging. SIGPLAN Notices. 1989;183-194.
6. E. Fromentin, M. Raynal, V. K. Garg, A. Tomlinson, 1994, On the fly testing of regular patterns in distributed computations, Proceedings of the 23rd Int. Conference on Parallel Processing, 73, 76, St. Charles, IL.
7. Fujimoto R. Parallel discrete event simulation. Comm. ACM. 33:Oct. 1990;30-53.
8. Garg V. K., Waldecker B. Detection of unstable predicates in distributed programs. Lecture Notes in Computer Science. 1992;253-264.
9. Garg V. K., Waldecker B. Detection of weak unstable predicates in distributed programs. IEEE Trans. Parallel Distrib. Systems. 5:Mar. 1994;299-307.
10. V. K. Garg, C. M. Chase, 1995, Distributed algorithms for detecting conjunctive predicates, International Conference on Distributed Computing Systems, 423, 430, Vancouver.
11. D. Haban, W. Weigel, 1988, Global events and global breakpoints in distributed systems, Proc. of the 21st Intl. Conf. on System Sciences, 166, 175.
12. Lamport L. Time, clocks, and the ordering of events in a distributed system. Comm. ACM. 21:July 1978;558-565.
13. Manabe Y., Imase M. Global conditions in debugging distributed programs. J. Parallel Distrib. Comput. 15:1992;62-69.
14. F. Mattern, 1989, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, 215, 226, Elsevier, Amsterdam.
15. B. P. Miller, J. Choi, 1988, Breakpoints and halting in distributed programs, Proceedings of the 8th International Conference on Distributed Computing Systems, 316, 323, San Jose, CA.
16. Schwarz R., Mattern F. Detecting causal relationships in distributed computations: In search of the holy grail. Distrib. Comput. 7:1994;149-174.
17. A. I. Tomlinson, V. K. Garg, 1993, Detecting relational global predicates in distributed systems, Proc. 3rd ACM/ONR Workshop on Parallel and Distributed Debugging, 21, 31, San Diego.