Re: JavaMemoryModel: Non SC behaviour using volatiles.

From: Jeremy Manson (jmanson@cs.umd.edu)
Date: Thu Apr 15 2004 - 23:52:41 EDT


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

It should be added to this that the three pager does not contain the
information about everything that induces happens-before relationships.
This has been the cause of some confusion. The pertinent information can be
found in the section labeled "Happens Before" in various JSR-133 drafts.

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