RFR: 7902989: jcstress: Add samples for high-level race conditions [v5]

[Vladimir Sitnikov]

On Thu, 1 Jul 2021 15:12:26 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote:

> the order of the statements

The order of statements is "program order" which always holds no matter what ("final field update" is one of the exceptions, yet updating a final field is really weird)

> it doesn't force orders

Please use jls-17 when you reason on the acceptable by Java memory model values.
See https://shipilev.net/blog/2014/jmm-pragmatics/ ,

> In order to test if an execution is plausible under JMM, you need to see if it passes all the requirements. Note, however, that you can quickly branch-and-bound the set of considered executions based on the failure of a particular test....

-------------

PR: https://git.openjdk.java.net/jcstress/pull/88