Re: JavaMemoryModel: specific Causality test cases

From: Bill Pugh (pugh@cs.umd.edu)
Date: Wed Jul 30 2003 - 09:01:21 EDT


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



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