RE: JavaMemoryModel: New approach to defining the Java Memory Model

From: Bill Pugh (
Date: Mon Jul 22 2002 - 15:53:06 EDT

At 5:30 AM +1000 7/23/02, David Holmes wrote:
> > Figure 3 is part of a theorem showing that some reorderings are
>> valid. Figure 3 is derived from the memory model, it isn't a part of
>> the memory model.
>> Does this clarify the issue?
>You mean the document is about describing the memory model, it does not
>define the memory model? If so where is the definition of the memory model
>on which the document is based.
>Sorry if I'm being obtuse. ;-)

Section 2 (Overview of the semantics) defines the semantics.

Section 4 (Theorems), which contains Figure 3, proves properties of
the semantics defined in Section 2.


JavaMemoryModel mailing list -

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:40 EDT