Analysis of potential deadlock in Java multithreaded object-oriented programs | IEEE Conference Publication | IEEE Xplore

Analysis of potential deadlock in Java multithreaded object-oriented programs


Abstract:

The coherency problem affects greatly the reliability and quality of concurrent object-oriented software. Hence, Java provides the "synchronized" mechanism to help user t...Show More

Abstract:

The coherency problem affects greatly the reliability and quality of concurrent object-oriented software. Hence, Java provides the "synchronized" mechanism to help user to deal with coherency problem in multithreaded object-oriented programming. However, improper use of the "synchronized" mechanism will result in system deadlock, which also violates the requirement of software reliability and quality. In the paper, we set up a new description tool named Thread Diagram. Based on Thread Diagram, we propose a new approach to analyze potential deadlock in Java multithreaded programs with "synchronized" mechanism.
Date of Conference: 12-12 October 2005
Date Added to IEEE Xplore: 10 January 2006
Print ISBN:0-7803-9298-1
Print ISSN: 1062-922X
Conference Location: Waikoloa, HI, USA

References

References is not available for this document.