-
Bug
-
Resolution: Fixed
-
P2
-
8, 11, 15, 16
-
b17
Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
---|---|---|---|---|---|---|
JDK-8254281 | 15.0.2 | Aleksey Shipilev | P2 | Closed | Fixed | b02 |
JDK-8254230 | 11.0.10 | Aleksey Shipilev | P2 | Resolved | Fixed | b01 |
JDK-8255007 | openjdk8u282 | Aleksey Shipilev | P2 | Resolved | Fixed | b01 |
This happens at least on linux-zero-aarch64:
$ shipilev-jdk/build/linux-aarch64-zero-release/images/jdk/bin/java -jar jcstress-latest.jar -m quick --jvmArgs "-Xint" -sc 64 -t memeffects.basic.volatiles
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_byte_double [-Xint]: Observed forbidden state: 1, 0.0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_int_long [-Xint]: Observed forbidden state: 42, 0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_boolean_double [-Xint]: Observed forbidden state: true, 0.0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_char_long [-Xint]: Observed forbidden state: A, 0 (Seeing set guard, not seeing the updated value)
...and it seems to happen because orderAccess_linux_zero.hpp defaults to compiler-only barriers for most OrderAccess::* calls.
$ shipilev-jdk/build/linux-aarch64-zero-release/images/jdk/bin/java -jar jcstress-latest.jar -m quick --jvmArgs "-Xint" -sc 64 -t memeffects.basic.volatiles
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_byte_double [-Xint]: Observed forbidden state: 1, 0.0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_int_long [-Xint]: Observed forbidden state: 42, 0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_boolean_double [-Xint]: Observed forbidden state: true, 0.0 (Seeing set guard, not seeing the updated value)
org.openjdk.jcstress.tests.memeffects.basic.volatiles.volatile_char_long [-Xint]: Observed forbidden state: A, 0 (Seeing set guard, not seeing the updated value)
...and it seems to happen because orderAccess_linux_zero.hpp defaults to compiler-only barriers for most OrderAccess::* calls.
- backported by
-
JDK-8254230 Zero OrderAccess barrier mappings are incorrect
- Resolved
-
JDK-8255007 Zero OrderAccess barrier mappings are incorrect
- Resolved
-
JDK-8254281 Zero OrderAccess barrier mappings are incorrect
- Closed
- relates to
-
JDK-7143664 Clean up OrderAccess implementations and usage
- Resolved
-
JDK-8253036 [8u] Support building the Zero assembler port on AArch64
- Resolved
(2 links to)