Re: JavaMemoryModel: More Specification

From: Sylvia Else (sylviae@optushome.com.au)
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?

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:06 EDT