Loading [a11y]/accessibility-menu.js
Race condition and concurrency safety of multithreaded object-oriented programming in Java | IEEE Conference Publication | IEEE Xplore

Race condition and concurrency safety of multithreaded object-oriented programming in Java


Abstract:

To ensure the reliability and quality, software systems should be safe. The software safety requires the data consistency in the software. In the multithreaded object-ori...Show More

Abstract:

To ensure the reliability and quality, software systems should be safe. The software safety requires the data consistency in the software. In the multithreaded object-oriented programming, the coherency problem, also called a race condition, may destroy the data consistency. In order to overcome the coherency problem Java sets up the "synchronized" mechanism. However, improper use of the "synchronized" mechanism in Java will result in system deadlock, which also violates the requirement of software safety. We find that it is necessary to supplement a new function to the "synchronized" mechanism of Java. Another contribution in the paper is to propose a new approach for detecting system deadlock in Java multithreaded programs with the synchronized mechanism.
Date of Conference: 06-09 October 2002
Date Added to IEEE Xplore: 06 February 2003
Print ISBN:0-7803-7437-1
Print ISSN: 1062-922X
Conference Location: Yasmine Hammamet, Tunisia

References

References is not available for this document.