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

[Aleksey Shipilev]

On Thu, 1 Jul 2021 01:04:54 GMT, Michael Mirwaldt <github.com+6693355+mmirwaldt at openjdk.org> wrote:

>> If you consider JVM, then the outcome is either allowed by the spec or it is forbidden by the spec. I think the outcomes should be marked from the perspective of the specification.
>> 
>> The outcome true-true is allowed by JVM here, so I expect it to be marked as acceptable or acceptable_interesting.
>
> You are right. FORBIDDEN is too much.
> Let's choose ACCEPTABLE_INTERESTING.
> What do you think?

Yes, it should be `ACCEPTABLE_INTERESTING`. That is fully allowed, and it is the target for this test to show such the outcome -- that's the reason for `ACCEPTABLE_INTERESTING` to exist. `FORBIDDEN` means the result is illegal under Java concurrency rules.

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

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