RE: JavaMemoryModel: Draft JMM Synopsis

From: Doug Lea (dl@cs.oswego.edu)
Date: Mon Mar 01 2004 - 08:15:33 EST

> If I understand your synopsis correctly, it will allow programmers to assume
> that r2=1, r5=0 is not allowed. However, this outcome is allowed since there
> is no inter-thread happens-before relationship here.

Thanks! I forgot that you can't condense it so far as to avoid
mentioning the fact that happens-before edges only occur when
volatile reads and writes are to same variable. I'll add this.

-Doug

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel

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