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

[Coleen Phillimore]

> 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:

  Remove allow_vm_block parameter if safepoint_check_never.

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/5218/files
  - new: https://git.openjdk.java.net/jdk/pull/5218/files/285e8eb5..27179b77

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=5218&range=03
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=5218&range=02-03

  Stats: 63 lines in 29 files changed: 11 ins; 9 del; 43 mod
  Patch: https://git.openjdk.java.net/jdk/pull/5218.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/5218/head:pull/5218

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