> -----Original Message-----
> From: owner-javamemorymodel@cs.umd.edu
> [mailto:owner-javamemorymodel@cs.umd.edu] On Behalf Of Sylvia Else
> Sent: Thursday, April 15, 2004 5:52 PM
> To: JavaMemoryModel@cs.umd.edu
> Subject: RE: JavaMemoryModel: Non SC behaviour using volatiles.
>
>
> As an aside, I've not always been clear which parts of the
> document were
> specifying the model, and which parts were describing
> inferences that could
> be drawn from the model.
>
The recent three pager on the web site is the formal model for the core
semantics; i.e., not including final fields, interrupts, etc. Everything
else about the core semantics is derived. We will make this clearer.
Sarita
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:04 EDT