At 11:09 AM -0700 7/12/01, Boehm, Hans wrote:
>If I understand everything correctly, You would also need to at least make
>all original variables volatile. Consider four threads (2 mutators + two
>observers) executing, with shared variables x = 0 and y = 0 initially. (I
>use <barrier> to denote a dummy volatile read and write.)
>
My mistake. You are correct Hans.
However, it is impossible to make all variables volatile: you cannot
make array elements be volatile.
Bill
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:33 EDT