Creator | Title | Description | Subject | Date | ||
---|---|---|---|---|---|---|
1 | Yang, Yue; Gopalakrishnan, Ganesh; Lindstrom, Gary E. | Formalizing the Java Memory Model for multithreaded program correctness and optimization | Standardized language level support for threads is one of the most important features of Java. However, defining and understanding the Java Memory Model (JMM) has turned out to be a big challenge. Several models produced to date are not as easily comparable as first thought. Given the growing inte... | Java Memory Model; JMM; Multithreaded program | 2002-04-02 |