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 - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:40 EDT