RE: JavaMemoryModel: a naive proposal

From: Bill Pugh (
Date: Thu Jul 12 2001 - 14:32:41 EDT

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.

JavaMemoryModel mailing list -

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