annotate tests-custom/src/main/resources/org/openjdk/jcstress/desc/volatiles-iriw.xml @ 0:dd797d922f1c

Initial import.
author shade
date Thu, 04 Jul 2013 12:32:04 +0400
parents
children d7f7a93800e4
rev   line source
shade@0 1 <!--
shade@0 2
shade@0 3 Copyright (c) 2005, 2013, Oracle and/or its affiliates. All rights reserved.
shade@0 4 DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
shade@0 5
shade@0 6 This code is free software; you can redistribute it and/or modify it
shade@0 7 under the terms of the GNU General Public License version 2 only, as
shade@0 8 published by the Free Software Foundation. Oracle designates this
shade@0 9 particular file as subject to the "Classpath" exception as provided
shade@0 10 by Oracle in the LICENSE file that accompanied this code.
shade@0 11
shade@0 12 This code is distributed in the hope that it will be useful, but WITHOUT
shade@0 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
shade@0 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
shade@0 15 version 2 for more details (a copy is included in the LICENSE file that
shade@0 16 accompanied this code).
shade@0 17
shade@0 18 You should have received a copy of the GNU General Public License version
shade@0 19 2 along with this work; if not, write to the Free Software Foundation,
shade@0 20 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
shade@0 21
shade@0 22 Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
shade@0 23 or visit www.oracle.com if you need additional information or have any
shade@0 24 questions.
shade@0 25
shade@0 26 -->
shade@0 27 <testsuite>
shade@0 28
shade@0 29 <test name="org.openjdk.jcstress.tests.volatiles.IRIWTest">
shade@0 30 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 31 <description>Tests the IRIW sequential consistency.</description>
shade@0 32 <case>
shade@0 33 <match>[0, 1, 1, 0]</match>
shade@0 34 <expect>ACCEPTABLE</expect>
shade@0 35 <description>This is a rare event, because it requires precise juxtaposition of threads to observe.</description>
shade@0 36 <refs>
shade@0 37 <url>http://cs.oswego.edu/pipermail/concurrency-interest/2013-January/010608.html</url>
shade@0 38 </refs>
shade@0 39 </case>
shade@0 40 <case>
shade@0 41 <match>[1, 0, 0, 1]</match>
shade@0 42 <expect>KNOWN_ACCEPTABLE</expect>
shade@0 43 <description>Threads see the updates in the inconsistent order</description>
shade@0 44 </case>
shade@0 45 <unmatched>
shade@0 46 <expect>ACCEPTABLE</expect>
shade@0 47 <description>
shade@0 48 All cases are accepted.
shade@0 49 </description>
shade@0 50 </unmatched>
shade@0 51 </test>
shade@0 52
shade@0 53 <test name="org.openjdk.jcstress.tests.volatiles.VolatileIRIWTest">
shade@0 54 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 55 <description>Tests the IRIW sequential consistency.</description>
shade@0 56 <case>
shade@0 57 <match>[0, 1, 1, 0]</match>
shade@0 58 <expect>ACCEPTABLE</expect>
shade@0 59 <description>This is a rare event, because it requires precise juxtaposition of threads to observe.</description>
shade@0 60 <refs>
shade@0 61 <url>http://cs.oswego.edu/pipermail/concurrency-interest/2013-January/010608.html</url>
shade@0 62 </refs>
shade@0 63 </case>
shade@0 64 <case>
shade@0 65 <match>[1, 0, 0, 1]</match>
shade@0 66 <expect>FORBIDDEN</expect>
shade@0 67 <description>Threads see the updates in the inconsistent order</description>
shade@0 68 </case>
shade@0 69 <unmatched>
shade@0 70 <expect>ACCEPTABLE</expect>
shade@0 71 <description>
shade@0 72 All cases are accepted.
shade@0 73 </description>
shade@0 74 </unmatched>
shade@0 75 </test>
shade@0 76
shade@0 77 </testsuite>