RE: JavaMemoryModel: New Unified JMM Description

From: Sarita Adve (
Date: Tue Apr 13 2004 - 17:59:46 EDT

> 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


JavaMemoryModel mailing list -

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