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

Next message: Bill Pugh: "Re: JavaMemoryModel: Reopen Case 18?"
Previous message: Vijay Saraswat: "JavaMemoryModel: Typo in Case 9 and Case 9a?"
In reply to: Vijay Saraswat: "JavaMemoryModel: Typo in Case 9 and Case 9a?"
Next in thread: Bill Pugh: "Re: JavaMemoryModel: Typo in Case 9 and Case 9a?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> 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

Next message: Bill Pugh: "Re: JavaMemoryModel: Reopen Case 18?"
Previous message: Vijay Saraswat: "JavaMemoryModel: Typo in Case 9 and Case 9a?"
In reply to: Vijay Saraswat: "JavaMemoryModel: Typo in Case 9 and Case 9a?"
Next in thread: Bill Pugh: "Re: JavaMemoryModel: Typo in Case 9 and Case 9a?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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