RFR: 8316746: Top of lock-stack does not match the unlocked object [v3]

[Martin Doerr]

On Fri, 13 Oct 2023 20:53:48 GMT, Dean Long <dlong at openjdk.org> wrote:

>> Martin Doerr 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 four additional commits since the last revision:
>> 
>>  - Pass may_be_unordered information to lightweight_unlock.
>>  - Merge remote-tracking branch 'origin' into 8316746_lock_stack
>>  - Add x86_64 and aarch64 implementation.
>>  - 8316746: Top of lock-stack does not match the unlocked object
>
> If the locks are inflated then you won't hit the top of stack check in the fast path.
> Can you reproduce the StepEvent problem with C1 using -XX:TieredStopAtLevel=3?

@dean-long: I have attached a synthetic reproducer to the JBS issue which simply checks the lock order when reaching the OSR entry. I'd appreciate it if you could take a look.

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

PR Comment: https://git.openjdk.org/jdk/pull/15903#issuecomment-1775409983