Как работает блокировка в PostgreSQL?

Question

Accepted Answer

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

## MVCC означает, что читаемые операции обычно не блокируют

```text
Because of MVCC, plain SELECTs do NOT take row locks — they read a consistent snapshot.
→ Readers don't block writers, writers don't block readers (a key Postgres advantage).
Locking mainly comes into play for WRITES and explicit locking.
```

## Блокировки на уровне строк (из операций записи и явной блокировки)

```sql
-- UPDATE/DELETE automatically lock the affected ROWS (until the transaction ends)
UPDATE accounts SET balance = balance - 100 WHERE id = 1;   -- locks row 1

-- SELECT ... FOR UPDATE — explicitly lock rows you intend to update (prevent races)
BEGIN;
SELECT * FROM accounts WHERE id = 1 FOR UPDATE;   -- lock the row
-- ... compute, then UPDATE — no other transaction can modify it meanwhile
UPDATE accounts SET balance = ... WHERE id = 1;
COMMIT;
```

`SELECT ... FOR UPDATE` блокирует строки так, чтобы параллельные транзакции не могли их изменять — предотвращая race conditions в операциях чтение-изменение-запись (например, безопасное уменьшение инвентаря).

## Типы блокировок и блокировки таблиц

```text
ROW-level → ACCESS via UPDATE/DELETE/SELECT FOR UPDATE — fine-grained
TABLE-level → some DDL (ALTER TABLE) takes heavier table locks → can block queries
→ Schema changes on busy tables can cause contention; plan migrations carefully
  (Postgres has gotten better — many ALTERs are now non-blocking, but not all).
```

## Избежание проблем с блокировками и взаимных блокировок

```text
✓ Keep transactions SHORT (hold locks briefly → less contention)
✓ Acquire locks in a CONSISTENT ORDER across transactions → avoid DEADLOCKS
✓ Use FOR UPDATE deliberately for read-modify-write; consider FOR UPDATE SKIP LOCKED
  for queue-like patterns (skip already-locked rows)
✓ Watch for long-held locks blocking others (pg_locks, pg_stat_activity to diagnose)
✓ Be cautious with DDL on busy tables (can block)
```

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

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

Фундаментальная идея заключается в том, что **MVCC означает, что читаемые операции обычно не блокируют** (читатели не блокируют писателей — ключевое преимущество параллелизма Postgres), поэтому блокировка в основном касается **операций записи и явной блокировки**.

Понимание **блокировок на уровне строк** (получаемых UPDATE/DELETE) и особенно **`SELECT ... FOR UPDATE`** (явное блокирование строк для предотвращения race conditions в операциях чтение-изменение-запись — например, безопасное уменьшение инвентаря или обработка баланса, где без блокировки параллельные транзакции могут привести к неправильным результатам) важно для **корректности** в параллельных сценариях.

Знание того, что **DDL/изменения схемы могут требовать более тяжелые блокировки таблиц** (потенциально блокируя запросы на активных таблицах — важное соображение при планировании миграций, хотя Postgres улучшил много операций ALTER, чтобы они не блокировали) помогает избежать конкуренции при развертывании.

Понимание того, как **избежать проблем с блокировками и взаимных блокировок** — держать транзакции короткими (удерживая блокировки кратко), получать блокировки в консистентном порядке (предотвращая взаимные блокировки), использовать `FOR UPDATE` осознанно (и `SKIP LOCKED` для очередных паттернов), диагностировать конкуренцию по блокировкам (pg_locks, pg_stat_activity) — ценно для производительности и надежности при параллелизме.

Поскольку параллелизм свойствен реальным приложениям, и поскольку правильное использование блокировок (особенно `FOR UPDATE` для корректности в операциях чтение-изменение-запись, и избежание конкуренции/взаимных блокировок) — это то, что делает код параллельной работы с базой данных корректным и высокопроизводительным, понимание блокировки PostgreSQL — модель MVCC-без-блокировок-на-чтение, явная блокировка строк для корректности, блокировки таблиц из DDL и избежание взаимных блокировок/конкуренции — это ценное знание для старших разработчиков при создании надежных параллельных приложений и эксплуатации Postgres под нагрузкой, частый вопрос, демонстрирующий понимание управления параллельным доступом в базах данных.