Co to jest MVCC w PostgreSQL?

Question

Accepted Answer

**MVCC** (Multi-Version Concurrency Control) to sposób, w jaki PostgreSQL obsługuje równoległy dostęp — zamiast blokować wiersze do odczytów, przechowuje **wiele wersji** wierszy, dzięki czemu każda transakcja widzi spójną **migawkę** danych. Główna korzyść: **czytelnicy nie blokują autorów, a autorzy nie blokują czytelników**, umożliwiając wysoką współbieżność.

## Główna idea: wiele wersji wierszy

```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.
```

## Główna korzyść: brak blokad odczytu

```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.
```

## Jak to działa (uproszczenie)

```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 śledzi identyfikatory transakcji i widoczność wierszy, dzięki czemu każda transakcja widzi prawidłową wersję. Zapewnia to **izolację** bez blokad odczytu.

## Koszt: martwe krotki i 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.
```

## Dlaczego to ważne

MVCC jest fundamentalne dla zrozumienia zachowania konkurencyjnego i wydajności PostgreSQL, dlatego jest cenną wiedzą dla efektywnej pracy z Postgresem.

Rdzenna wartość, którą zapewnia MVCC, to **wysoka współbieżność**: poprzez przechowywanie wielu wersji wierszy i przydzielanie każdej transakcji spójnej migawki, **czytelnicy nie blokują autorów, a autorzy nie blokują czytelników** — co jest główną zaletą dla rzeczywistych aplikacji (długo trwający raport nie blokuje aktualizacji, a zapisy nie blokują odczytów), umożliwiając znacznie lepszą współbieżność dla obciążeń intensywnych czytaniem i mieszanych w porównaniu z podejściami opartymi na blokadach.

Dlatego PostgreSQL obsługuje równoległy dostęp tak dobrze, a zrozumienie MVCC wyjaśnia charakterystykę współbieżności bazy danych (spójne migawki, izolacja bez blokad odczytu, brak brudnych odczytów).

Krucjalnie, zrozumienie MVCC wyjaśnia również **dlaczego `VACUUM` jest ważny w Postgresie**: MVCC tworzy przestarzałe wersje wierszy ("martwe krotki") w miarę aktualizacji i usuwania wierszy, które gromadzą się jako fragmentacja, a `VACUUM`/`AUTOVACUUM` to mechanizm czyszczenia, który odzyskuje tę przestrzeń i utrzymuje bazę danych w zdrowiu — tak więc MVCC i VACUUM są ściśle połączone, a znajomość tego połączenia jest ważna dla konserwacji bazy danych i wydajności (zaniedbanie próżni prowadzi do fragmentacji i obniżonej wydajności, prawdziwy problem operacyjny).

Ponieważ zachowanie współbieżności fundamentalnie wpływa na wydajność bazy danych pod obciążeniem, a ponieważ MVCC (model współbieżności Postgresa) wyjaśnia zarówno doskonałą współbieżność odczytu/zapisu, jak i potrzebę konserwacji VACUUM, zrozumienie MVCC jest cenną wiedzą dla pracy z PostgreSQL — wyjaśnia to przewagi współbieżności bazy danych i wymaganą przez nią konserwację, ważne zarówno do rozumowania dotyczącego wydajności, jak i prawidłowego obsługiwania Postgresa, oraz częsty temat demonstrujący zrozumienie sposobu obsługi równoległego dostępu przez Postgresa.