> 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
-------------------------------
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