annotate tests-custom/src/main/resources/org/openjdk/jcstress/desc/causality.xml @ 152:7a9f5f818d94

Update the copyright year to 2014 for the files modifed in 2014.
author shade
date Wed, 07 May 2014 17:11:41 +0400
parents d7f7a93800e4
children
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 <template name="int_defaultValue">
shade@0 30 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 31 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 32 <case>
shade@0 33 <match>[0, 1]</match>
shade@0 34 <match>[1, 0]</match>
shade@66 35 <expect>ACCEPTABLE_INTERESTING</expect>
shade@0 36 <description>
shade@0 37 There is the race on the field. Second read can still read the default value.
shade@0 38 </description>
shade@0 39 </case>
shade@0 40 <case>
shade@0 41 <match>[1, 1]</match>
shade@0 42 <expect>ACCEPTABLE</expect>
shade@0 43 <description>
shade@0 44 Everything is OK: both threads have the initialized value.
shade@0 45 </description>
shade@0 46 </case>
shade@0 47 <unmatched>
shade@0 48 <expect>FORBIDDEN</expect>
shade@0 49 <description>
shade@0 50 This case is not expected.
shade@0 51 </description>
shade@0 52 </unmatched>
shade@0 53 </template>
shade@0 54
shade@0 55 <template name="float_defaultValue">
shade@0 56 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 57 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 58 <case>
shade@0 59 <match>[0.0, 1.0]</match>
shade@0 60 <match>[1.0, 0.0]</match>
shade@66 61 <expect>ACCEPTABLE_INTERESTING</expect>
shade@0 62 <description>
shade@0 63 There is the race on the field. Second read can still read the default value.
shade@0 64 </description>
shade@0 65 </case>
shade@0 66 <case>
shade@0 67 <match>[1.0, 1.0]</match>
shade@0 68 <expect>ACCEPTABLE</expect>
shade@0 69 <description>
shade@0 70 Everything is OK: both threads have the initialized value.
shade@0 71 </description>
shade@0 72 </case>
shade@0 73 <unmatched>
shade@0 74 <expect>FORBIDDEN</expect>
shade@0 75 <description>
shade@0 76 This case is not expected.
shade@0 77 </description>
shade@0 78 </unmatched>
shade@0 79 </template>
shade@0 80
shade@0 81 <template name="char_defaultValue">
shade@0 82 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 83 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 84 <case>
shade@0 85 <match>[A, B]</match>
shade@0 86 <match>[B, A]</match>
shade@66 87 <expect>ACCEPTABLE_INTERESTING</expect>
shade@0 88 <description>
shade@0 89 There is the race on the field. Second read can still read the default value.
shade@0 90 </description>
shade@0 91 </case>
shade@0 92 <case>
shade@0 93 <match>[B, B]</match>
shade@0 94 <expect>ACCEPTABLE</expect>
shade@0 95 <description>
shade@0 96 Everything is OK: both threads have the initialized value.
shade@0 97 </description>
shade@0 98 </case>
shade@0 99 <unmatched>
shade@0 100 <expect>FORBIDDEN</expect>
shade@0 101 <description>
shade@0 102 This case is not expected.
shade@0 103 </description>
shade@0 104 </unmatched>
shade@0 105 </template>
shade@0 106
shade@0 107 <template name="boolean_defaultValue">
shade@0 108 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 109 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 110 <case>
shade@0 111 <match>[true, false]</match>
shade@0 112 <match>[false, true]</match>
shade@66 113 <expect>ACCEPTABLE_INTERESTING</expect>
shade@0 114 <description>
shade@0 115 There is the race on the field. Second read can still read the default value.
shade@0 116 </description>
shade@0 117 </case>
shade@0 118 <case>
shade@0 119 <match>[true, true]</match>
shade@0 120 <expect>ACCEPTABLE</expect>
shade@0 121 <description>
shade@0 122 Everything is OK: both threads have the initialized value.
shade@0 123 </description>
shade@0 124 </case>
shade@0 125 <unmatched>
shade@0 126 <expect>FORBIDDEN</expect>
shade@0 127 <description>
shade@0 128 This case is not expected.
shade@0 129 </description>
shade@0 130 </unmatched>
shade@0 131 </template>
shade@0 132
shade@0 133 <template name="int_completeInit">
shade@0 134 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 135 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 136 <case>
shade@0 137 <match>[0, 1]</match>
shade@0 138 <match>[1, 0]</match>
shade@0 139 <expect>FORBIDDEN</expect>
shade@0 140 <description>
shade@0 141 One of the actor threads had read the the default value; even though it set
shade@0 142 </description>
shade@0 143 </case>
shade@0 144 <case>
shade@0 145 <match>[1, 1]</match>
shade@0 146 <expect>ACCEPTABLE</expect>
shade@0 147 <description>
shade@0 148 Everything is OK: both threads have the initialized value.
shade@0 149 </description>
shade@0 150 </case>
shade@0 151 <unmatched>
shade@0 152 <expect>FORBIDDEN</expect>
shade@0 153 <description>
shade@0 154 This case is not expected.
shade@0 155 </description>
shade@0 156 </unmatched>
shade@0 157 </template>
shade@0 158
shade@0 159 <template name="float_completeInit">
shade@0 160 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 161 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 162 <case>
shade@0 163 <match>[0.0, 1.0]</match>
shade@0 164 <match>[1.0, 0.0]</match>
shade@0 165 <expect>FORBIDDEN</expect>
shade@0 166 <description>
shade@0 167 One of the actor threads had read the the default value; even though it set
shade@0 168 </description>
shade@0 169 </case>
shade@0 170 <case>
shade@0 171 <match>[1.0, 1.0]</match>
shade@0 172 <expect>ACCEPTABLE</expect>
shade@0 173 <description>
shade@0 174 Everything is OK: both threads have the initialized value.
shade@0 175 </description>
shade@0 176 </case>
shade@0 177 <unmatched>
shade@0 178 <expect>FORBIDDEN</expect>
shade@0 179 <description>
shade@0 180 This case is not expected.
shade@0 181 </description>
shade@0 182 </unmatched>
shade@0 183 </template>
shade@0 184
shade@0 185 <template name="char_completeInit">
shade@0 186 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 187 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 188 <case>
shade@0 189 <match>[A, B]</match>
shade@0 190 <match>[B, A]</match>
shade@0 191 <expect>FORBIDDEN</expect>
shade@0 192 <description>
shade@0 193 One of the actor threads had read the the default value; even though it set
shade@0 194 </description>
shade@0 195 </case>
shade@0 196 <case>
shade@0 197 <match>[B, B]</match>
shade@0 198 <expect>ACCEPTABLE</expect>
shade@0 199 <description>
shade@0 200 Everything is OK: both threads have the initialized value.
shade@0 201 </description>
shade@0 202 </case>
shade@0 203 <unmatched>
shade@0 204 <expect>FORBIDDEN</expect>
shade@0 205 <description>
shade@0 206 This case is not expected.
shade@0 207 </description>
shade@0 208 </unmatched>
shade@0 209 </template>
shade@0 210
shade@0 211 <template name="boolean_completeInit">
shade@0 212 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 213 <description>Checks if re-reading the field picks up the same value.</description>
shade@0 214 <case>
shade@0 215 <match>[true, false]</match>
shade@0 216 <match>[false, true]</match>
shade@0 217 <expect>FORBIDDEN</expect>
shade@0 218 <description>
shade@0 219 One of the actor threads had read the the default value; even though it set
shade@0 220 </description>
shade@0 221 </case>
shade@0 222 <case>
shade@0 223 <match>[true, true]</match>
shade@0 224 <expect>ACCEPTABLE</expect>
shade@0 225 <description>
shade@0 226 Everything is OK: both threads have the initialized value.
shade@0 227 </description>
shade@0 228 </case>
shade@0 229 <unmatched>
shade@0 230 <expect>FORBIDDEN</expect>
shade@0 231 <description>
shade@0 232 This case is not expected.
shade@0 233 </description>
shade@0 234 </unmatched>
shade@0 235 </template>
shade@0 236
shade@0 237 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.BooleanLazyTest" template="boolean_defaultValue"/>
shade@0 238 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ByteLazyTest" template="int_defaultValue"/>
shade@0 239 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.CharLazyTest" template="char_defaultValue"/>
shade@0 240 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.DoubleLazyTest" template="float_defaultValue"/>
shade@0 241 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.FloatLazyTest" template="float_defaultValue"/>
shade@0 242 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.IntLazyTest" template="int_defaultValue"/>
shade@0 243 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.LongLazyTest" template="int_defaultValue"/>
shade@0 244 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ObjectLazyTest" template="int_defaultValue"/>
shade@0 245 <test name="org.openjdk.jcstress.tests.causality.lazyinit.plain.ShortLazyTest" template="int_defaultValue"/>
shade@0 246
shade@0 247 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.BooleanLazyTest" template="boolean_completeInit"/>
shade@0 248 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ByteLazyTest" template="int_completeInit"/>
shade@0 249 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.CharLazyTest" template="char_completeInit"/>
shade@0 250 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.DoubleLazyTest" template="float_completeInit"/>
shade@0 251 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.FloatLazyTest" template="float_completeInit"/>
shade@0 252 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.IntLazyTest" template="int_completeInit"/>
shade@0 253 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.LongLazyTest" template="int_completeInit"/>
shade@0 254 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ObjectLazyTest" template="int_completeInit"/>
shade@0 255 <test name="org.openjdk.jcstress.tests.causality.lazyinit.volatiles.ShortLazyTest" template="int_completeInit"/>
shade@0 256
shade@0 257 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.BooleanLazyTest" template="boolean_completeInit"/>
shade@0 258 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ByteLazyTest" template="int_completeInit"/>
shade@0 259 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.CharLazyTest" template="char_completeInit"/>
shade@0 260 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.DoubleLazyTest" template="float_completeInit"/>
shade@0 261 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.FloatLazyTest" template="float_completeInit"/>
shade@0 262 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.IntLazyTest" template="int_completeInit"/>
shade@0 263 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.LongLazyTest" template="int_completeInit"/>
shade@0 264 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ObjectLazyTest" template="int_completeInit"/>
shade@0 265 <test name="org.openjdk.jcstress.tests.causality.lazyinit.cached.ShortLazyTest" template="int_completeInit"/>
shade@0 266
shade@152 267 </testsuite>