loading...
A Run-Time Deadlock Detector for Concurrent Java Programs
Macao, China December 04-December 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991458Eighth Asia-Pacific Software Engineer ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Dead lock is one of the most serious and complex problems concerning the reliability of concurrent Java programs. In this paper, we discuss how to dynamically detect dead locks in concurrent Java programs at run-time, and propose a representation of synchronization waiting state in an execution of a Java program, which is named the Java Thread-Wait-For Graph. We explicitly define all types of dead locks in Java with This representation and present an algorithm to detect the dead locks. Two implementation methods are also presented. We had succeeded in detecting a deadlock from a concurrent program including all types of synchronization waiting relations by our tool.
Citation:
Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng, "A Run-Time Deadlock Detector for Concurrent Java Programs," apsec, pp.45, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions