JavaMemoryModel: New test case?

From: Vijay Saraswat (
Date: Mon Mar 08 2004 - 18:01:00 EST

I wonder whether this test case has been discussed before. If so, please
point me to the discussion. If not, how should this be dealt with?
Test 14a
Initially: a=b=y=0

Thread 1 Thread 2
if (r1==0) r2=y
  y=1 r3=b
else if (r2+r3 != 0)
  b=1 a=1

Question: r1=r3=1, r2=0?

The case is obtained from Test 14, without making the volatility assumption.


JavaMemoryModel mailing list -

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