Что вызывает deadlock и как его предотвратить?

Question

Accepted Answer

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

## Как происходит deadlock

```text
Transaction A: locks row 1, then wants row 2
Transaction B: locks row 2, then wants row 1
→ A waits for B (to release row 2), B waits for A (to release row 1) → DEADLOCK
  Neither can proceed; they're waiting on each other in a cycle.
```

```sql
-- Transaction A                    -- Transaction B (concurrent)
BEGIN;                              BEGIN;
UPDATE accounts SET .. WHERE id=1;  UPDATE accounts SET .. WHERE id=2;  -- each locks a row
UPDATE accounts SET .. WHERE id=2;  UPDATE accounts SET .. WHERE id=1;  -- each wants the OTHER's
-- → DEADLOCK: the database aborts one transaction
```

## Как базы данных обрабатывают deadlock

```text
Databases DETECT deadlocks (find the cycle of waiting transactions) and resolve them
by ABORTING one transaction (the victim) with a deadlock error → it must RETRY.
→ Your application must handle the deadlock error and retry the transaction.
```

## Стратегии предотвращения

```text
✓ CONSISTENT LOCK ORDERING — always acquire locks in the SAME order (e.g. always
  lock the lower account id first). This breaks the cycle → the #1 prevention technique.
✓ Keep transactions SHORT — hold locks for less time (less chance to overlap)
✓ Access tables/rows in a consistent order across all transactions
✓ Use lower isolation levels where appropriate (less locking)
✓ Avoid user interaction / long operations inside a transaction (holds locks too long)
✓ Handle deadlock errors with RETRY logic (deadlocks can't be fully eliminated)
```

**#1 приоритет предотвращения** — это **согласованный порядок блокировок**: если все транзакции получают блокировки в одинаковом порядке (например, всегда сначала по меньшему id), круговое ожидание не может сформироваться.

## Паттерн повторных попыток

```text
Since deadlocks can still happen, applications should catch the deadlock error and
RETRY the transaction (often a few times with a small delay). This is standard
resilience for concurrent database code.
```

## Почему это важно

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

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

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

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

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