Kako funkcionira zaključavanje u PostgreSQL-u?

Question

Accepted Answer

PostgreSQL koristi **locks** (zaključavanja) za koordinaciju istovremenog pristupa i sprečavanje konflikata. Zahvaljujući **MVCC**, čitanja uglavnom ne trebaju zaključavanja (čitatelji ne blokiraju pisace), ali pisanja stječu zaključavanja na razini redaka, a različiti tipovi zaključavanja koordiniraju operacije. Razumijevanje zaključavanja pomaže izbjegavanju spora i mrtvih točaka.

## MVCC znači da čitanja uglavnom ne zaključavaju

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

## Zaključavanja na razini redaka (iz pisanja i eksplicitnog zaključavanja)

```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` zaključava redake kako istovremene transakcije ne bi mogla ih mijenjati — sprečavajući uvjetnu trku u operacijama čitaj-promijeni-napiši (npr. sigurno smanjivanje zaliha).

## Tipovi zaključavanja i tablična zaključavanja

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

## Izbjegavanje problema zaključavanja i mrtvih točaka

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

## Zašto je važno

Razumijevanje zaključavanja u PostgreSQL-u važno je za izgradnju **ispravnih, performantnih istovremenih aplikacija**, tako da je to vrijedna znanja za seniorsku razinu za sustave sa značajnim istovremenim pristupom bazi podataka.

Temeljna spoznaja je da **MVCC znači da čitanja uglavnom ne zaključavaju** (čitatelji ne blokiraju pisace — ključna prednost istovremenog rada u Postgres-u), tako da se zaključavanja uglavnom tiču **pisanja i eksplicitnog zaključavanja**.

Razumijevanje **zaključavanja na razini redaka** (koja se stječu s UPDATE/DELETE) i posebno **`SELECT ... FOR UPDATE`** (eksplicitno zaključavanje redaka kako bi se spriječile uvjetne trke u operacijama čitaj-promijeni-napiši — poput sigurnog smanjivanja zaliha ili obrade stanja, gdje bez zaključavanja istovremene transakcije mogu uzrokovati netočne rezultate) važno je za **ispravnost** u istovremenim scenarijima.

Znanje da **DDL/promjene sheme mogu uzeti teža tablična zaključavanja** (potencijalno blokirajući upite na zaposljenim tablicama — važno razmatranje pri planiranju migracija, premda je Postgres poboljšao mnoga ALTER naredbe kako bi bila neblokirajoća) pomaže izbjegavanju spora tijekom distribucija.

Razumijevanje kako **izbjegnuti probleme zaključavanja i mrtve točke** — čuvanje transakcija kratkim (držanje zaključavanja kratko), stjecanje zaključavanja u dosljedno redoslijedu (sprečavanje mrtvih točaka), namjerna uporaba `FOR UPDATE` (i `SKIP LOCKED` za obrasce čekanja u redu), te dijagnostika spora zaključavanja (pg_locks, pg_stat_activity) — vrijedna je za performanse i pouzdanost pod istovremenim opterećenjem.

Pošto je istovremeni rad svojstven pravim aplikacijama, i pošto ispravna uporaba zaključavanja (posebno `FOR UPDATE` za ispravnost u operacijama čitaj-promijeni-napiši, i izbjegavanje spora/mrtvih točaka) čini istovremeni kod baze podataka ispravnim i performantnim, razumijevanje zaključavanja u PostgreSQL-u — MVCC-model bez zaključavanja pri čitanju, eksplicitno zaključavanje redaka za ispravnost, tablična zaključavanja iz DDL-a, te izbjegavanje mrtvih točaka/spora — vrijedna je znanja za seniorsku razinu za izgradnju robusnih istovremenih aplikacija i rad s Postgres-om pod opterećenjem, često relevant problem koji pokazuje razumijevanje kontrole istovremenog pristupa bazama podataka.