Visualizing potential deadlocks in multithreaded programs

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

Volumn 5698 LNCS, Issue , 2009, Pages 321-330

  Kim, Byung Chul ^a   Jun, Sang Woo ^b   Hwang, Dae Joon ^c   Jun, Yong Kee ^a  

^a Gyeongsang National University   (South Korea)

^b Seoul National University   (South Korea)

^c Sungkyunkwan University   (South Korea)

Author keywords

Debugging; Lock causality graph; Multithreaded programs; Potential deadlocks; Visualization

Indexed keywords

DEBUGGING; INTUITIVE UNDERSTANDING; LOCK-CAUSALITY GRAPH; MULTITHREADED PROGRAMS; NON-DETERMINISM; POTENTIAL DEADLOCKS; RUNTIMES; VISUALIZATION TECHNIQUE; VISUALIZATION TOOLS;

COMPUTER SCIENCE; ERRORS; PARALLEL ARCHITECTURES; PHILOSOPHICAL ASPECTS; PROGRAM DEBUGGING; VISUALIZATION;

MULTITASKING;

EID: 70350520070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03275-2_32     Document Type: Conference Paper

References (16)

1. Agarwal, A., Garg, V.K.: Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables. In: 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), Portland, Maine, pp. 51-60. ACM, New York (2006)
2. Agarwal, A., Wang, L., Stoller, S.D.: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol. 3875, pp. 191-207. Springer, Heidelberg (2006)
3. Artho, C., Havelund, K., Honiden, S.: Visualization of Concurrent Program Executions. In: 31st Annual International Computer Software and Applications Conference (COMPSAC), vol. 2, pp. 541-546. IEEE, Los Alamitos (2007)
4. Bensalem, S., Havelund, K.: Dynamic Deadlock Anaysis of Multi-threaded Programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol. 3875, pp. 208-223. Springer, Heidelberg (2006)
5. Birrell, D.A.: An Introduction to Programming with Threads. Technical Report SR-35, Digital Equipment Corporation (January 1989)
6. Carr, S., Mayo, J., Shene, C.-K.: ThreadMentor: A Pedagogical Tool for Multithreaded Programming. Journal on Education Resources in Computing (JERIC) 3(1), 1-30 (2003)
7. Diehl, S.: Software Visualization: Visualizing the Structure, Behavior, and Evolve of Software. Springer, Heidelberg (2007)
8. Fidge, C.J.: Partial Orders for Parallel Debugging. In: SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pp. 183-194. ACM Press, New York (1988)
9. Gatlin, S.K.: Trials and Tribulations of Debugging Concurrency. Queue 2(7), 66-73 (2004)
10. Kraemer, E.: Visualizing Concurrent Programs. In: Software Visualization: Programming as a Multimedia Experience, pp. 237-258. The MIT Press, Cambridge (1998)
11. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communication of the ACM 21(7), 558-565 (1978)
12. Leroux, H., Requile-Romanczuk, A., Mingins, C.: JACOT: A Tool to Dynamically Visualise the Execution of Concurrent Java Programs. In: 2nd Int. Conf. on Principles and Practice of Programming in Java (PPPJ), Kilkenny City, Ireland, pp. 201-206. ACM, New York (2003)
13. McDowell, C.E., Helmbold, D.P.: Debugging Concurrent Programs. Computing Surveys 21(4), 593-622 (1989)
14. Mehner, K.: JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, pp. 163-175. Springer, Heidelberg (2002)
15. Sanden, B.: Coping with Java Threads. Computer 37(4), 20-27 (2004)
16. Zhao, Q.A., Stasko, J.T.: Visualizing the Execution of Threads-based Parallel Programs. Technical Report GIT-GVU-95-01, College of Computing, George Institute of Technology (January 1995)