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

From: David Holmes (
Date: Mon Jul 22 2002 - 15:30:51 EDT

> 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. ;-)


JavaMemoryModel mailing list -

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