Re: JavaMemoryModel: Question about the semantics of volatile

From: Bill Pugh (pugh@cs.umd.edu)
Date: Wed Mar 17 2004 - 17:03:59 EST


On Mar 17, 2004, at 4:50 PM, Joseph Bowbeer wrote:

> Does the weak interpretation still have the property that declaring all
> variables as "volatile" will correctly-synchronize anything? (I
> believe
> this was one of the motivations for the strong interpretation.)
>
>

Yes.

The weak vs. strong interpretation only involves the effects of
volatiles reads
and writes on non volatile reads and writes.

Not also that the weak vs. strong issue only effects volatiles, not
locks (because
an unlock is always paired with a lock).

        Bill

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



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