JavaMemoryModel: New test case?

From: Vijay Saraswat (vijay@saraswat.org)
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
r1=a
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.

Best,
Vijay

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



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