JCTEST60Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence.SameRead69Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence_SameRead_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE39SDoing first read early, not surprising.1I14S0, 122SACCEPTABLE_INTERESTING61SFirst read seen racy value early, and the second one did not.1I14S1, 01I0
JCTEST68Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence.SameVolatileRead77Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence_SameVolatileRead_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE39SDoing first read early, not surprising.1I14S0, 19SFORBIDDEN19SViolates coherence.1I14S1, 01I0
JCTEST66Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence.SameOpaqueRead75Sorg.openjdk.jcstress.samples.JMMSample_03_Coherence_SameOpaqueRead_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE39SDoing first read early, not surprising.1I14S0, 19SFORBIDDEN19SViolates coherence.1I14S1, 01I0
JCTEST65Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder.PlainReads74Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder_PlainReads_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE47SCaught in the middle: $x is visible, $y is not.1I14S0, 122SACCEPTABLE_INTERESTING22SSeeing $y, but not $x!1I14S1, 01I0
JCTEST68Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder.VolatileGuard77Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder_VolatileGuard_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE47SCaught in the middle: $x is visible, $y is not.1I14S0, 19SFORBIDDEN22SSeeing $y, but not $x!1I14S1, 01I0
JCTEST74Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder.AcquireReleaseGuard83Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder_AcquireReleaseGuard_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 110SACCEPTABLE47SCaught in the middle: $x is visible, $y is not.1I14S0, 19SFORBIDDEN22SSeeing $y, but not $x!1I14S1, 01I0
JCTEST64Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder.LockGuard73Sorg.openjdk.jcstress.samples.JMMSample_04_PartialOrder_LockGuard_jcstress4Snull1I21BF1I410SACCEPTABLE23SDoing both reads early.1I14S0, 010SACCEPTABLE22SDoing both reads late.1I14S1, 19SFORBIDDEN47SCaught in the middle: $x is visible, $y is not.1I14S0, 19SFORBIDDEN22SSeeing $y, but not $x!1I14S1, 01I0
JCTEST64Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder.PlainDekker73Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder_PlainDekker_jcstress4Snull1I21BF1I210SACCEPTABLE36STrivial under sequential consistency1I34S0, 14S1, 04S1, 122SACCEPTABLE_INTERESTING31SViolates sequential consistency1I14S0, 01I0
JCTEST67Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder.VolatileDekker76Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder_VolatileDekker_jcstress4Snull1I21BF1I210SACCEPTABLE36STrivial under sequential consistency1I34S0, 14S1, 04S1, 19SFORBIDDEN31SViolates sequential consistency1I14S0, 01I0
JCTEST65Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder.AcqRelDekker74Sorg.openjdk.jcstress.samples.JMMSample_05_TotalOrder_AcqRelDekker_jcstress4Snull1I21BF1I210SACCEPTABLE36STrivial under sequential consistency1I34S0, 14S1, 04S1, 122SACCEPTABLE_INTERESTING31SViolates sequential consistency1I14S0, 01I0
JCTEST50Sorg.openjdk.jcstress.samples.APISample_02_Arbiters59Sorg.openjdk.jcstress.samples.APISample_02_Arbiters_jcstress4Snull1I21BF1I222SACCEPTABLE_INTERESTING35SOne update lost: atomicity failure.1I11S110SACCEPTABLE29SActors updated independently.1I11S21I0
JCTEST53Sorg.openjdk.jcstress.samples.APISample_03_Termination62Sorg.openjdk.jcstress.samples.APISample_03_Termination_jcstress4Snull1I11BT1I210SACCEPTABLE20SGracefully finished.1I110STERMINATED22SACCEPTABLE_INTERESTING13STest hung up.1I15SSTALE1I0
JCTEST54Sorg.openjdk.jcstress.samples.APISample_06_Descriptions63Sorg.openjdk.jcstress.samples.APISample_06_Descriptions_jcstress23SSample Hello World test1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I153Shttp://openjdk.java.net/projects/code-tools/jcstress/
JCTEST66Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.Integers75Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_Integers_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-19SFORBIDDEN26SOther cases are forbidden.1I10S1I0
JCTEST63Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.Longs72Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_Longs_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-122SACCEPTABLE_INTERESTING66SOther cases are violating access atomicity, but allowed under JLS.1I10S1I170Shttps://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html#jls-17.7
JCTEST71Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.VolatileLongs80Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_VolatileLongs_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-19SFORBIDDEN26SOther cases are forbidden.1I10S1I0
JCTEST69Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.OpaqueLongs78Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_OpaqueLongs_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-19SFORBIDDEN26SOther cases are forbidden.1I10S1I0
JCTEST69Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.ByteBuffers78Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_ByteBuffers_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-122SACCEPTABLE_INTERESTING61SOther cases are allowed, because reads/writes are not atomic.1I10S1I0
JCTEST78Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity.UnsafeCrossCacheLine87Sorg.openjdk.jcstress.samples.JMMSample_01_AccessAtomicity_UnsafeCrossCacheLine_jcstress4Snull1I21BF1I310SACCEPTABLE51SSeeing the default value: writer had not acted yet.1I11S010SACCEPTABLE22SSeeing the full value.1I12S-122SACCEPTABLE_INTERESTING61SOther cases are allowed, because reads/writes are not atomic.1I10S1I0
JCTEST66Sorg.openjdk.jcstress.samples.APISample_05_SharedMetadata.PlainTest75Sorg.openjdk.jcstress.samples.APISample_05_SharedMetadata_PlainTest_jcstress4Snull1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I0
JCTEST69Sorg.openjdk.jcstress.samples.APISample_05_SharedMetadata.VolatileTest78Sorg.openjdk.jcstress.samples.APISample_05_SharedMetadata_VolatileTest_jcstress4Snull1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I0
JCTEST83Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity.PlainIncrement92Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity_PlainIncrement_jcstress4Snull1I21BF1I222SACCEPTABLE_INTERESTING16SOne update lost.1I11S110SACCEPTABLE13SBoth updates.1I11S21I0
JCTEST86Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity.VolatileIncrement95Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity_VolatileIncrement_jcstress4Snull1I21BF1I222SACCEPTABLE_INTERESTING16SOne update lost.1I11S110SACCEPTABLE13SBoth updates.1I11S21I0
JCTEST84Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity.AtomicIncrement93Sorg.openjdk.jcstress.samples.ConcurrencySample_01_OperationAtomicity_AtomicIncrement_jcstress4Snull1I21BF1I29SFORBIDDEN16SOne update lost.1I11S110SACCEPTABLE13SBoth updates.1I11S21I0
JCTEST48Sorg.openjdk.jcstress.samples.APISample_01_Simple57Sorg.openjdk.jcstress.samples.APISample_01_Simple_jcstress4Snull1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I0
JCTEST59Sorg.openjdk.jcstress.samples.APISample_04_Nesting.PlainTest68Sorg.openjdk.jcstress.samples.APISample_04_Nesting_PlainTest_jcstress4Snull1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I0
JCTEST62Sorg.openjdk.jcstress.samples.APISample_04_Nesting.VolatileTest71Sorg.openjdk.jcstress.samples.APISample_04_Nesting_VolatileTest_jcstress4Snull1I21BF1I322SACCEPTABLE_INTERESTING59SBoth actors came up with the same value: atomicity failure.1I14S1, 110SACCEPTABLE32Sactor1 incremented, then actor2.1I14S1, 210SACCEPTABLE32Sactor2 incremented, then actor1.1I14S2, 11I0
JCTEST58Sorg.openjdk.jcstress.samples.JMMSample_06_Finals.PlainInit67Sorg.openjdk.jcstress.samples.JMMSample_06_Finals_PlainInit_jcstress4Snull1I21BF1I310SACCEPTABLE23SObject is not seen yet.1I12S-122SACCEPTABLE_INTERESTING36SSeeing partially constructed object.1I81S01S11S21S31S41S51S61S710SACCEPTABLE25SSeen the complete object.1I11S81I0
JCTEST58Sorg.openjdk.jcstress.samples.JMMSample_06_Finals.FinalInit67Sorg.openjdk.jcstress.samples.JMMSample_06_Finals_FinalInit_jcstress4Snull1I21BF1I310SACCEPTABLE23SObject is not seen yet.1I12S-110SACCEPTABLE25SSeen the complete object.1I11S89SFORBIDDEN36SSeeing partially constructed object.1I10S1I0
JCTEST64Sorg.openjdk.jcstress.samples.JMMSample_02_WordTearing.JavaArrays73Sorg.openjdk.jcstress.samples.JMMSample_02_WordTearing_JavaArrays_jcstress4Snull1I21BF1I210SACCEPTABLE27SSeeing both updates intact.1I110Strue, true9SFORBIDDEN26SOther cases are forbidden.1I10S1I0
JCTEST61Sorg.openjdk.jcstress.samples.JMMSample_02_WordTearing.BitSets70Sorg.openjdk.jcstress.samples.JMMSample_02_WordTearing_BitSets_jcstress4Snull1I21BF1I310SACCEPTABLE27SSeeing both updates intact.1I110Strue, true22SACCEPTABLE_INTERESTING21SDestroyed one update.1I111Sfalse, true22SACCEPTABLE_INTERESTING21SDestroyed one update.1I111Strue, false1I0
JCTEST82Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap.BrokenMultimap91Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap_BrokenMultimap_jcstress4Snull1I21BF1I222SACCEPTABLE_INTERESTING16SOne update lost.1I29SBar, null9SBaz, null10SACCEPTABLE13SBoth updates.1I28SBar, Baz8SBaz, Bar1I0
JCTEST83Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap.CorrectMultimap92Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap_CorrectMultimap_jcstress4Snull1I21BF1I29SFORBIDDEN16SOne update lost.1I29SBar, null9SBaz, null10SACCEPTABLE13SBoth updates.1I28SBar, Baz8SBaz, Bar1I0
JCTEST87Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap.CorrectJDK8Multimap96Sorg.openjdk.jcstress.samples.ConcurrencySample_02_ConcurrentHashMap_CorrectJDK8Multimap_jcstress4Snull1I21BF1I29SFORBIDDEN16SOne update lost.1I29SBar, null9SBaz, null10SACCEPTABLE13SBoth updates.1I28SBar, Baz8SBaz, Bar1I0
