RFR: 8324969: assert(false) failed: Non-balanced monitor enter/exit!

[Vladimir Kozlov]

On Wed, 7 Feb 2024 08:16:54 GMT, Emanuel Peter <epeter at openjdk.org> wrote:

> > Doesn't this problem also go away if lock coarsening turns the two regions into a single region?
> 
> If that works that would probably be a more elegant solution. Could there be an invariant that a box always has a lock and an unlock?

Yes, this is good suggestion. Let me investigate how to implement it. It will allow to eliminate all lock/unlock nodes in nested combined region. The only concern for me is that I have to backport the fix into all releases and if it is too complex I would prefer to go with current "band-aid" fix and have separate RFE to implement this suggestion.

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

PR Comment: https://git.openjdk.org/jdk/pull/17697#issuecomment-1932708877