RFR: Samples for race condition

Thu Jul 1 01:08:35 UTC 2021

On Wed, 30 Jun 2021 22:21:09 GMT, Vladimir Sitnikov <vsitnikov at openjdk.org> wrote:

>> Yes, I can. I considered the outcome "true, true" as the undesirable result of the check-then-react-sequence.
>> I regard all those race conditions as a kind of "bug patterns" for concurrent programs.
>> What do you think and what do you propose?
>
> 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?

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

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