Re: JavaMemoryModel: Typo in Case 9 and Case 9a?

From: Doug Lea (dl@cs.oswego.edu)
Date: Thu Feb 26 2004 - 07:48:24 EST


> I propose this test be changed so that Line 3 in Thread 1 is y=r2.
>

This appears to be a typo. See the corrected variant with y=r2
appearing as Figure 16 (page 26) in the public review draft off
http://www.cs.umd.edu/~pugh/java/memoryModel/

-Doug

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



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