Re-execution of distributed programs to detect bugs hidden by racing messages

Proceedings of the Hawaii International Conference on System Sciences

Volumn 1, Issue , 1997, Pages 423-432

  Kilgore, Richard ^a   Chase, Craig ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; ONLINE SYSTEMS; OPTIMIZATION;

DISTRIBUTED PROGRAM REEXECUTION;

PROGRAM DEBUGGING;

EID: 0031385524     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.667295     Document Type: Conference Paper

References (27)

1. D. A. Reed An overview of the pablo performance analysis environment Nov. 1992 Illinois, Urbana University of Illinois
2. R. S. Side G. C. Shoja A debugger for distributed programs Software: Practice and Experience May 1994
3. H. Agrawal R. DeMillo E. Spafford Dynamic slicing in the presence of pointers ACM Symposium on Testing, Analysis, and Verification ACM Symposium on Testing, Analysis, and Verification 1991
4. H. Agrawal R. DeMillo E. Spafford Debugging with dynamic slicing and backtracking Software: Practice & Experience June 1993
5. H. Agrawal R. DeMillo E. Spafford An execution backtracking approach to debugging ACM Symposium on Testing, Analysis, and Verification ACM Symposium on Testing, Analysis, and Verification 1995
6. Hence: A users' guide-version 2.0. Pvm Design and Visualization
7. D. Callahan J. Subhlok Static analysis for low-level synchronization Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging 1988-May
8. J.-D Choi B. P. Miller H. B. Netzer Techniques for debugging parallel programs with flowback analysis ACM Transactions on Programming Languages and Systems 13 4 491 530 Oct. 1991
9. S. K. Damodaran-Kamal J. M. Francioni Nondeterminacy: Testing and debugging in message passing parallel programs Proceedings of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging Proceedings of the 3rd ACM/ONR Workshop on Parallel and Distributed Debugging 1993
10. S. K. Damodaran-Kamal J. M. Francioni Testing races in parallel programs with an otot strategy International Symposium on Software Testing and Analysis International Symposium on Software Testing and Analysis 1994-Aug.
11. S. Feldman C. Brown IGOR: a system for program debugging via reversible execution Proceedings SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging Proceedings SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging 1988-May
12. M. G. Fernandez S. Ghosh Ddbx-lpp: A dynamic software tool for debugging asynchronous distributed algorithms on loosely coupled parallel processors Journal of Systems and Software 22 l 27 43 July 1993
13. C. J. Fidge Partial orders for parallel debugging Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging 24 183 194 Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging 1989-Jan.
14. G. C. Fox Solving problems on concurrent processors 1988 Prentice Hall
15. V. K. Garg C. Chase J. R. Mitchell R. Kilgore Detecting conjunctive channel predicates in a distributed programming environment 28th Hawaii International Conference on System Sciences 28th Hawaii International Conference on System Sciences 1995
16. V. K. Garg B. Waldecker Detection of weak unstable predicates in distributed programs IEEE Transactions on Parallel and Distributed Systems 5 3 299 307 1994
17. O. Gerstel M. Hurfin N. Plouzeau M. Raynal S. Zaks On-the-fly replay: A practical paradigm and its implementation for distributed debugging Proceedings Symposium on Parallel and Distributed Processing Proceedings Symposium on Parallel and Distributed Processing 1994-Oct.
18. S. Grabner J. Volkert Debugging distributed memory programs using communication graph manipulation Proceedings High Performance Computing Symposium Proceedings High Performance Computing Symposium 1996-June
19. D. Helmbold C. McDowell J.-Z. Wang Determining possible event orders by analyzing sequential traces IEEE Transactions on Parallel and Distributed Systems 4 7 827 840 July 1993
20. J. Kohl XPvm http://www.netlib.org/utk/icl/xpvm/ xpvm.html
21. L. Lamport Time, clocks, and the ordering of events in a distributed system Communications of the ACM 21 7 558 565 July 1978
22. T. J. LeBlanc J. M. Mellor-Crarnmley Debugging parallel programs with instant replay IEEE Transactions on Computers C-36 4 471 482 1987
23. F. Mattern Virtual time and global states of distributed systems Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms 215 226 Parallel and Distributed Algorithms: Proceedings of the International Workshop on Parallel and Distributed Algorithms 1989
24. R. Netzer T. Brennan S. Damodaran-Kamal Debugging race conditions in message-passing programs Symposium on Parallel and Distributed Tools Symposium on Parallel and Distributed Tools 1996-May
25. R. Netzer B. Miller On the complexity of event ordering for shared-memory parallel program executions Proceedings of the 1990 International Conference on Parallel Processing II Proceedings of the 1990 International Conference on Parallel Processing 1990-Aug.
26. R. Netzer B. Miller Optimal tracing and replay for debugging message-passing parallel programs Supercomputing '92 Nov. 1992
27. D. Z. Pan M. A. Linton Supporting reverse execution of parallel programs Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging 1988-May