Re: JavaMemoryModel: New Unified JMM Description

From: Bill Pugh (
Date: Wed Apr 14 2004 - 09:56:43 EDT

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).


JavaMemoryModel mailing list -

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