Как можно избежать deadlock?

Определение

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

Основные причины deadlock

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

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

• удержание ресурса и ожидание другого

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

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

Способы предотвращения

Перед применением техник важно понимать архитектуру синхронизации.

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

Самый надёжный способ.

synchronized (lockA) {
    synchronized (lockB) {
        // безопасный код
    }
}

Все потоки должны захватывать ресурсы в одном порядке.

Минимизация синхронизации

• уменьшать размер synchronized-блоков

• не выполнять долгие операции под lock

• выносить вычисления за пределы блокировки

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

С ReentrantLock можно использовать таймаут:

if (lock.tryLock()) {
    try {
        // работа
    } finally {
        lock.unlock();
    }
}

Это позволяет:

• не зависать навсегда

• корректно реагировать на невозможность захвата

Высокоуровневые инструменты

• ExecutorService

• ConcurrentHashMap

• атомарные классы

Они уменьшают необходимость ручной синхронизации.

Вывод

Deadlock — следствие плохого дизайна синхронизации. Лучший способ борьбы с ним — правильная архитектура и минимизация блокировок.