Characterizations for Java memory behavior

Author

Gontmakher, Alex ; Schuster, Assaf

Author_Institution

Dept. of Comput. Sci., Technion-Israel Inst. of Technol., Haifa, Israel

fYear

1998

fDate

30 Mar-3 Apr 1998

Firstpage

682

Lastpage

686

Abstract

We provide non-operational characterizations of Java memory consistency model (Java Consistency, or simply Java). The work is based on the operational definition of the Java memory consistency as given in the Java Language Specification. We study the relation of Java memory behavior to that of some well known models, proving that Java is incomparable with PRAM Consistency and with both variants of Processor Consistency; it is neither stronger nor weaker. We show that a programmer can rely on Coherence and a certain variant of Causality for regular variables. Sequential Consistency for volatile variables, and Release Consistency when locks are employed

Keywords

object-oriented languages; parallel programming; shared memory systems; Java Language Specification; Java memory behavior; Java memory consistency model; PRAM Consistency; Processor Consistency; causality; coherence; volatile variables; Books; Coherence; Computer science; Concurrent computing; Java; Multithreading; Phase change random access memory; Programming profession; Protocols; Yarn;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Processing Symposium, 1998. IPPS/SPDP 1998. Proceedings of the First Merged International ... and Symposium on Parallel and Distributed Processing 1998

Conference_Location

Orlando, FL

ISSN

1063-7133

Print_ISBN

0-8186-8404-6

Type

conf

DOI

10.1109/IPPS.1998.670000

Filename

670000