On Fri, 30 Jun 2023 08:30:45 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
> In the end, this PR is not about fixing a race, as the title seems to suggest > (the original code is correct), but to avoid a volatile read, right? Yeah, probably I was wrong in my conclusion. Should I rename the ticket? ------------- PR Comment: https://git.openjdk.org/jdk/pull/14692#issuecomment-1614456400
