X'inhu MVCC f'PostgreSQL?

Question

Accepted Answer

**MVCC** (Multi-Version Concurrency Control) hija kif PostgreSQL tiddawwal ma' l-aċċess konkorrenti — minflok ma tiegħel ir-rittings għal qari, tżomm **verżjonijiet multipli** ta' rittings, biex kull transazzjoni taraSnapshot **konsistenti** tal-data. Il-benefiċcju ewlieni: **qari ma jiġiex ibblokkat minn kittieba, u kittieba ma jibblokkaxxux qura**, u dan jippermetti konkoranza għolja.

## L-idea ewlenija: verżjonijiet multipli ta' rittings

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

## Il-benefiċcju kbir: l-ebda tiegħel għal qari

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

## Kif jaħdem (simplifikat)

```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 tirriċievi l-IDs ta' transazzjoniet u l-viżibilità tal-rittings biex kull transazzjoni tara l-verżjoni t-tajba. Dan jipprovdi **iżolament** mingħajr tiegħel għal qari.

## Il-ħlas: dead tuples u 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.
```

## Għaliex hija importanti

MVCC hija fundamentali għall-fehim tal-imġiba tal-konkoranza ta' PostgreSQL u l-performance, għalhekk hija għarifa ta' valur għat-tħaddim ta' Postgres b'mod effettiv.

Il-valur ewlieni li MVCC jipprovdi hu **konkoranza għolja**: billi tżomm verżjonijiet multipli ta' rittings u tagħti kull transazzjoni snapshot konsistenti, **qari ma jiġiex ibblokkat minn kittieba u kittieba ma jibblokkaxxux qura** — li hija vantaġġ ewlieni għal applikazzjonijiet reali (rapport ta' tul li jigri ma jibblokka aġġornamenti, u kittieb ma jibblokka qari), u dan jippermetti konkoranza ħafna aħjar għal workloads li jaqraw ħafna u mħallta minn approċċi bbażati fuq tiegħel.

Ha hija r-raġuni għaliex PostgreSQL jiddawwal ma' l-aċċess konkorrenti b'mod tajjeb, u l-fehim ta' MVCC jispjega l-karatteristiċi tal-konkoranza tad-database (snapshots konsistenti, iżolament mingħajr tiegħel għal qari, l-ebda qari ħażin).
"],b'mod kritiku, il-fehim ta' MVCC jispjega wkoll **għaliex `VACUUM` hija importanti f'Postgres**: MVCC toħloq verżjonijiet ta' rittings obsoleti ("dead tuples") bħala li rittings jiġu aġġornati u mħassra, li jakkumulaxxu bħala bloat, u `VACUUM`/`AUTOVACUUM` hija l-mekkaniżmu ta' tindif li jirrikupra dan l-ispazju u iżomm id-database sanew — għalhekk MVCC u VACUUM huma konnessi intimament, u l-għarifa ta' din il-konnessjoni hija importanti għal manutenzjoni tad-database u performance (l-innutrar tal-vacuum iwassal għal bloat u performance li tċarrat, ħtieġa operazzjonali reali).

Billi l-imġiba tal-konkoranza taffettwa fundamentalment kif database taħdem taħt tagħbija, u billi MVCC (il-mudell ta' konkoranza ta' Postgres) jispjega kemm l-eċċellenza tal-konkoranza ta' qari/kittieb u l-bżonn għal manutenzjoni ta' VACUUM, il-fehim ta' MVCC hija għarifa ta' valur għat-tħaddim ta' PostgreSQL — jqarqar l-vantaġġi tal-konkoranza tad-database u l-manutenzjoni li teħtieġ, importanti kemm għar-raġunar dwar performance kif ukoll għat-tħaddim ta' Postgres b'mod korrett, u suġġett komuni li juri l-fehim ta' kif Postgres jiddawwal ma' l-aċċess konkorrenti.