Kaip veikia užrakinimas (locking) PostgreSQL?

Question

Accepted Answer

PostgreSQL naudoja **užraktus** (locks) norint koordinuoti lygiagrečią prieigą ir išvengti konfliktų. Dėl **MVCC**, skaitymai paprastai nereikalauja užraktų (skaitytojai neblokuoja rašytojų), tačiau rašymai įgyja eilutės lygmens užraktus, o įvairūs užrakto tipai koordinuoja operacijas. Užrakto veikimo supratimas padeda išvengti konkurencijos ir aklavietės.

## MVCC reiškia, kad skaitymai paprastai neužrakina

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

## Eilutės lygmens užraktai (iš rašymų ir aiškaus užrakinimo)

```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` užrakina eilutes, todėl lygiagretės transakcijos jų negali keisti — išvengiama lenktynių sąlygų skaitymo-modifikavimo-rašymo operacijose (pvz., saugiai sumažinant atsargas).

## Užrakto tipai ir lentelės užraktai

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

## Užrakto problemų ir aklavietės išvengimas

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

## Kodėl tai svarbu

PostgreSQL užrakinimo supratimas yra svarbus norint kurti **teisingus, produktyvius lygiagrečius programų kodą**, todėl tai yra vertinga aukštesnio lygio žinija sistemoms su reikšminga lygiagrečia duomenų bazės prieiga.

Pagrindinis įžvalgimas yra tas, kad **MVCC reiškia, kad skaitymai paprastai neužrakina** (skaitytojai neblokuoja rašytojų — tai yra pagrindinis Postgres lygiagretumo pranašumas), todėl užrakinimas pirmiausia susijęs su **rašymais ir aiškiu užrakinimų naudojimu**.

Supratimas apie **eilutės lygmens užraktus** (kuriuos įgyja UPDATE/DELETE) ir ypač apie **`SELECT ... FOR UPDATE`** (aiškiai užrakinti eilutes norint išvengti lenktynių sąlygų skaitymo-modifikavimo-rašymo operacijose — tokiose kaip saugus atsargų sumažinimas arba balanso apdorojimas, kur be užrakinimo lygiagretės transakcijos galėtų sukelti neteisingus rezultatus) yra svarbus **korektumui** lygiagrečiuose scenarijuose.

Žinojimas, kad **DDL/schemos pakeitimai gali naudoti sunkesnius lentelės užraktus** (gali blokuoti užklausas į užimtas lentelės — svarbi aplinkybė planuojant migraciją, nors Postgres pagerino daugelį ALTER operacijų, kad jos nebūtų blokuojančios) padeda išvengti konkurencijos diegimo metu.

Supratimas, kaip **išvengti užrakto problemų ir aklavietės** — trumpos transakcijos (užraktus tūrint trumpą laiką), užraktų įsigijimas nuoseklia tvarka (aklavietės prevencija), `FOR UPDATE` naudojimas numatytu tikslu (ir `SKIP LOCKED` eilutės šablonams), bei užrakto konkurencijos diagnozavimas (pg_locks, pg_stat_activity) — yra vertingas produktyvumui ir patikimumui esant lygiagretumo apkrovai.

Kadangi lygiagretumo jau yra būdinga tikrosiose programose, ir kadangi tinkamas užrakto naudojimas (ypač `FOR UPDATE` korektumui skaitymo-modifikavimo-rašymo operacijose, ir konkurencijos/aklavietės išvengimai) yra tai, kas daro lygiagrečio duomenų bazės kodo teisingą ir produktyvų, PostgreSQL užrakto supratimas — MVCC-no-read-locks modelis, aiškus eilutės užrakinimas korektumui, lentelės užraktai iš DDL, ir aklavietės/konkurencijos išvengimai — yra vertinga aukštesnio lygio žinija tvirtiems lygiagretiems programų kodams kurti ir Postgres operavimui esant apkrovai, dažnai reikalingas dėmesys, kuris parodo duomenų bazės lygiagretumo valdymo supratimą.