RFR: JDK-8265298: Hard VM crash when deadlock between "access" and higher ranked lock is detected

Aleksey Shipilev shade at openjdk.java.net
Thu Apr 15 19:52:36 UTC 2021


On Thu, 15 Apr 2021 18:37:33 GMT, Patricio Chilano Mateo <pchilanomate at openjdk.org> wrote:

>> I stumbled upon this when doing some Shenandoah work. The development code tried to lock the `leaf` lock, while already holding the `access` lock. Normally it would have been detected by VM, but instead, we tried to recursively acquire `tty_lock` for `Thread::print_owned_locks`. But that `tty` lock is still ranked higher than `access`, so deadlock detection triggers over and over again until we run out of stack and crash hard. `tty` and `access` are ranked this way because of [JDK-8214315](https://bugs.openjdk.java.net/browse/JDK-8214315). Read the rest in the bug.  
>> 
>> I believe the way out is to only enter `Thread::print_owned_locks` when we know deadlock detection code would not run in circles. New test for `access` and `leaf` shows the original failure. Another new test checks `tty` and `special` to verify that the check should be `> tty`, not `>= tty`.
>> 
>> Additional testing:
>>  - [x] Linux x86_64 fastdebug tier1
>>  - [x] New regression tests (fail without the patch, pass wit it)
>
> test/hotspot/gtest/runtime/test_mutex_rank.cpp line 107:
> 
>> 105: }
>> 106: 
>> 107: TEST_VM_ASSERT_MSG(MutexRank, mutex_wait_access_leaf,
> 
> s/mutex_wait/mutex_lock

Renamed.

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

PR: https://git.openjdk.java.net/jdk/pull/3524


More information about the hotspot-runtime-dev mailing list