changeset 365:f4757f44c8b6

Test bug in ReadTwiceOverVolatileReadTest: missing outcome case.
author shade
date Thu, 23 Feb 2017 11:12:53 +0100
parents 3082ed6f0092
children f2c37dc9d086
files tests-custom/src/main/java/org/openjdk/jcstress/tests/volatiles/ReadTwiceOverVolatileReadTest.java
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/tests-custom/src/main/java/org/openjdk/jcstress/tests/volatiles/ReadTwiceOverVolatileReadTest.java	Tue Feb 14 21:00:29 2017 +0100
+++ b/tests-custom/src/main/java/org/openjdk/jcstress/tests/volatiles/ReadTwiceOverVolatileReadTest.java	Thu Feb 23 11:12:53 2017 +0100
@@ -41,6 +41,7 @@
 @Outcome(id = "0, 0, 0", expect = Expect.ACCEPTABLE, desc = "Default value for the fields. Observers are allowed to see the default value for the field, because there is the data race between reader and writer.")
 @Outcome(id = "0, 1, 0", expect = Expect.FORBIDDEN,  desc = "Volatile write to $y had happened, and update to $x had been lost.")
 @Outcome(id = "1, 1, 0", expect = Expect.FORBIDDEN,  desc = "Volatile write to $y had happened, and update to $x had been lost.")
+@Outcome(id = "1, 0, 0", expect = Expect.ACCEPTABLE, desc = "Write to $y is still in flight, can see inconsistent $x.")
 @Outcome(id = "0, 0, 1", expect = Expect.ACCEPTABLE, desc = "Write to $y is still in flight, $x is arriving late.")
 @Outcome(id = "1, 0, 1", expect = Expect.ACCEPTABLE, desc = "Write to $y is still in flight, $x has arrived.")
 @Outcome(id = "0, 1, 1", expect = Expect.ACCEPTABLE, desc = "The writes appear the the writers' order.")