Что такое deadlock?

Question

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

YeaHub · Accepted Answer

Deadlock возникает из-за неправильного управления блокировками.Что такое deadlockDeadlock — это состояние, при котором:поток A удерживает ресурс X и ждет ресурс Yпоток B удерживает ресурс Y и ждет ресурс Xни один поток не может продолжить выполнениеВсе участники находятся в вечном ожидании.Классический примерТипичный сценарий:один поток захватывает lock1второй поток захватывает lock2каждый пытается получить второй lockПример:synchronized (lock1) {
    synchronized (lock2) {
        // недостижимо
    }
}
Условия возникновенияDeadlock возможен при одновременном выполнении условий:взаимное исключениеудержание и ожиданиеотсутствие принудительного освобожденияциклическое ожиданиеКак избегать deadlockОсновные подходы:фиксированный порядок захвата блокировокминимизация времени удержания lock’овиспользование tryLockотказ от вложенных блокировокВывод: deadlock полностью останавливает выполнение потоков и требует осознанного проектирования синхронизации.