Java memory model

Jump to bottom Edit New page

laurayuwen edited this page Sep 11, 2015 · 5 revisions

The Java memory model describes how threads in the Java programming language interact through memory. Together with the description of single-threaded execution of code, the memory model provides the semantics of the Java programming language.

Reference Readings：

The Java Memory Model (POPL 05') http://dl.acm.org.proxy2.library.illinois.edu/citation.cfm?id=1040305.1040336

JSR133 specification https://www.cs.umd.edu/~pugh/java/memoryModel/jsr133.pdf

Operational semantics of Relaxed Memory Models https://www.cs.purdue.edu/homes/gpetri/publis/thesisPetri.pdf