Параллелизм: Condition.awaitNanos() не отпуская замок

Question

В моей программе я использую объект Condition, созданный из

private static final Lock lock = new ReentrantLock(); 

как так:

private static final Condition operationFinished = MyClass.lock.newCondition(); 

Иногда (как это всегда происходит с проблемы параллелизма) я сталкиваюсь следующее поведение:

1. Резьба1 aquires замок
2. Thread1 вызывает operationFinished.awaitNanos() - это должно приостановить Thread1 и отпустить блокировку.
3. Thread2 пытается получить тот же замок, но вывод отладки показывает, что Thread1 по-прежнему удерживает блокировку!

В соответствии с документацией это поведение невозможно, поскольку на awaitNanos() Thread1 сначала выпускает замок, а затем приостанавливает работу. Если он не отпустил блокировку, то он не будет приостановлен, поэтому Thread2 никогда не сможет получить возможность попытаться зацепиться за блокировку.

Неужели кто-то испытал нечто подобное? Эти ошибки случаются один раз в 100 раз, но все же это указывает на то, что я либо неправильно использую утилиты параллелизма, либо что есть какая-то ошибка в пакете java.utils.concurrent. * (Что я сомневаюсь) ,

UPDATE:

В ответ на Peters ответ:

я наблюдаю следующее поведение: Очевидно, 2 нити ТУПИК друг друга. Я вижу, что блоки Thread2 (ожидающие блокировки) и в то же время awaitNanos() в Thread1 никогда не выходят из строя.

Answer 1

В зависимости от того, как вы просматриваете эту информацию, я видел много примеров того, где несколько потоков wait() на объекте все еще говорят, что все они имеют одну и ту же блокировку. Возможно, что трассировка или мониторинг стека неверны.

Скажем, у вас есть thread1, который держит замок, но в awaitNanos(), то есть thread2, который пытается получить блокировку(), но иногда Thread3 держит замок, а ....

Я бы сделал jstack -l {pid}, чтобы проверить все потоки, которые могут удерживать блокировку.

Если блокировочные блокировки, awaitLock (или wait()) не возвращаются, поскольку он должен получить блокировку перед этим. (Если это не прерывается)

Answer 2

Вы уверены, что время ожидания еще не закончено? Если вы ждете короткого периода времени (например, несколько сотен наносекунд), время ожидания может истечь до того, как Thread2 может полностью запуститься, и в этом случае Thread1 может быть активирован первым.