> What I think I overlooked is that there the initialization of
> x (before
> Thread 1 started) is an action that happens before r1=x and
> thus can be
> used to satisfy condition 6.
>
Yes, the initialization writes part got dropped somewhere along the way that
needs to be put back (either in the definition of execution or intra-thread
consistency).
Sarita
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:04 EDT