Re: JavaMemoryModel: missing ingredient of volatile semantic

From: Sylvia Else (sylviae@optushome.com.au)
Date: Thu Mar 25 2004 - 19:21:38 EST


At 03:13 PM 25/03/2004 -0800, Thomas Wang wrote:
> > Strong interpretation:
> > There is a happens-before (or release/acquire) relationship from
> > each write to each latter read of that volatile.
> >
> > Weak interpretation:
> > There is a happens-before (or release/acquire) relationship from
> > each write to each latter read of that volatile that sees that write.
>
>I examined the requirement of the strong interpretation. It seems the strong
>interpretation could be too strict. It almost required volatile writes
>to be made visible immediately, with infinite speed.

Or at least that volatile writes and reads occur in a total order - which
they are already required to do.

Sylvia.

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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