On Apr 14, 2004, at 1:51 AM, Doron Rajwan wrote:
>
> "There is a happens-before edge from the write of the
> default value (zero, false or null)
> of each variable to the first action in every thread."
>
> As it is written, the happens-before edges can be
> cyclic. I think that the meaning was that there is an
> edge from the default value to the first access of
> that variable in every thread.
>
> Doron.
>
No, the happens-before edges can't be cyclic.
The initialization writes happen before all other actions,
even before allocation of objects (which isn't really an action
in the memory model).
Bill
-------------------------------
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