> > 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).
This (along with other happens-before requirements, such as
joins/starts/isAlive/interrupts) is in the full spec, but not in the
three-pager. Pages 17-18.
Jeremy
-------------------------------
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