Re: JavaMemoryModel: More Specification

From: Sylvia Else (
Date: Tue Jan 04 2005 - 03:53:41 EST

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.


JavaMemoryModel mailing list -

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