RE: JavaMemoryModel: specific Causality test cases

From: Sarita Adve (sadve@cs.uiuc.edu)
Date: Wed Jul 30 2003 - 11:40:22 EDT


With CnC, this is insufficient reasoning for test case 2, you have to
consider the prohibited reads stuff for test case 2.

In contrast, SC- (original email version plus about 10 more words) passes
all the tests that Bill has so far. In other words, if you are happy with
the guarantee that all SC executions past the discontinuity should have that
write, then you should choose SC- because it is much simpler. (And possibly
allows more optimizations.)

Sarita

> -----Original Message-----
> From: owner-javamemorymodel@cs.umd.edu
> [mailto:owner-javamemorymodel@cs.umd.edu] On Behalf Of Bill Pugh
> Sent: Wednesday, July 30, 2003 8:01 AM
> To: victor.luchangco@sun.com
> Cc: javamemorymodel@cs.umd.edu
> Subject: Re: JavaMemoryModel: specific Causality test cases
>
>
> At 1:01 AM -0400 7/30/03, victor.luchangco@sun.com wrote:
> >(Why
> >might the answers to Tests 2 and 3 be different?)
>
>
> In test 2, the write to y always happens in SC executions.
>
> In test 3, the write to y does not always happen in SC executions.
>
> Bill
> -------------------------------
> JavaMemoryModel mailing list -
> http://www.cs.umd.edu/~pugh/java/memoryModel
>

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel



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