Java memory model

The Java memory model describes how threads in the Java programming language interact through memory. Together with the description of single… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1998-2018
0246819982018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This work presents a machine-checked formalisation of the Java memory model and connects it to an operational semantics for Java… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2008
2008
The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a… (More)
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A semantics to a small fragment of Java capturing the new memory model (JMM) described in the Language Specification is given by… (More)
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper describes the new Java memory model, which has been revised as part of Java 5.0. The model specifies the legal… (More)
Is this relevant?
2002
2002
With the advent of modern, multithreaded programming languages, it has become vitally important to describe in a clear and… (More)
  • figure 5
Is this relevant?
2001
2001
The current Java Memory Model [1] is flawed and has many unintended implications [2]. As multithreaded programming becomes… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2000
2000
This paper describes alternative memory semantics for Java programs using an enriched version of the Commit/Reconcile/Fence (CRF… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 7
Is this relevant?
Review
1999
Review
1999
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact… (More)
Is this relevant?