Bill,
Does your semantics allow r1 = 1 in the following cases?
* Case 1:
Thread 1 Thread 2
r1 = x; r2 = y;
y = 1; x = r2;
* Case 2:
Thread 1 Thread 2
r1 = x; r2 = x;
x = 1; x = r2;
It's not clear if x = r2 would use the same GUID as x = 1 or if it would
use a different GUID since assignment with local varialbes is not
explicitly discussed in your semantics.
Thanks!
-- Jason
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:40 EDT