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

@eme64 and @dean-long I pushed new implementation. I used existing list of coarsened Lock/Unlock nodes pairs to flag synchronized regions (identified by BoxLockNode nodes) as unbalanced to skip any further locks elimination in these regions. Please look.

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

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