Что такое MVCC в PostgreSQL?

Question

Accepted Answer

**MVCC** (Multi-Version Concurrency Control) — это способ, которым PostgreSQL управляет одновременным доступом — вместо блокировки строк при чтении, он хранит **несколько версий** строк, так что каждая транзакция видит согласованный **снимок** данных. Основное преимущество: **читатели не блокируют писателей, и писатели не блокируют читателей**, обеспечивая высокий уровень параллелизма.

## Основная идея: несколько версий строк

```text
When a row is UPDATED, Postgres doesn't overwrite it — it creates a NEW version and
marks the old one obsolete. Different transactions can see different versions.
→ Each transaction sees a consistent SNAPSHOT of the database as of its start
  (depending on isolation level), unaffected by others' uncommitted changes.
```

## Основное преимущество: отсутствие блокировок при чтении

```text
Without MVCC (lock-based): readers and writers BLOCK each other
  → a long-running report could block writes; a write could block reads.
With MVCC:
  ✓ READERS DON'T BLOCK WRITERS — a SELECT sees an old version while an UPDATE proceeds
  ✓ WRITERS DON'T BLOCK READERS
  ✓ Each transaction sees a stable, consistent view (no dirty reads)
→ Much higher concurrency for read-heavy and mixed workloads.
```

## Как это работает (упрощённо)

```sql
-- Transaction A starts a long SELECT (sees a snapshot)
BEGIN; SELECT count(*) FROM orders;   -- sees data as of its snapshot

-- meanwhile Transaction B updates rows — creates new versions, doesn't block A
-- A still sees its consistent snapshot; B's changes are a new version
```

Postgres отслеживает ID транзакций и видимость строк, поэтому каждая транзакция видит правильную версию. Это обеспечивает **изоляцию** без блокировок при чтении.

## Цена: мёртвые кортежи и VACUUM

```text
MVCC creates obsolete row versions ("dead tuples") that accumulate → bloat.
VACUUM (and AUTOVACUUM) reclaims this dead space and keeps the database healthy.
→ This is why VACUUM is important in Postgres — it's the cleanup for MVCC's versions.
```

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

MVCC — это фундаментальная концепция для понимания поведения параллелизма в PostgreSQL и его производительности, поэтому это ценные знания для эффективной работы с Postgres.

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

Именно поэтому PostgreSQL так хорошо обрабатывает одновременный доступ, и понимание MVCC объясняет характеристики параллелизма базы данных (согласованные снимки, изоляция без блокировок при чтении, отсутствие грязных чтений).

Критически важно, что понимание MVCC также объясняет, **почему `VACUUM` важен в Postgres**: MVCC создаёт устаревшие версии строк ("мёртвые кортежи") при обновлении и удалении строк, которые накапливаются как раздувание, и `VACUUM`/`AUTOVACUUM` — это механизм очистки, который освобождает это место и сохраняет базу данных здоровой — так что MVCC и VACUUM тесно связаны, и понимание этой связи важно для обслуживания базы данных и производительности (игнорирование вакуума приводит к раздуванию и снижению производительности, это реальная операционная проблема).

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