Что такое Deadlock?

Deadlock относится к логическим ошибкам многопоточности и часто проявляется только в продакшене.

Определение

Deadlock — это состояние, при котором несколько потоков находятся в бесконечном ожидании ресурсов, удерживаемых друг другом.

Классический пример

Рассмотрим типичную ситуацию:

1. Поток A захватил монитор объекта lock1

2. Поток B захватил монитор объекта lock2

3. Поток A ждёт lock2

4. Поток B ждёт lock1

Ни один из потоков не может продолжить работу.

synchronized (lock1) {
    // ...
    synchronized (lock2) {
        // ...
    }
}

Основные условия возникновения

Deadlock возможен, если одновременно выполняются условия:

• Взаимное исключение

• Удержание и ожидание

• Отсутствие принудительного освобождения

• Циклическое ожидание

Как избегать Deadlock

На практике используют несколько подходов:

• Фиксированный порядок захвата блокировок

• Минимизация количества synchronized-блоков

• Использование tryLock()

• Проектирование без shared state

Вывод

Deadlock — это критическая ошибка многопоточности, которую проще предотвратить архитектурно, чем обнаружить и исправить.