Re: JavaMemoryModel: More Specification

From: Sylvia Else (
Date: Fri Apr 30 2004 - 21:01:56 EDT

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.

This renders the release-acquire pair rule redundant doesn't it?


JavaMemoryModel mailing list -

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