Kako deluje zaklepanje v PostgreSQL-u?

Question

Accepted Answer

PostgreSQL uporablja **zaklepanja** za usklajevanje sočasnega dostopa in preprečevanje konfliktov. Zahvaljujoč **MVCC**, branja na splošno ne potrebujejo zakljepajev (bralci ne blokirajo piscev), vendar pisanja pridobivajo zaklepanja na ravni vrstic, različne vrste zakljepajev pa usklajevajo operacije. Razumevanje zaklepanja pomaga preprečiti težave s konkurenco in mrtve zanke.

## MVCC pomeni, da branja ponavadi ne zaklepajo

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

## Zaklepanja na ravni vrstic (iz pisanj in eksplicitnih zakljepajev)

```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` zaklepa vrstice, tako da sočasne transakcije ne morejo spremeniti — preprečevanje konkurenčnih razmer pri operacijah branja-spreminjanja-pisanja (npr. varno zmanjšanje zalog).

## Vrste zakljepajev in zaklepanja tabel

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

## Izogibanje težavam z zaklepanji in mrtvim zankom

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

## Zakaj je to pomembno

Razumevanje zaklepanja v PostgreSQL-u je pomembno za gradnjo **pravilnih in zmogljivih sočasnih aplikacij**, zato je dragoceno znanje za višje-raven za sisteme z意义 sočasnim dostopom do baze podatkov.

Temeljna ugotovitev je, da **MVCC pomeni, da branja ponavadi ne zaklepajo** (bralci ne blokirajo piscev — ključna prednost sočasnosti Postgresa), zato se zaklepanje primarno nanaša na **pisanja in eksplicitna zaklepanja**.

Razumevanje **zakljepajev na ravni vrstic** (pridobljenih z UPDATE/DELETE) in posebej **`SELECT ... FOR UPDATE`** (eksplicitno zaklepanje vrstic za preprečevanje konkurenčnih razmer v operacijah branja-spreminjanja-pisanja — kot je varno zmanjšanje zalog ali obdelava stanja, kjer bi brez zaklepanja sočasne transakcije lahko povzročile napačne rezultate) je pomembno za **pravilnost** v sočasnih scenarijih.

Znanje, da **DDL/spremembe shem lahko vzamejo težja zaklepanja tabel** (potencialno blokiranje poizvedb na zasedenih tabelah — pomembno premisliti pri načrtovanju migracije, čeprav je Postgres izboljšal marsikatere ALTER za ne-blokirajočo delovanje) pomaga preprečiti težave s konkurenco med razporeditvami.

Razumevanje, kako **izbegati probleme z zaklepanji in mrtvimi zankami** — zagotavljanje kratkih transakcij (držanje zakljepajev na kratko), pridobivanje zakljepajev v skladnem vrstnem redu (preprečevanje mrtvih zank), nameren uporaba `FOR UPDATE` (in `SKIP LOCKED` za vzorce čakalne vrste) ter diagnostika težav z zaklepanji (pg_locks, pg_stat_activity) — je dragoceno za zmogljivost in zanesljivost pri sočasnosti.

Ker je sočasnost inherentna v resničnih aplikacijah, in ker je pravilna raba zakljepajev (posebej `FOR UPDATE` za pravilnost v operacijah branja-spreminjanja-pisanja in izogibanje težavam s konkurenco/mrtvim zankom) tisto, kar naredi sočasen kod baze podatkov pravilen in zmogljiv, je razumevanje zakljepajev v PostgreSQL-u — model MVCC-brez-zakljepajev-za-branja, eksplicitno zaklepanje vrstic za pravilnost, zaklepanja tabel iz DDL in izogibanje mrtvim zankom/konkurenci — dragoceno znanje na višji ravni za gradnjo robustnih sočasnih aplikacij in upravljanje Postgresa pod obremenitvijo, pogosto relevanten napor, ki dokazuje razumevanje kontrole sočasnosti baze podatkov.