Что хотят услышать интервьюеры:

Взаимные блокировки предотвращают за счёт дисциплины захвата ресурсов: фиксированный порядок блокировок, минимизация времени удержания и отказ от вложенных синхронизаций, где это возможно. Также помогают tryLock с таймаутом, дедлок-детекция и правильный дизайн конкурентного доступа. Главная цель — не допустить циклического ожидания между потоками.

Определение:

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

Пример использования:

Типичный способ — всегда брать локи в одном и том же порядке. Если два потока работают с ресурсами A и B, оба должны сначала захватывать A, потом B, а не наоборот.

public class DeadlockPrevention {
    private final Object lockA = new Object();
    private final Object lockB = new Object();

    public void method1() {
        synchronized (lockA) {
            synchronized (lockB) {
                // работа с A и B
            }
        }
    }

    public void method2() {
        synchronized (lockA) {
            synchronized (lockB) {
                // тот же порядок захвата
            }
        }
    }
}

Пояснение кода:

Код показывает принцип строгого порядка захвата блокировок. Оба метода сначала входят в lockA, а затем в lockB, поэтому не возникает ситуации, когда один поток держит lockA и ждёт lockB, а другой держит lockB и ждёт lockA.
Если бы порядок был разный, мог бы появиться дедлок.

Ключевые моменты:

Всегда захватывать локи в одном и том же порядке по всему приложению.
Держать блокировки как можно меньше по времени.
По возможности избегать вложенных блокировок.
Использовать tryLock() с таймаутом вместо бесконечного ожидания.
Проектировать код так, чтобы разные потоки не конкурировали за одни и те же ресурсы без необходимости.
Для сложных сценариев добавлять мониторинг и анализ дедлоков в рантайме.

Какими методами можно предотвратить возникновение взаимных блокировок в многопоточной среде?