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

[Coleen Phillimore]

On Fri, 27 Aug 2021 15:54:45 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 incrementally with one additional commit since the last revision:
> 
>   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.

Thanks for the review, David.

Thanks for the work of going through all the details of this with me, David and Patricio!

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

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