RFR: 8324174: assert(m->is_entered(current)) failed: invariant

[David Holmes]

On Fri, 26 Jan 2024 22:09:27 GMT, Vladimir Kozlov <kvn at openjdk.org> wrote:

> The unlocking was done in incorrect order starting from outermost monitor which cause this assert when we unlock following nested monitor (the same object) - it sees that it was already unlocked.

Just to clarify my understanding here, when we iterate the list of monitors, the `BasicObjectLock` is different depending on whether the object is initially locked or recursively locked - is that the case?

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

PR Comment: https://git.openjdk.org/jdk/pull/17600#issuecomment-1913938731