Что такое Deadlock?

Question

Deadlock — это ситуация, когда два или более потоков навсегда блокируют друг друга. Каждый поток удерживает ресурс и ждёт ресурс, занятый другим потоком. В результате ни один поток не может продолжить выполнение. Программа при этом не падает, а просто «зависает».

YeaHub · Accepted Answer

Deadlock относится к логическим ошибкам многопоточности и часто проявляется только в продакшене.ОпределениеDeadlock — это состояние, при котором несколько потоков находятся в бесконечном ожидании ресурсов, удерживаемых друг другом.Классический примерРассмотрим типичную ситуацию:Поток A захватил монитор объекта lock1Поток B захватил монитор объекта lock2Поток A ждёт lock2Поток B ждёт lock1Ни один из потоков не может продолжить работу.synchronized (lock1) {
    // ...
    synchronized (lock2) {
        // ...
    }
}
Основные условия возникновенияDeadlock возможен, если одновременно выполняются условия:Взаимное исключениеУдержание и ожиданиеОтсутствие принудительного освобожденияЦиклическое ожиданиеКак избегать DeadlockНа практике используют несколько подходов:Фиксированный порядок захвата блокировокМинимизация количества synchronized-блоковИспользование tryLock()Проектирование без shared stateВыводDeadlock — это критическая ошибка многопоточности, которую проще предотвратить архитектурно, чем обнаружить и исправить.