At 02:13 PM 30/04/2004 -0400, Bill Pugh wrote:
>We added an additional rule:
>>If $x$ and $y$ are synchronization actions on the same variable or
>>monitor, $x$ comes-before $d_i$ and $y$ comes-after $d_i$, then
>>$x$ comes-before $y$ in synchronization order.
Did this make it into the spec in the end? At the moment, I can't see it.
Sylvia.
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:09 EDT