comparison tests-custom/src/main/resources/org/openjdk/jcstress/desc/locks.xml @ 66:d7f7a93800e4

Rewire the grading levels: introduce ACCEPTABLE_SPEC, remove REQUIRED, renames.
author shade
date Thu, 28 Nov 2013 19:10:32 +0400
parents dd797d922f1c
children 7a9f5f818d94
comparison
equal deleted inserted replaced
0:add045c6b5a8 1:df12fe8aa638
46 The write to $b is observed, expected to see $a == 1. 46 The write to $b is observed, expected to see $a == 1.
47 </description> 47 </description>
48 </case> 48 </case>
49 <case> 49 <case>
50 <match>[1, 0]</match> 50 <match>[1, 0]</match>
51 <expect>KNOWN_ACCEPTABLE</expect> 51 <expect>ACCEPTABLE_INTERESTING</expect>
52 <description> 52 <description>
53 The write to $b is observed, but write to $a is not. This is the counter-intuitive behavior, 53 The write to $b is observed, but write to $a is not. This is the counter-intuitive behavior,
54 but the coding pattern is incorrect: alone "sync" barrier is not enough to get the proper 54 but the coding pattern is incorrect: alone "sync" barrier is not enough to get the proper
55 acquire/release semantics. 55 acquire/release semantics.
56 </description> 56 </description>