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

Question

Deadlock возникает, когда потоки навсегда ждут освобождения ресурсов друг от друга. Чтобы его избежать, нужно соблюдать единый порядок захвата блокировок, минимизировать синхронизацию и избегать вложенных lock. Также помогают таймауты, неблокирующие структуры данных и высокоуровневые concurrency-абстракции. Проектирование играет ключевую роль. Deadlock проще предотвратить, чем обнаружить.

YeaHub · Accepted Answer

ОпределениеDeadlock — это ситуация, при которой несколько потоков блокируют друг друга, ожидая освобождения ресурсов, и ни один из них не может продолжить выполнение.Основные причины deadlockDeadlock возможен, если одновременно выполняются условия:взаимное исключениеудержание ресурса и ожидание другогоотсутствие принудительного освобожденияциклическое ожиданиеСпособы предотвращенияПеред применением техник важно понимать архитектуру синхронизации.Единый порядок захвата блокировокСамый надёжный способ.synchronized (lockA) {
    synchronized (lockB) {
        // безопасный код
    }
}
Все потоки должны захватывать ресурсы в одном порядке.Минимизация синхронизацииуменьшать размер synchronized-блоковне выполнять долгие операции под lockвыносить вычисления за пределы блокировкиИспользование tryLockС ReentrantLock можно использовать таймаут:if (lock.tryLock()) {
    try {
        // работа
    } finally {
        lock.unlock();
    }
}
Это позволяет:не зависать навсегдакорректно реагировать на невозможность захватаВысокоуровневые инструментыExecutorServiceConcurrentHashMapатомарные классыОни уменьшают необходимость ручной синхронизации.ВыводDeadlock — следствие плохого дизайна синхронизации. Лучший способ борьбы с ним — правильная архитектура и минимизация блокировок.