JavaMemoryModel: Bug fixed in test case 6; A and B should initially be 0

• Next message: Bill Pugh: "JavaMemoryModel: Language semantics cannot depend upon optimization flags"
• Previous message: Boehm, Hans: "RE: JavaMemoryModel: The choice we need to make on test cases 5 a nd 10"
• In reply to: Joseph Bowbeer: "Re: JavaMemoryModel: The choice we need to make on test cases 5 and 10"
• Next in thread: Yue Yang: "RE: JavaMemoryModel: The choice we need to make on test cases 5 and 10"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

At 4:21 PM -0700 8/1/03, Joseph Bowbeer wrote:
>As I understand case 6, both A and B are initially 1 and can only take on
>the value 1, therefore both r1 and r2 can be assumed to be 1.
>

That was a bug. The test case should have A and B initially 0. I've
fixed it in the on-line version.

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

• Next message: Bill Pugh: "JavaMemoryModel: Language semantics cannot depend upon optimization flags"
• Previous message: Boehm, Hans: "RE: JavaMemoryModel: The choice we need to make on test cases 5 a nd 10"
• In reply to: Joseph Bowbeer: "Re: JavaMemoryModel: The choice we need to make on test cases 5 and 10"
• Next in thread: Yue Yang: "RE: JavaMemoryModel: The choice we need to make on test cases 5 and 10"
• 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:49 EDT