JavaMemoryModel: Proposed Test Case 18b

From: Vijay Saraswat (vijay@saraswat.org)
Date: Thu Feb 26 2004 - 15:24:37 EST

Next message: Bill Pugh: "Re: JavaMemoryModel: (Proposal) Semantics must satisfy Linking Monotonicity."
Previous message: Vijay Saraswat: "JavaMemoryModel: (Proposal) Semantics must satisfy Linking Monotonicity."
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

I propose that the following test case be added to the suite.

I cant argue that its forced by other principles. I think we must take
this as axiomatic. But if we accept this, and accept the Linking
Principle, then this forces test case 18 to be forbidden.

<H2>Test case 18b</H2><PRE>Initially, x = y = 0

Thread 1:
1: r3 = x
2: if (r3 == 0)
3: x = 42
4: r1 = x
5: y = r1

Thread 2:
6: r2 = y
7: x = r2

Thread 3:
8: x=43;

Behavior in question: r1 == r2 == r3 == 42

Decision: Forbidden.