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

From: Bill Pugh (pugh@cs.umd.edu)
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. ;-)
>
>David

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.

Better?

        Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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