Predicate control for active debugging of distributed programs

Proceedings of the International Parallel Processing Symposium, IPPS

Volumn , Issue , 1998, Pages 763-769

  Tarafdar, Ashis ^a   Garg, Vijay K ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS;

PREDICATE CONTROL;

PROGRAM DEBUGGING;

EID: 0031701599     PISSN: 10637133     EISSN: None     Source Type: None    
DOI: 10.1109/IPPS.1998.670013     Document Type: Conference Paper

References (13)

1. O. Babaoglu K. Marzullo Distributed Systems 1993 Addison-Wesley Consistent global states of distributed systems: fundamental concepts and mechanisms
2. S. Bulgannawar N. H. Vaidya A distributed k-mutual exclusion algorithm Proceedings of the 15th International Conference on Distributed Computing Systems 153 160 Proceedings of the 15th International Conference on Distributed Computing Systems 1995
3. K. M. Chandy L. Lamport Distributed snapshots: determining global states of distributed systems ACM Transactions on Computer Systems 3 1 63 75 February 1985
4. V. K. Garg B. Waldecker Detection of strong unstable predicates in distributed programs IEEE Transactions on Parallel and Distributed Systems 7 12 1323 1333 December 1996
5. M. Hurfin N. Plouzeau M. Raynal Detecting atomic sequences of predicates in distributed computations Proceedings of the Workshop on Parallel and Distributed Debugging 32 42 Proceedings of the Workshop on Parallel and Distributed Debugging 1993
6. L. Lamport Time, clocks, and the ordering of events in a distributed system Communications of the ACM 21 7 558 565 July 1978
7. A. Maggiolo-Schettini H. Wedde J. Winkowski Modeling a solution for a control problem in distributed systems by restrictions Theoretical Computer Science 13 1 61 83 January 1981
8. F. Mattern Virtual time and global states of distributed systems Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms 215 226 Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms 1989
9. R. H. B. Netzer B. P. Miller Optimal tracing and replay for debugging message-passing programs The Journal of Supercomputing 8 4 371 388 1995
10. M. Singhal A taxonomy of distributed mutual exclusion Journal of Parallel and Distributed Computing 18 94 101 1993
11. K. Tai Race analysis of traces of asynchronous message-passing programs Proceedings of the 17th International Conference on Distributed Computing Systems 261 268 Proceedings of the 17th International Conference on Distributed Computing Systems 1997
12. A. Tarafdar V. K. Garg Predicate control for active debugging of distributed programs 1998 ECE-PDS-1998-002 Parallel and Distributed Systems Laboratory, ECE Dept. University of Texas at Austin http://maple.ece.utexas.edu
13. A. I. Tomlinson V. K. Garg Computer Systems and Education 257 272 1994 Tata McGraw-Hill Publishing Company Limited Maintaining global assertions on distributed sytems