JavaMemoryModel: Synchronization order and finalization

From: Sylvia Else (syljmm32@cryogenic.net)
Date: Tue Feb 22 2005 - 21:52:53 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.

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