RFR: 8272797: Mutex with rank safepoint_check_never imply allow_vm_block [v6]

Fri Aug 27 14:29:29 UTC 2021

On Fri, 27 Aug 2021 14:18:44 GMT, Coleen Phillimore <coleenp at openjdk.org> wrote:

>> See CR for details.  This essentially makes Mutex that safepoint_check_never imply a NoSafepointVerifier, which is a stronger and simpler invariant.
>> Tested with tier1-6.
>
> Coleen Phillimore has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains six commits:
> 
>  - Merge branch 'master' into never-block
>  - Reverse the order of safepoint_check_required and allow_vm_block arguments so that the first can imply the value of the second.  This is good because if we decide to rename the second to something like _allow_safepoint_use instead there's less to change. Also remove default arguments as they are evil.
>  - Remove allow_vm_block parameter if safepoint_check_never.
>  - Merge branch 'master' into never-block
>  - Add simple gtest.
>  - 8272797: Mutex with rank safepoint_check_never imply allow_vm_block

Marked as reviewed by pchilanomate (Committer).

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

PR: https://git.openjdk.java.net/jdk/pull/5218