Java consistency: Nonoperational characterizations for java memory behavior

ACM Transactions on Computer Systems

Volumn 18, Issue 4, 2000, Pages 333-386

  Gontmakher, Alex ^a   Schuster, Assaf ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

B.3.3 Memory structures ; Java memory models; Multithreading; Nonoperational specification; Performance Analysis and Design Aids Formal models; Verification

Indexed keywords

EID: 0005300107     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/362670.362673     Document Type: Article

References (16)

1. ADVE, S. AND GHARACHORLOO, K. 1996. Shared memory consistency models: A tutorial. IEEE Computer 29, 12 (Dec.), 66-76.
2. AHAMAD, M., BAZZI, R. A., JOHN, R., KOHLI, P., AND NEIGER, G. 1993. The power of processor consistency. In Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '93, Velen, Germany, June 30-July 2), L. Snyder, Chair. ACM Press, New York, NY, 251-260.
3. ATTALI, I., CAROMEL, D., AND RUSSO, M. 1998. A formal executable semantics for Java. In Proceedings of the OOPSLA Workshop on the Formal Underpinnings of Java. ACM, New York, NY.
4. BÖRGE, E. AND SCHULTE, W. 1998. A programmer friendly modular definition of the semantics of Java. In Formal Syntax and Semantics of Java, J. Alves-Foss, Ed. Springer-Verlag, Vienna, Austria.
5. CENCIARELLI, P., KNAPP, A., REUS, B., AND WIRSING, M. 1997. From sequential to multithreaded Java: An event-based operational semantics. In Algebraic Methodology and Software Technology, M. Johnson, Ed. Springer-Verlag, Vienna, Austria.
6. COSCIA, E. AND COSCIA, G. 1998. A proposal for a semantics of a subset of multi-threaded "good" Java programs. In Proceedings of the OOPSLA Workshop on the Formal Underpinnings of Java. ACM, New York, NY.
7. GHARACHORLOO, K., LENOSKI, D., LAUDON, J., GIBBONS, P., GUPTA, A., AND HENNESSY, J. 1990. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the 17th International Symposium on Computer Archilecture (ISCA '90, Seattle, WA, May). IEEE Press, Piscataway, NJ.
8. GONTMAKHER, A. AND SCHUSTER, A. 1998. Characterizations for Java memory behavior. In Proceedings on IPPS/SPDP (Mar.). 682-686.
9. GOODMAN, J. R. 1989. Cache consistency and sequential consistency. Tech. Rep. 61. IEEE Scalable Coherence Interface Working Group.
10. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, MA.
11. GUREVICH, Y., SCHULTE, W., AND WALLACE, C. 1999. Investigating Java concurrency using abstract state machines.
12. HUTT, P. W. AND AHAMAD, M. 1990. Slow memory: Weakening consistency to enhance concurrency in distributed shared memories. In Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS-10, July). 302-311.
13. LAMPORT, L. 1979. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. Comput. C-28, 9 (Sept.), 690-691.
14. LEA, D. 1996. Concurrent Programming in Java. Addison-Wesley, Reading, MA.
15. PUGH, W. 1999. Fixing the Java memory model. In Proceedings of the ACM Java Grande Conference (June). ACM, New York, NY.
16. TANENBAUM, A. S. 1995. Distributed Operating Systems. Prentice-Hall, Inc., Upper Saddle River, NJ.