Core semantics of multithreaded Java

ACM 2001 Java Grande/ISCOPE Conference

Volumn , Issue , 2001, Pages 29-38

  Manson, Jeremy ^a   Pugh, William ^a  

^a Univ of Maryland ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MULTIPROGRAMMING; OPTIMIZATION; SEMANTICS; SYNCHRONIZATION;

MULTITHREADING;

JAVA PROGRAMMING LANGUAGE;

EID: 0035790169     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/376656.376806     Document Type: Conference Paper

References (11)

1. P. K. A. L. Cox and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In The Proceedings of the 19 th International Symposium of Computer Architecture, pages 13-21, May 1992.
2. G. Gao and V. Sarkar. Location consistency - a new memory model and cache consistency protocol. Technical Report 16, CAPSL, Univ. of Deleware, Feb. 1998.
3. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. L. Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the Seventeenth International Symposium on Computer Architecture, pages 15-26, May 1990.
4. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison Wesley, 1996.
5. The Java memory model. Mailing list and web page. http://www.cs.umd.edu/̃pugh/java/memoryModel.
6. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison Wesley, 2nd edition, 1999.
7. A. J.-W. Maessen and X. Shen. Improving the Java memory model using CRF. In OOPSLA, pages 1-12, Oct. 2000.
8. J. Manson and W. Pugh. Semantics of multithreaded java. Technical Report CS-TR-4215, Dept. of Computer Science, University of Maryland, College Park, Mar. 2001.
9. W. Pugh. Fixing the Java memory model. In ACM Java Grande Conference, June 1999.
10. W. Pugh. The double checked locking is broken declaration. http://www.cs.umd.edu/users/pugh/java/memoryModel/DoubleCheckedLocking.html, July 2000.
11. W. Pugh. The Java memory model is fatally flawed. Concurrency: Practice and Experience, 12(1):1-11, 2000.