Predicate control for active debugging of distributed programs

Proceedings of the 1st Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing, IPPS/SPDP 1998

Volumn 1998-March, Issue , 1998, Pages 763-769

  Tarafdar, Ashis ^a   Garg, Vijay K ^b  

^a University of Texas at Austin   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING;

BOOLEAN PREDICATES; DEBUGGING DISTRIBUTED SYSTEMS; DISTRIBUTED DEBUGGING; DISTRIBUTED PROGRAM; GLOBAL SAFETY; NP-HARD; PREDICATE CONTROL;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (13)

1. Babaoglu and K. Marzullo. Consistent global states of distributed systems: fundamental concepts and mechanisms. In S. Mullender, editor, Distributed Systems, chapter 4. Addison-Wesley, 1993.
2. S. Bulgannawar and N. H. Vaidya. A distributed k-mutual exclusion algorithm. In Proceedings of the 15th International Conference on Distributed Computing Systems, pages 153-160. IEEE, 1995.
3. K. M. Chandy and 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 and B. Waldecker. Detection of strong unstable predicates in distributed programs. ZEEE Transactions on Parallel and Distributed Systems, 7(12): 1323-1333, December 1996.
5. M. Hurfin, N. Plouzeau, and M. Raynal. Detecting atomic sequences of predicates in distributed computations. In Proceedings of the Workshop on Parallel and Distributed Debugging, pages 32-42. ACM/ONR, 1993.
6. L. Lamporl:. 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, and 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 Mattem. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms, pages 215-226. Elsevier Science Publishers B. V. (North Holland), 1989.
9. R. H. B. Netzer and B. P. Miller. Optimal tracing and replay for debugging message-passing programs. The Journal of Supercomputing, 8(4):37 1-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 messagepassing programs. In Proceedings of the 17th Intemational Conference on Distributed Computing Systems, pages 261-268. IEEE, 1997.
12. A. Tarafdar and V. K. Garg. Predicate control for active debugging of distributed programs. Technical Report ECEPDS-1998-002, Parallel and Distributed Systems Laboratory, ECE Dept. University of Texas at Austin, 1998. available at http://maple.ece.utexas.edu as technical report TR-PDS-1998-002
13. A.I. Tomlinson and V. K. Garg. Maintaining global assertions on distributed sytems. In Computer Systems and Education, pages 257-272. Tata McGraw-Hill Publishing Company Limited, 1994.