annotate tests-custom/src/main/resources/org/openjdk/jcstress/desc/atomic-integer-updater.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 3d9284da5b4c
children da2ebe220a00
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.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_AddAndGet">
shade@0 30 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 31 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 32 <case>
shade@0 33 <match>[5, 10]</match>
shade@0 34 <expect>ACCEPTABLE</expect>
shade@0 35 <description>T1 -> T2 execution.</description>
shade@0 36 </case>
shade@0 37 <case>
shade@0 38 <match>[10, 5]</match>
shade@0 39 <expect>ACCEPTABLE</expect>
shade@0 40 <description>T2 -> T1 execution.</description>
shade@0 41 </case>
shade@0 42 <unmatched>
shade@0 43 <expect>FORBIDDEN</expect>
shade@0 44 <description>Other cases are not expected.</description>
shade@0 45 </unmatched>
shade@0 46 </test>
shade@0 47
shade@0 48 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_DecAndGet">
shade@0 49 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 50 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 51 <case>
shade@0 52 <match>[5, 4]</match>
shade@0 53 <expect>ACCEPTABLE</expect>
shade@0 54 <description>T1 -> T2 execution.</description>
shade@0 55 </case>
shade@0 56 <case>
shade@0 57 <match>[4, -1]</match>
shade@0 58 <expect>ACCEPTABLE</expect>
shade@0 59 <description>T2 -> T1 execution.</description>
shade@0 60 </case>
shade@0 61 <unmatched>
shade@0 62 <expect>FORBIDDEN</expect>
shade@0 63 <description>Other cases are not expected.</description>
shade@0 64 </unmatched>
shade@0 65 </test>
shade@0 66
shade@0 67 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_CAS">
shade@0 68 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 69 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 70 <case>
shade@0 71 <match>[5, 10]</match>
shade@0 72 <expect>ACCEPTABLE</expect>
shade@0 73 <description>T1 -> T2 execution.</description>
shade@0 74 </case>
shade@0 75 <case>
shade@0 76 <match>[25, 20]</match>
shade@0 77 <expect>ACCEPTABLE</expect>
shade@0 78 <description>T2 -> T1 execution.</description>
shade@0 79 </case>
shade@0 80 <unmatched>
shade@0 81 <expect>FORBIDDEN</expect>
shade@0 82 <description>Other cases are not expected.</description>
shade@0 83 </unmatched>
shade@0 84 </test>
shade@0 85
shade@0 86 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_WCAS">
shade@0 87 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 88 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 89 <case>
shade@0 90 <match>[5, 10]</match>
shade@0 91 <expect>ACCEPTABLE</expect>
shade@0 92 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 93 </case>
shade@0 94 <case>
shade@0 95 <match>[25, 20]</match>
shade@0 96 <expect>ACCEPTABLE</expect>
shade@0 97 <description>T2 -> T1 execution.</description>
shade@0 98 </case>
shade@0 99 <unmatched>
shade@0 100 <expect>FORBIDDEN</expect>
shade@0 101 <description>Other cases are not expected.</description>
shade@0 102 </unmatched>
shade@0 103 </test>
shade@0 104
shade@0 105 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_GetAndAdd">
shade@0 106 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 107 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 108 <case>
shade@0 109 <match>[5, 5]</match>
shade@0 110 <expect>ACCEPTABLE</expect>
shade@0 111 <description>T1 -> T2 execution.</description>
shade@0 112 </case>
shade@0 113 <case>
shade@0 114 <match>[10, 0]</match>
shade@0 115 <expect>ACCEPTABLE</expect>
shade@0 116 <description>T2 -> T1 execution.</description>
shade@0 117 </case>
shade@0 118 <unmatched>
shade@0 119 <expect>FORBIDDEN</expect>
shade@0 120 <description>Other cases are not expected.</description>
shade@0 121 </unmatched>
shade@0 122 </test>
shade@0 123
shade@0 124 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_GetAndDec">
shade@0 125 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 126 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 127 <case>
shade@0 128 <match>[5, 5]</match>
shade@0 129 <expect>ACCEPTABLE</expect>
shade@0 130 <description>T1 -> T2 execution.</description>
shade@0 131 </case>
shade@0 132 <case>
shade@0 133 <match>[4, 0]</match>
shade@0 134 <expect>ACCEPTABLE</expect>
shade@0 135 <description>T2 -> T1 execution.</description>
shade@0 136 </case>
shade@0 137 <unmatched>
shade@0 138 <expect>FORBIDDEN</expect>
shade@0 139 <description>Other cases are not expected.</description>
shade@0 140 </unmatched>
shade@0 141 </test>
shade@0 142
shade@0 143 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_GetAndInc">
shade@0 144 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 145 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 146 <case>
shade@0 147 <match>[5, 5]</match>
shade@0 148 <expect>ACCEPTABLE</expect>
shade@0 149 <description>T1 -> T2 execution.</description>
shade@0 150 </case>
shade@0 151 <case>
shade@0 152 <match>[6, 0]</match>
shade@0 153 <expect>ACCEPTABLE</expect>
shade@0 154 <description>T2 -> T1 execution.</description>
shade@0 155 </case>
shade@0 156 <unmatched>
shade@0 157 <expect>FORBIDDEN</expect>
shade@0 158 <description>Other cases are not expected.</description>
shade@0 159 </unmatched>
shade@0 160 </test>
shade@0 161
shade@0 162 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_GetAndSet">
shade@0 163 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 164 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 165 <case>
shade@0 166 <match>[5, 5]</match>
shade@0 167 <expect>ACCEPTABLE</expect>
shade@0 168 <description>T1 -> T2 execution.</description>
shade@0 169 </case>
shade@0 170 <case>
shade@0 171 <match>[15, 0]</match>
shade@0 172 <expect>ACCEPTABLE</expect>
shade@0 173 <description>T2 -> T1 execution.</description>
shade@0 174 </case>
shade@0 175 <unmatched>
shade@0 176 <expect>FORBIDDEN</expect>
shade@0 177 <description>Other cases are not expected.</description>
shade@0 178 </unmatched>
shade@0 179 </test>
shade@0 180
shade@0 181 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_IncAndGet">
shade@0 182 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 183 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 184 <case>
shade@0 185 <match>[5, 6]</match>
shade@0 186 <expect>ACCEPTABLE</expect>
shade@0 187 <description>T1 -> T2 execution.</description>
shade@0 188 </case>
shade@0 189 <case>
shade@0 190 <match>[6, 1]</match>
shade@0 191 <expect>ACCEPTABLE</expect>
shade@0 192 <description>T2 -> T1 execution.</description>
shade@0 193 </case>
shade@0 194 <unmatched>
shade@0 195 <expect>FORBIDDEN</expect>
shade@0 196 <description>Other cases are not expected.</description>
shade@0 197 </unmatched>
shade@0 198 </test>
shade@0 199
shade@0 200 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$AddAndGet_Set">
shade@0 201 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 202 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 203 <case>
shade@0 204 <match>[5, 0]</match>
shade@0 205 <expect>ACCEPTABLE</expect>
shade@0 206 <description>T1 -> T2 execution.</description>
shade@0 207 </case>
shade@0 208 <case>
shade@0 209 <match>[15, 0]</match>
shade@0 210 <expect>ACCEPTABLE</expect>
shade@0 211 <description>T2 -> T1 execution.</description>
shade@0 212 </case>
shade@0 213 <unmatched>
shade@0 214 <expect>FORBIDDEN</expect>
shade@0 215 <description>Other cases are not expected.</description>
shade@0 216 </unmatched>
shade@0 217 </test>
shade@0 218
shade@0 219 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_CAS">
shade@0 220 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 221 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 222 <case>
shade@0 223 <match>[-1, 10]</match>
shade@0 224 <expect>ACCEPTABLE</expect>
shade@0 225 <description>T1 -> T2 execution.</description>
shade@0 226 </case>
shade@0 227 <case>
shade@0 228 <match>[19, 20]</match>
shade@0 229 <expect>ACCEPTABLE</expect>
shade@0 230 <description>T2 -> T1 execution.</description>
shade@0 231 </case>
shade@0 232 <unmatched>
shade@0 233 <expect>FORBIDDEN</expect>
shade@0 234 <description>Other cases are not expected.</description>
shade@0 235 </unmatched>
shade@0 236 </test>
shade@0 237
shade@0 238 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_WCAS">
shade@0 239 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 240 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 241 <case>
shade@0 242 <match>[-1, 10]</match>
shade@0 243 <expect>ACCEPTABLE</expect>
shade@0 244 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 245 </case>
shade@0 246 <case>
shade@0 247 <match>[19, 20]</match>
shade@0 248 <expect>ACCEPTABLE</expect>
shade@0 249 <description>T2 -> T1 execution.</description>
shade@0 250 </case>
shade@0 251 <unmatched>
shade@0 252 <expect>FORBIDDEN</expect>
shade@0 253 <description>Other cases are not expected.</description>
shade@0 254 </unmatched>
shade@0 255 </test>
shade@0 256
shade@0 257 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_DecAndGet">
shade@0 258 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 259 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 260 <case>
shade@0 261 <match>[-1, -2]</match>
shade@0 262 <expect>ACCEPTABLE</expect>
shade@0 263 <description>T1 -> T2 execution.</description>
shade@0 264 </case>
shade@0 265 <case>
shade@0 266 <match>[-2, -1]</match>
shade@0 267 <expect>ACCEPTABLE</expect>
shade@0 268 <description>T2 -> T1 execution.</description>
shade@0 269 </case>
shade@0 270 <unmatched>
shade@0 271 <expect>FORBIDDEN</expect>
shade@0 272 <description>Other cases are not expected.</description>
shade@0 273 </unmatched>
shade@0 274 </test>
shade@0 275
shade@0 276 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_GetAndAdd">
shade@0 277 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 278 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 279 <case>
shade@46 280 <match>[-1, -1]</match>
shade@0 281 <expect>ACCEPTABLE</expect>
shade@0 282 <description>T1 -> T2 execution.</description>
shade@0 283 </case>
shade@0 284 <case>
shade@46 285 <match>[4, 0]</match>
shade@0 286 <expect>ACCEPTABLE</expect>
shade@0 287 <description>T2 -> T1 execution.</description>
shade@0 288 </case>
shade@0 289 <unmatched>
shade@0 290 <expect>FORBIDDEN</expect>
shade@0 291 <description>Other cases are not expected.</description>
shade@0 292 </unmatched>
shade@0 293 </test>
shade@0 294
shade@0 295 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_GetAndDec">
shade@0 296 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 297 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 298 <case>
shade@0 299 <match>[-1, -1]</match>
shade@0 300 <expect>ACCEPTABLE</expect>
shade@0 301 <description>T1 -> T2 execution.</description>
shade@0 302 </case>
shade@0 303 <case>
shade@0 304 <match>[-2, 0]</match>
shade@0 305 <expect>ACCEPTABLE</expect>
shade@0 306 <description>T2 -> T1 execution.</description>
shade@0 307 </case>
shade@0 308 <unmatched>
shade@0 309 <expect>FORBIDDEN</expect>
shade@0 310 <description>Other cases are not expected.</description>
shade@0 311 </unmatched>
shade@0 312 </test>
shade@0 313
shade@0 314 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_GetAndInc">
shade@0 315 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 316 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 317 <case>
shade@0 318 <match>[-1, -1]</match>
shade@0 319 <expect>ACCEPTABLE</expect>
shade@0 320 <description>T1 -> T2 execution.</description>
shade@0 321 </case>
shade@0 322 <case>
shade@0 323 <match>[0, 0]</match>
shade@0 324 <expect>ACCEPTABLE</expect>
shade@0 325 <description>T2 -> T1 execution.</description>
shade@0 326 </case>
shade@0 327 <unmatched>
shade@0 328 <expect>FORBIDDEN</expect>
shade@0 329 <description>Other cases are not expected.</description>
shade@0 330 </unmatched>
shade@0 331 </test>
shade@0 332
shade@0 333 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_GetAndSet">
shade@0 334 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 335 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 336 <case>
shade@0 337 <match>[-1, -1]</match>
shade@0 338 <expect>ACCEPTABLE</expect>
shade@0 339 <description>T1 -> T2 execution.</description>
shade@0 340 </case>
shade@0 341 <case>
shade@0 342 <match>[9, 0]</match>
shade@0 343 <expect>ACCEPTABLE</expect>
shade@0 344 <description>T2 -> T1 execution.</description>
shade@0 345 </case>
shade@0 346 <unmatched>
shade@0 347 <expect>FORBIDDEN</expect>
shade@0 348 <description>Other cases are not expected.</description>
shade@0 349 </unmatched>
shade@0 350 </test>
shade@0 351
shade@0 352 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_IncAndGet">
shade@0 353 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 354 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 355 <case>
shade@0 356 <match>[-1, 0]</match>
shade@0 357 <expect>ACCEPTABLE</expect>
shade@0 358 <description>T1 -> T2 execution.</description>
shade@0 359 </case>
shade@0 360 <case>
shade@0 361 <match>[0, 1]</match>
shade@0 362 <expect>ACCEPTABLE</expect>
shade@0 363 <description>T2 -> T1 execution.</description>
shade@0 364 </case>
shade@0 365 <unmatched>
shade@0 366 <expect>FORBIDDEN</expect>
shade@0 367 <description>Other cases are not expected.</description>
shade@0 368 </unmatched>
shade@0 369 </test>
shade@0 370
shade@0 371 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$DecAndGet_Set">
shade@0 372 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 373 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 374 <case>
shade@0 375 <match>[-1, 0]</match>
shade@0 376 <expect>ACCEPTABLE</expect>
shade@0 377 <description>T1 -> T2 execution.</description>
shade@0 378 </case>
shade@0 379 <case>
shade@0 380 <match>[9, 0]</match>
shade@0 381 <expect>ACCEPTABLE</expect>
shade@0 382 <description>T2 -> T1 execution.</description>
shade@0 383 </case>
shade@0 384 <unmatched>
shade@0 385 <expect>FORBIDDEN</expect>
shade@0 386 <description>Other cases are not expected.</description>
shade@0 387 </unmatched>
shade@0 388 </test>
shade@0 389
shade@0 390 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_CAS">
shade@0 391 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 392 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 393 <case>
shade@0 394 <match>[0, 10]</match>
shade@0 395 <expect>ACCEPTABLE</expect>
shade@0 396 <description>T1 -> T2 execution.</description>
shade@0 397 </case>
shade@0 398 <case>
shade@0 399 <match>[20, 20]</match>
shade@0 400 <expect>ACCEPTABLE</expect>
shade@0 401 <description>T2 -> T1 execution.</description>
shade@0 402 </case>
shade@0 403 <unmatched>
shade@0 404 <expect>FORBIDDEN</expect>
shade@0 405 <description>Other cases are not expected.</description>
shade@0 406 </unmatched>
shade@0 407 </test>
shade@0 408
shade@0 409 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_WCAS">
shade@0 410 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 411 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 412 <case>
shade@0 413 <match>[0, 10]</match>
shade@0 414 <expect>ACCEPTABLE</expect>
shade@0 415 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 416 </case>
shade@0 417 <case>
shade@0 418 <match>[20, 20]</match>
shade@0 419 <expect>ACCEPTABLE</expect>
shade@0 420 <description>T2 -> T1 execution.</description>
shade@0 421 </case>
shade@0 422 <unmatched>
shade@0 423 <expect>FORBIDDEN</expect>
shade@0 424 <description>Other cases are not expected.</description>
shade@0 425 </unmatched>
shade@0 426 </test>
shade@0 427
shade@0 428 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_GetAndAdd">
shade@0 429 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 430 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 431 <case>
shade@0 432 <match>[0, 5]</match>
shade@0 433 <expect>ACCEPTABLE</expect>
shade@0 434 <description>T1 -> T2 execution.</description>
shade@0 435 </case>
shade@0 436 <case>
shade@0 437 <match>[5, 0]</match>
shade@0 438 <expect>ACCEPTABLE</expect>
shade@0 439 <description>T2 -> T1 execution.</description>
shade@0 440 </case>
shade@0 441 <unmatched>
shade@0 442 <expect>FORBIDDEN</expect>
shade@0 443 <description>Other cases are not expected.</description>
shade@0 444 </unmatched>
shade@0 445 </test>
shade@0 446
shade@0 447 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_GetAndDec">
shade@0 448 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 449 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 450 <case>
shade@0 451 <match>[0, 5]</match>
shade@0 452 <expect>ACCEPTABLE</expect>
shade@0 453 <description>T1 -> T2 execution.</description>
shade@0 454 </case>
shade@0 455 <case>
shade@0 456 <match>[-1, 0]</match>
shade@0 457 <expect>ACCEPTABLE</expect>
shade@0 458 <description>T2 -> T1 execution.</description>
shade@0 459 </case>
shade@0 460 <unmatched>
shade@0 461 <expect>FORBIDDEN</expect>
shade@0 462 <description>Other cases are not expected.</description>
shade@0 463 </unmatched>
shade@0 464 </test>
shade@0 465
shade@0 466 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_GetAndInc">
shade@0 467 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 468 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 469 <case>
shade@0 470 <match>[0, 5]</match>
shade@0 471 <expect>ACCEPTABLE</expect>
shade@0 472 <description>T1 -> T2 execution.</description>
shade@0 473 </case>
shade@0 474 <case>
shade@0 475 <match>[1, 0]</match>
shade@0 476 <expect>ACCEPTABLE</expect>
shade@0 477 <description>T2 -> T1 execution.</description>
shade@0 478 </case>
shade@0 479 <unmatched>
shade@0 480 <expect>FORBIDDEN</expect>
shade@0 481 <description>Other cases are not expected.</description>
shade@0 482 </unmatched>
shade@0 483 </test>
shade@0 484
shade@0 485 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_GetAndSet">
shade@0 486 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 487 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 488 <case>
shade@0 489 <match>[0, 5]</match>
shade@0 490 <expect>ACCEPTABLE</expect>
shade@0 491 <description>T1 -> T2 execution.</description>
shade@0 492 </case>
shade@0 493 <case>
shade@0 494 <match>[10, 0]</match>
shade@0 495 <expect>ACCEPTABLE</expect>
shade@0 496 <description>T2 -> T1 execution.</description>
shade@0 497 </case>
shade@0 498 <unmatched>
shade@0 499 <expect>FORBIDDEN</expect>
shade@0 500 <description>Other cases are not expected.</description>
shade@0 501 </unmatched>
shade@0 502 </test>
shade@0 503
shade@0 504 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_IncAndGet">
shade@0 505 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 506 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 507 <case>
shade@0 508 <match>[0, 6]</match>
shade@0 509 <expect>ACCEPTABLE</expect>
shade@0 510 <description>T1 -> T2 execution.</description>
shade@0 511 </case>
shade@0 512 <case>
shade@0 513 <match>[1, 1]</match>
shade@0 514 <expect>ACCEPTABLE</expect>
shade@0 515 <description>T2 -> T1 execution.</description>
shade@0 516 </case>
shade@0 517 <unmatched>
shade@0 518 <expect>FORBIDDEN</expect>
shade@0 519 <description>Other cases are not expected.</description>
shade@0 520 </unmatched>
shade@0 521 </test>
shade@0 522
shade@0 523 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndAdd_Set">
shade@0 524 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 525 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 526 <case>
shade@0 527 <match>[0, 0]</match>
shade@0 528 <expect>ACCEPTABLE</expect>
shade@0 529 <description>T1 -> T2 execution.</description>
shade@0 530 </case>
shade@0 531 <case>
shade@0 532 <match>[10, 0]</match>
shade@0 533 <expect>ACCEPTABLE</expect>
shade@0 534 <description>T2 -> T1 execution.</description>
shade@0 535 </case>
shade@0 536 <unmatched>
shade@0 537 <expect>FORBIDDEN</expect>
shade@0 538 <description>Other cases are not expected.</description>
shade@0 539 </unmatched>
shade@0 540 </test>
shade@0 541
shade@0 542 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_CAS">
shade@0 543 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 544 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 545 <case>
shade@0 546 <match>[0, 10]</match>
shade@0 547 <expect>ACCEPTABLE</expect>
shade@0 548 <description>T1 -> T2 execution.</description>
shade@0 549 </case>
shade@0 550 <case>
shade@0 551 <match>[20, 20]</match>
shade@0 552 <expect>ACCEPTABLE</expect>
shade@0 553 <description>T2 -> T1 execution.</description>
shade@0 554 </case>
shade@0 555 <unmatched>
shade@0 556 <expect>FORBIDDEN</expect>
shade@0 557 <description>Other cases are not expected.</description>
shade@0 558 </unmatched>
shade@0 559 </test>
shade@0 560
shade@0 561 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_WCAS">
shade@0 562 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 563 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 564 <case>
shade@0 565 <match>[0, 10]</match>
shade@0 566 <expect>ACCEPTABLE</expect>
shade@0 567 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 568 </case>
shade@0 569 <case>
shade@0 570 <match>[20, 20]</match>
shade@0 571 <expect>ACCEPTABLE</expect>
shade@0 572 <description>T2 -> T1 execution.</description>
shade@0 573 </case>
shade@0 574 <unmatched>
shade@0 575 <expect>FORBIDDEN</expect>
shade@0 576 <description>Other cases are not expected.</description>
shade@0 577 </unmatched>
shade@0 578 </test>
shade@0 579
shade@0 580 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_GetAndDec">
shade@0 581 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 582 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 583 <case>
shade@0 584 <match>[0, -1]</match>
shade@0 585 <expect>ACCEPTABLE</expect>
shade@0 586 <description>T1 -> T2 execution.</description>
shade@0 587 </case>
shade@0 588 <case>
shade@0 589 <match>[-1, 0]</match>
shade@0 590 <expect>ACCEPTABLE</expect>
shade@0 591 <description>T2 -> T1 execution.</description>
shade@0 592 </case>
shade@0 593 <unmatched>
shade@0 594 <expect>FORBIDDEN</expect>
shade@0 595 <description>Other cases are not expected.</description>
shade@0 596 </unmatched>
shade@0 597 </test>
shade@0 598
shade@0 599 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_GetAndInc">
shade@0 600 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 601 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 602 <case>
shade@0 603 <match>[0, -1]</match>
shade@0 604 <expect>ACCEPTABLE</expect>
shade@0 605 <description>T1 -> T2 execution.</description>
shade@0 606 </case>
shade@0 607 <case>
shade@0 608 <match>[1, 0]</match>
shade@0 609 <expect>ACCEPTABLE</expect>
shade@0 610 <description>T2 -> T1 execution.</description>
shade@0 611 </case>
shade@0 612 <unmatched>
shade@0 613 <expect>FORBIDDEN</expect>
shade@0 614 <description>Other cases are not expected.</description>
shade@0 615 </unmatched>
shade@0 616 </test>
shade@0 617
shade@0 618 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_GetAndSet">
shade@0 619 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 620 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 621 <case>
shade@0 622 <match>[0, -1]</match>
shade@0 623 <expect>ACCEPTABLE</expect>
shade@0 624 <description>T1 -> T2 execution.</description>
shade@0 625 </case>
shade@0 626 <case>
shade@0 627 <match>[10, 0]</match>
shade@0 628 <expect>ACCEPTABLE</expect>
shade@0 629 <description>T2 -> T1 execution.</description>
shade@0 630 </case>
shade@0 631 <unmatched>
shade@0 632 <expect>FORBIDDEN</expect>
shade@0 633 <description>Other cases are not expected.</description>
shade@0 634 </unmatched>
shade@0 635 </test>
shade@0 636
shade@0 637 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_IncAndGet">
shade@0 638 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 639 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 640 <case>
shade@0 641 <match>[0, 0]</match>
shade@0 642 <expect>ACCEPTABLE</expect>
shade@0 643 <description>T1 -> T2 execution.</description>
shade@0 644 </case>
shade@0 645 <case>
shade@0 646 <match>[1, 1]</match>
shade@0 647 <expect>ACCEPTABLE</expect>
shade@0 648 <description>T2 -> T1 execution.</description>
shade@0 649 </case>
shade@0 650 <unmatched>
shade@0 651 <expect>FORBIDDEN</expect>
shade@0 652 <description>Other cases are not expected.</description>
shade@0 653 </unmatched>
shade@0 654 </test>
shade@0 655
shade@0 656 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndDec_Set">
shade@0 657 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 658 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 659 <case>
shade@0 660 <match>[0, 0]</match>
shade@0 661 <expect>ACCEPTABLE</expect>
shade@0 662 <description>T1 -> T2 execution.</description>
shade@0 663 </case>
shade@0 664 <case>
shade@0 665 <match>[10, 0]</match>
shade@0 666 <expect>ACCEPTABLE</expect>
shade@0 667 <description>T2 -> T1 execution.</description>
shade@0 668 </case>
shade@0 669 <unmatched>
shade@0 670 <expect>FORBIDDEN</expect>
shade@0 671 <description>Other cases are not expected.</description>
shade@0 672 </unmatched>
shade@0 673 </test>
shade@0 674
shade@0 675 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_CAS">
shade@0 676 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 677 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 678 <case>
shade@0 679 <match>[0, 10]</match>
shade@0 680 <expect>ACCEPTABLE</expect>
shade@0 681 <description>T1 -> T2 execution.</description>
shade@0 682 </case>
shade@0 683 <case>
shade@0 684 <match>[20, 20]</match>
shade@0 685 <expect>ACCEPTABLE</expect>
shade@0 686 <description>T2 -> T1 execution.</description>
shade@0 687 </case>
shade@0 688 <unmatched>
shade@0 689 <expect>FORBIDDEN</expect>
shade@0 690 <description>Other cases are not expected.</description>
shade@0 691 </unmatched>
shade@0 692 </test>
shade@0 693
shade@0 694 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_WCAS">
shade@0 695 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 696 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 697 <case>
shade@0 698 <match>[0, 10]</match>
shade@0 699 <expect>ACCEPTABLE</expect>
shade@0 700 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 701 </case>
shade@0 702 <case>
shade@0 703 <match>[20, 20]</match>
shade@0 704 <expect>ACCEPTABLE</expect>
shade@0 705 <description>T2 -> T1 execution.</description>
shade@0 706 </case>
shade@0 707 <unmatched>
shade@0 708 <expect>FORBIDDEN</expect>
shade@0 709 <description>Other cases are not expected.</description>
shade@0 710 </unmatched>
shade@0 711 </test>
shade@0 712
shade@0 713 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_GetAndInc">
shade@0 714 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 715 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 716 <case>
shade@0 717 <match>[0, 1]</match>
shade@0 718 <expect>ACCEPTABLE</expect>
shade@0 719 <description>T1 -> T2 execution.</description>
shade@0 720 </case>
shade@0 721 <case>
shade@0 722 <match>[1, 0]</match>
shade@0 723 <expect>ACCEPTABLE</expect>
shade@0 724 <description>T2 -> T1 execution.</description>
shade@0 725 </case>
shade@0 726 <unmatched>
shade@0 727 <expect>FORBIDDEN</expect>
shade@0 728 <description>Other cases are not expected.</description>
shade@0 729 </unmatched>
shade@0 730 </test>
shade@0 731
shade@0 732 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_GetAndSet">
shade@0 733 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 734 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 735 <case>
shade@0 736 <match>[0, 1]</match>
shade@0 737 <expect>ACCEPTABLE</expect>
shade@0 738 <description>T1 -> T2 execution.</description>
shade@0 739 </case>
shade@0 740 <case>
shade@0 741 <match>[10, 0]</match>
shade@0 742 <expect>ACCEPTABLE</expect>
shade@0 743 <description>T2 -> T1 execution.</description>
shade@0 744 </case>
shade@0 745 <unmatched>
shade@0 746 <expect>FORBIDDEN</expect>
shade@0 747 <description>Other cases are not expected.</description>
shade@0 748 </unmatched>
shade@0 749 </test>
shade@0 750
shade@0 751 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_IncAndGet">
shade@0 752 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 753 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 754 <case>
shade@0 755 <match>[0, 2]</match>
shade@0 756 <expect>ACCEPTABLE</expect>
shade@0 757 <description>T1 -> T2 execution.</description>
shade@0 758 </case>
shade@0 759 <case>
shade@0 760 <match>[1, 1]</match>
shade@0 761 <expect>ACCEPTABLE</expect>
shade@0 762 <description>T2 -> T1 execution.</description>
shade@0 763 </case>
shade@0 764 <unmatched>
shade@0 765 <expect>FORBIDDEN</expect>
shade@0 766 <description>Other cases are not expected.</description>
shade@0 767 </unmatched>
shade@0 768 </test>
shade@0 769
shade@0 770 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndInc_Set">
shade@0 771 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 772 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 773 <case>
shade@0 774 <match>[0, 0]</match>
shade@0 775 <expect>ACCEPTABLE</expect>
shade@0 776 <description>T1 -> T2 execution.</description>
shade@0 777 </case>
shade@0 778 <case>
shade@0 779 <match>[10, 0]</match>
shade@0 780 <expect>ACCEPTABLE</expect>
shade@0 781 <description>T2 -> T1 execution.</description>
shade@0 782 </case>
shade@0 783 <unmatched>
shade@0 784 <expect>FORBIDDEN</expect>
shade@0 785 <description>Other cases are not expected.</description>
shade@0 786 </unmatched>
shade@0 787 </test>
shade@0 788
shade@0 789 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndSet_CAS">
shade@0 790 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 791 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 792 <case>
shade@0 793 <match>[0, 10]</match>
shade@0 794 <expect>ACCEPTABLE</expect>
shade@0 795 <description>T1 -> T2 execution.</description>
shade@0 796 </case>
shade@0 797 <case>
shade@0 798 <match>[20, 20]</match>
shade@0 799 <expect>ACCEPTABLE</expect>
shade@0 800 <description>T2 -> T1 execution.</description>
shade@0 801 </case>
shade@0 802 <unmatched>
shade@0 803 <expect>FORBIDDEN</expect>
shade@0 804 <description>Other cases are not expected.</description>
shade@0 805 </unmatched>
shade@0 806 </test>
shade@0 807
shade@0 808 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndSet_WCAS">
shade@0 809 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 810 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 811 <case>
shade@0 812 <match>[0, 10]</match>
shade@0 813 <expect>ACCEPTABLE</expect>
shade@0 814 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 815 </case>
shade@0 816 <case>
shade@0 817 <match>[20, 20]</match>
shade@0 818 <expect>ACCEPTABLE</expect>
shade@0 819 <description>T2 -> T1 execution.</description>
shade@0 820 </case>
shade@0 821 <unmatched>
shade@0 822 <expect>FORBIDDEN</expect>
shade@0 823 <description>Other cases are not expected.</description>
shade@0 824 </unmatched>
shade@0 825 </test>
shade@0 826
shade@0 827 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndSet_GetAndSet">
shade@0 828 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 829 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 830 <case>
shade@0 831 <match>[0, 5]</match>
shade@0 832 <expect>ACCEPTABLE</expect>
shade@0 833 <description>T1 -> T2 execution.</description>
shade@0 834 </case>
shade@0 835 <case>
shade@0 836 <match>[10, 0]</match>
shade@0 837 <expect>ACCEPTABLE</expect>
shade@0 838 <description>T2 -> T1 execution.</description>
shade@0 839 </case>
shade@0 840 <unmatched>
shade@0 841 <expect>FORBIDDEN</expect>
shade@0 842 <description>Other cases are not expected.</description>
shade@0 843 </unmatched>
shade@0 844 </test>
shade@0 845
shade@0 846 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndSet_IncAndGet">
shade@0 847 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 848 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 849 <case>
shade@0 850 <match>[0, 6]</match>
shade@0 851 <expect>ACCEPTABLE</expect>
shade@0 852 <description>T1 -> T2 execution.</description>
shade@0 853 </case>
shade@0 854 <case>
shade@0 855 <match>[1, 1]</match>
shade@0 856 <expect>ACCEPTABLE</expect>
shade@0 857 <description>T2 -> T1 execution.</description>
shade@0 858 </case>
shade@0 859 <unmatched>
shade@0 860 <expect>FORBIDDEN</expect>
shade@0 861 <description>Other cases are not expected.</description>
shade@0 862 </unmatched>
shade@0 863 </test>
shade@0 864
shade@0 865 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$GetAndSet_Set">
shade@0 866 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 867 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 868 <case>
shade@0 869 <match>[0, 0]</match>
shade@0 870 <expect>ACCEPTABLE</expect>
shade@0 871 <description>T1 -> T2 execution.</description>
shade@0 872 </case>
shade@0 873 <case>
shade@0 874 <match>[10, 0]</match>
shade@0 875 <expect>ACCEPTABLE</expect>
shade@0 876 <description>T2 -> T1 execution.</description>
shade@0 877 </case>
shade@0 878 <unmatched>
shade@0 879 <expect>FORBIDDEN</expect>
shade@0 880 <description>Other cases are not expected.</description>
shade@0 881 </unmatched>
shade@0 882 </test>
shade@0 883
shade@0 884 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$IncAndGet_CAS">
shade@0 885 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 886 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 887 <case>
shade@0 888 <match>[1, 10]</match>
shade@0 889 <expect>ACCEPTABLE</expect>
shade@0 890 <description>T1 -> T2 execution.</description>
shade@0 891 </case>
shade@0 892 <case>
shade@0 893 <match>[21, 20]</match>
shade@0 894 <expect>ACCEPTABLE</expect>
shade@0 895 <description>T2 -> T1 execution.</description>
shade@0 896 </case>
shade@0 897 <unmatched>
shade@0 898 <expect>FORBIDDEN</expect>
shade@0 899 <description>Other cases are not expected.</description>
shade@0 900 </unmatched>
shade@0 901 </test>
shade@0 902
shade@0 903 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$IncAndGet_WCAS">
shade@0 904 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 905 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 906 <case>
shade@0 907 <match>[1, 10]</match>
shade@0 908 <expect>ACCEPTABLE</expect>
shade@0 909 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 910 </case>
shade@0 911 <case>
shade@0 912 <match>[21, 20]</match>
shade@0 913 <expect>ACCEPTABLE</expect>
shade@0 914 <description>T2 -> T1 execution.</description>
shade@0 915 </case>
shade@0 916 <unmatched>
shade@0 917 <expect>FORBIDDEN</expect>
shade@0 918 <description>Other cases are not expected.</description>
shade@0 919 </unmatched>
shade@0 920 </test>
shade@0 921
shade@0 922 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$IncAndGet_IncAndGet">
shade@0 923 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 924 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 925 <case>
shade@0 926 <match>[1, 2]</match>
shade@0 927 <expect>ACCEPTABLE</expect>
shade@0 928 <description>T1 -> T2 execution.</description>
shade@0 929 </case>
shade@0 930 <case>
shade@0 931 <match>[2, 1]</match>
shade@0 932 <expect>ACCEPTABLE</expect>
shade@0 933 <description>T2 -> T1 execution.</description>
shade@0 934 </case>
shade@0 935 <unmatched>
shade@0 936 <expect>FORBIDDEN</expect>
shade@0 937 <description>Other cases are not expected.</description>
shade@0 938 </unmatched>
shade@0 939 </test>
shade@0 940
shade@0 941 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$IncAndGet_Set">
shade@0 942 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 943 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 944 <case>
shade@0 945 <match>[1, 0]</match>
shade@0 946 <expect>ACCEPTABLE</expect>
shade@0 947 <description>T1 -> T2 execution.</description>
shade@0 948 </case>
shade@0 949 <case>
shade@0 950 <match>[11, 0]</match>
shade@0 951 <expect>ACCEPTABLE</expect>
shade@0 952 <description>T2 -> T1 execution.</description>
shade@0 953 </case>
shade@0 954 <unmatched>
shade@0 955 <expect>FORBIDDEN</expect>
shade@0 956 <description>Other cases are not expected.</description>
shade@0 957 </unmatched>
shade@0 958 </test>
shade@0 959
shade@0 960 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$Set_Set">
shade@0 961 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 962 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 963 <case>
shade@0 964 <match>[5]</match>
shade@0 965 <expect>ACCEPTABLE</expect>
shade@0 966 <description>T1 -> T2 execution.</description>
shade@0 967 </case>
shade@0 968 <case>
shade@0 969 <match>[10]</match>
shade@0 970 <expect>ACCEPTABLE</expect>
shade@0 971 <description>T2 -> T1 execution.</description>
shade@0 972 </case>
shade@0 973 <unmatched>
shade@0 974 <expect>FORBIDDEN</expect>
shade@0 975 <description>Other cases are not expected.</description>
shade@0 976 </unmatched>
shade@0 977 </test>
shade@0 978
shade@0 979 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$CAS_CAS">
shade@0 980 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 981 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 982 <case>
shade@0 983 <match>[5, 10]</match>
shade@0 984 <expect>ACCEPTABLE</expect>
shade@0 985 <description>T1 -> T2 execution.</description>
shade@0 986 </case>
shade@0 987 <case>
shade@0 988 <match>[1, 20]</match>
shade@0 989 <expect>ACCEPTABLE</expect>
shade@0 990 <description>T2 -> T1 execution.</description>
shade@0 991 </case>
shade@0 992 <unmatched>
shade@0 993 <expect>FORBIDDEN</expect>
shade@0 994 <description>Other cases are not expected.</description>
shade@0 995 </unmatched>
shade@0 996 </test>
shade@0 997
shade@0 998 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$CAS_WCAS">
shade@0 999 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 1000 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 1001 <case>
shade@0 1002 <match>[5, 10]</match>
shade@0 1003 <expect>ACCEPTABLE</expect>
shade@0 1004 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 1005 </case>
shade@0 1006 <case>
shade@0 1007 <match>[1, 20]</match>
shade@0 1008 <expect>ACCEPTABLE</expect>
shade@0 1009 <description>T2 -> T1 execution.</description>
shade@0 1010 </case>
shade@0 1011 <unmatched>
shade@0 1012 <expect>FORBIDDEN</expect>
shade@0 1013 <description>Other cases are not expected.</description>
shade@0 1014 </unmatched>
shade@0 1015 </test>
shade@0 1016
shade@0 1017 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$CAS_Set">
shade@0 1018 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 1019 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 1020 <case>
shade@0 1021 <match>[5, 0]</match>
shade@0 1022 <expect>ACCEPTABLE</expect>
shade@0 1023 <description>T1 -> T2 execution.</description>
shade@0 1024 </case>
shade@0 1025 <case>
shade@0 1026 <match>[1, 0]</match>
shade@0 1027 <expect>ACCEPTABLE</expect>
shade@0 1028 <description>T2 -> T1 execution.</description>
shade@0 1029 </case>
shade@0 1030 <unmatched>
shade@0 1031 <expect>FORBIDDEN</expect>
shade@0 1032 <description>Other cases are not expected.</description>
shade@0 1033 </unmatched>
shade@0 1034 </test>
shade@0 1035
shade@0 1036 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$WCAS_WCAS">
shade@0 1037 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 1038 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 1039 <case>
shade@0 1040 <match>[5, 10]</match>
shade@0 1041 <expect>ACCEPTABLE</expect>
shade@0 1042 <description>T1 -> T2 execution, or T2[fail] -> T1 execution.</description>
shade@0 1043 </case>
shade@0 1044 <case>
shade@0 1045 <match>[1, 10]</match>
shade@66 1046 <expect>ACCEPTABLE_INTERESTING</expect>
shade@0 1047 <description>Tx[fail] -> Tx[fail]</description>
shade@0 1048 </case>
shade@0 1049 <case>
shade@0 1050 <match>[1, 20]</match>
shade@0 1051 <expect>ACCEPTABLE</expect>
shade@0 1052 <description>T2 -> T1 execution.</description>
shade@0 1053 </case>
shade@0 1054 <unmatched>
shade@0 1055 <expect>FORBIDDEN</expect>
shade@0 1056 <description>Other cases are not expected.</description>
shade@0 1057 </unmatched>
shade@0 1058 </test>
shade@0 1059
shade@0 1060 <test name="org.openjdk.jcstress.tests.atomics.integer.AtomicIntegerFieldUpdaterPairwiseTests$WCAS_Set">
shade@0 1061 <contributed-by>Aleksey Shipilev (aleksey.shipilev@oracle.com)</contributed-by>
shade@0 1062 <description>Tests the atomicity of AtomicIntegerFieldUpdater pair-wise operations.</description>
shade@0 1063 <case>
shade@0 1064 <match>[5, 0]</match>
shade@0 1065 <expect>ACCEPTABLE</expect>
shade@0 1066 <description>T1 -> T2 execution.</description>
shade@0 1067 </case>
shade@0 1068 <case>
shade@0 1069 <match>[1, 0]</match>
shade@0 1070 <expect>ACCEPTABLE</expect>
shade@0 1071 <description>T2 -> T1 execution.</description>
shade@0 1072 </case>
shade@0 1073 <unmatched>
shade@0 1074 <expect>FORBIDDEN</expect>
shade@0 1075 <description>Other cases are not expected.</description>
shade@0 1076 </unmatched>
shade@0 1077 </test>
shade@0 1078
shade@0 1079 </testsuite>