Specifying Java thread semantics using a uniform memory model

Proceedings of the Joint ACM Java Grande - ISCOPE Conference

Volumn , Issue , 2002, Pages 192-201

  Yang, Yue ^a   Gopalakrishnan, Ganesh ^a   Lindstrom, Gary ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Compilation; Java; Memory models; Threads; Verification

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; PROGRAM COMPILERS; RESPONSE TIME (COMPUTER SYSTEMS); SEMANTICS; STANDARDIZATION; STORAGE ALLOCATION (COMPUTER);

JAVA THREAD SEMANTICS; MEMORY MANAGEMENT; UNIFORM MEMORY MODEL; VERIFICATION;

JAVA PROGRAMMING LANGUAGE;

EID: 0242696274     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/583810.583832     Document Type: Conference Paper

References (20)

1. S. V. Adve and K. Gharachorloo. Shared memory consistency models: A tutorial. IEEE Computer, 29(12):66-76, 1996.
2. W. W. Collier. Reasoning about Parallel Architectures. Prentice-Hall, 1992.
3. D. Dill. The Murφ verification system. In 8th International Conference on Computer Aided Verification, pages 390-393, 1996.
4. G. Gao and V. Sarkar. Location consistency - a new memory model and cache consistency protocol. Technical report, 16, CAPSL, University of Delaware, February, 1998.
5. R. Gerth. Introduction to sequential consistency and the lazy caching algorithm. Distributed Computing, 1995.
6. K. Gharachorloo. Memory consistency models for shared-memory multiprocessors. Technical Report CSL-TR-95-685, Stanford University, December 1995.
7. A. Gontmakher and A. Schuster. Java consistency: Non-operational characterizations for Java Memory Model. In ACM Transactions On Computer Systems, vol. 18, No. 4, pages 333-386, November 2000.
8. J. Gosling, B. Joy and G. Steele. The Java Language Specification, chapter 17. Addison-Wesley, 1996.
9. Y. Gurevich, W. Schulte, and C. Wallace. Investigating Java concurrency using abstract state machines. Technical Report 2000-04, University of Delaware, December 1999.
10. Java Memory Model mailing list.
11. Java Specification Request (JSR) 133: Java Memory Model and Thread Specification Revision. http://jcp.org/jsr/detail.133.jsp.
12. P. Keleher, A. L. Cox, and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In the 19th International Symposium of Computer Architecture, pages 13-21, May 1992.
13. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, 1979.
14. J.-W. Maessen, Arvind, and X. Shen. Improving the Java Memory Model using CRF. In OOPSLA, 1-12, Oxtober 2000.
15. J. Manson and W. Pugh. Semantics of multithreaded Java. Technical Report UMIACS-TR-2001-09, 2002.
16. J. Manson and W. Pugh. Core semantics of multithreaded Java. In ACM Java Grande Conference, June 2001.
17. S. Park and D. L. Dill. An executable specification and verifier for Relaxed Memory Order. IEEE Transactions on Computers, 48(2):227-235, 1999.
18. W. Pugh. Fixing the Java Memory Model. In Java Grande, pages 89-98, 1999.
19. A. Roychoudhury and T. Mitra. Specifying multithreaded Java semantics for program verification. In International Conference on Software Engineering, 2002.
20. Y. Yang, G. Gopalakrishnan, and G. Lindstrom. Analyzing the CRF Java Memory Model. In the 8th Asia-Pacific Software Engineering Conference, pages 21-28, 2001.