Detection of unstable predicates in distributed programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 652 LNCS, Issue , 1992, Pages 253-264

  Garg, Vijay K ^a   Waldecker, Brian ^b  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b SCHLUMBERGER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL COMPLEXITY;

DEBUGGERS; DISTRIBUTED PROGRAM; MESSAGE COMPLEXITY;

PROGRAM DEBUGGING;

EID: 80053238417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56287-7_110     Document Type: Conference Paper

References (12)

1. L. Bouge, “Repeated Snapshots in Distributed Systems with synchronous communication and their implementation in CSP”, Theoretical Computer Science, 49: 145-169, 1987.
2. K.M. Chandy and L. Lamport, “Distributed Snapshots: Determining Global States of Distributed Systems”, ACM TOCS, February 1985, pp. 63-75.
3. R. Cooper, K. Marzullo, “Consistent Detection of Global Predicates”, Proc. ACM Workshop on Parallel and Dist. Debugging, 1991, 163-173.
4. C. Fidge, “Partial Orders for Parallel Debugging”, Proc. of the ACM Workshop on Parallel and Dist. Debugging, 1988, pp. 130-140.
5. V. K. Garg, “Some Optimal Algorithms for Decomposed Partially Ordered Sets,” to appear Information Processing Letters.
6. V. K. Garg, M.T. Raghunath “Concurrent Regular Expressions and their Relationship to Petri Net Languages,” Theoretical Computer Science 96 (1992) pp 285-304.
7. L. Lamport, “Time, Clocks, and the Ordering of Events in a Distributed System”, Communications of the ACM, July, 1978, pp. 558-565.
8. F. Mattern, “Virtual time and global states of distributed systems”, Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms, Elsevier Science Publishers B. V., 1989, pp. 215-226.
9. B. P. Miller and J. Choi, “Breakpoints and Halting in Distributed Programs”, Proc. of the 8-th Inti Conf. on Distributed Computing Systems, San Jose, CA, 1988, pp 316-323.
10. M. Spezialetti and P. Kearns, “Efficient Distributed Snapshots”, Proc. of the 6-th Intl Conf. on Distributed Computing Systems, 1986, pp. 382-388.
11. B. Waldecker, “Detection of Unstable Predicates in Debugging Distributed Programs”, PhD. Dissertation, ECE Dept., Univ. of Texas at Austin, 1991.
12. B. Waldecker, V. K. Garg, “Unstable Predicate Detection in Distributed Programs,” Proc. 3rd IEEE Symp. on Parallel and Dist. Processing, Dec 1991, pp 692-699.