RFR: 8305994: Guarantee eventual async monitor deflation [v7]

[Aleksey Shipilev]

> See discussion in the bug. This PR introduces a safety rail that kicks in when the threshold heuristics fails, and it is cleanly backportable to JDK 17, where the problem manifests as apparent memory leak. There are other options to resolve this (see the bug), but I think this one is the easiest in the interim. 
> 
> Additional testing:
>  - [x] Linux x86_64 `tier1`
>  - [x] Linux x86_64 `tier2`
>  - [x] `runtime/Monitor` tests
>  - [x] Ad-hoc experiments (see example in the bug)
>  - [x] New feature test

Aleksey Shipilev has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains 12 additional commits since the last revision:

 - Merge branch 'master' into JDK-8305994-async-deflate
 - Build fixes and cleanups
 - Merge branch 'master' into JDK-8305994-async-deflate
 - More review comments and improvements
 - Volker is right again (fixing unsigned underflow)
 - Sort imports
 - Volker is right
 - Make the no-progress bit cleaner
 - Copyright updates
 - Touchup the option description
 - ... and 2 more: https://git.openjdk.org/jdk/compare/6f49ae45...17eb1036

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/13474/files
  - new: https://git.openjdk.org/jdk/pull/13474/files/6c887241..17eb1036

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=13474&range=06
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=13474&range=05-06

  Stats: 41 lines in 7 files changed: 12 ins; 7 del; 22 mod
  Patch: https://git.openjdk.org/jdk/pull/13474.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/13474/head:pull/13474

PR: https://git.openjdk.org/jdk/pull/13474