Πώς λειτουργεί η κλείδωση στο PostgreSQL;

Question

Accepted Answer

Το PostgreSQL χρησιμοποιεί **κλειδώματα** για να συντονίσει την ταυτόχρονη πρόσβαση και να αποτρέψει συγκρούσεις. Χάρη στο **MVCC**, οι αναγνώσεις γενικά δεν χρειάζονται κλειδώματα (οι αναγνώσεις δεν μπλοκάρουν τις εγγραφές), αλλά οι εγγραφές αποκτούν κλειδώματα επιπέδου γραμμής και διάφοροι τύποι κλειδωμάτων συντονίζουν τις λειτουργίες. Η κατανόηση της κλείδωσης βοηθά να αποφευχθεί η σύγκρουση και η αδιέξοδα κατάσταση.

## Το MVCC σημαίνει ότι οι αναγνώσεις συνήθως δεν κλειδώνουν

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

## Κλειδώματα επιπέδου γραμμής (από εγγραφές και ρητό κλείδωμα)

```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` κλειδώνει γραμμές ώστε οι ταυτόχρονες συναλλαγές να μην μπορούν να τις τροποποιήσουν — αποτρέποντας συνθήκες race σε λειτουργίες read-modify-write (π.χ. ασφαλής μείωση του αποθέματος).

## Τύποι κλειδωμάτων και κλειδώματα πίνακα

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

## Αποφυγή προβλημάτων κλείδωσης και αδιεξόδων

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

## Γιατί είναι σημαντικό

Η κατανόηση της κλείδωσης στο PostgreSQL είναι σημαντική για την κατασκευή **σωστών, αποδοτικών ταυτόχρονων εφαρμογών**, επomένως είναι πολύτιμη γνώση υψηλότερου επιπέδου για συστήματα με σημαντική ταυτόχρονη πρόσβαση στη βάση δεδομένων.

Η θεμελιώδης ιδέα είναι ότι **το MVCC σημαίνει ότι οι αναγνώσεις συνήθως δεν κλειδώνουν** (οι αναγνώσεις δεν μπλοκάρουν τις εγγραφές — ένα βασικό πλεονέκτημα ταυτοχρονισμού του Postgres), επομένως η κλείδωση αφορά κυρίως **εγγραφές και ρητό κλείδωμα**.

Η κατανόηση **κλειδωμάτων επιπέδου γραμμής** (που αποκτώνται από UPDATE/DELETE) και ειδικά **`SELECT ... FOR UPDATE`** (ρητό κλείδωμα γραμμών για την αποτροπή συνθηκών race σε λειτουργίες read-modify-write — όπως η ασφαλής μείωση του αποθέματος ή η επεξεργασία υπολοίπου, όπου χωρίς κλείδωμα οι ταυτόχρονες συναλλαγές θα μπορούσαν να προκαλέσουν λανθασμένα αποτελέσματα) είναι σημαντική για την **ορθότητα** σε ταυτόχρονα σενάρια.

Το να γνωρίζετε ότι **οι αλλαγές DDL/σχήματος μπορούν να λάβουν βαρύτερα κλειδώματα πίνακα** (που ενδεχομένως να μπλοκάρουν ερωτήματα σε απασχολημένους πίνακες — ένα σημαντικό σημείο κατά τον σχεδιασμό μεταναστεύσεων, αν και το Postgres έχει βελτιώσει πολλά ALTER για να μην είναι μπλοκάρισμα) βοηθά να αποφευχθεί η σύγκρουση κατά τις ανάπτυξης.

Η κατανόηση του τρόπου **αποφυγής προβλημάτων κλείδωσης και αδιεξόδων** — διατήρηση συναλλαγών κοντές (κράτηση κλειδωμάτων για λίγο), απόκτηση κλειδωμάτων με συνεπή σειρά (αποτροπή αδιεξόδων), χρήση `FOR UPDATE` σκόπιμα (και `SKIP LOCKED` για pattern ουράς) και διάγνωση σύγκρουσης κλειδωμάτων (pg_locks, pg_stat_activity) — είναι πολύτιμη για απόδοση και αξιοπιστία κάτω από ταυτοχρονισμό.

Επειδή ο ταυτοχρονισμός είναι εγγενής στις πραγματικές εφαρμογές, και επειδή η σωστή χρήση κλειδωμάτων (ειδικά `FOR UPDATE` για ορθότητα σε λειτουργίες read-modify-write, και αποφυγή σύγκρουσης/αδιεξόδων) είναι αυτό που κάνει τον ταυτόχρονο κώδικα βάσης δεδομένων σωστό και αποδοτικό, η κατανόηση της κλείδωσης PostgreSQL — το μοντέλο MVCC-χωρίς-κλειδώματα-ανάγνωσης, το ρητό κλείδωμα γραμμών για ορθότητα, τα κλειδώματα πίνακα από DDL και την αποφυγή αδιεξόδων/σύγκρουσης — είναι πολύτιμη γνώση υψηλότερου επιπέδου για την κατασκευή ισχυρών ταυτόχρονων εφαρμογών και τη λειτουργία Postgres υπό φορτίο, ένα συχνά σχετικό ζήτημα που αποδεικνύει την κατανόηση του ελέγχου ταυτοχρονισμού της βάσης δεδομένων.