RFR: 8316273: JDK-8315818 broke JVMCIPrintProperties on libgraal [v3]

Fri Sep 15 17:50:38 UTC 2023

On Fri, 15 Sep 2023 15:35:27 GMT, Doug Simon <dnsimon at openjdk.org> wrote:

>> This PR prevents the possibility for `JVMCIPrintProperties` to emit output more than once. That possibility was introduced by [JDK-8315818](https://bugs.openjdk.org/browse/JDK-8315818) by allowing JVMCI initialization to happen earlier on a compiler thread that races with the main thread in terms of JVMCI initialization.
>
> Doug Simon has updated the pull request incrementally with one additional commit since the last revision:
> 
>   exit HotSpot, not just libjvmci after printing JVMCI properties

Looks good to me.

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

Marked as reviewed by kvn (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/15739#pullrequestreview-1629453804