Πώς λειτουργούν τα row locks και το MVCC στο InnoDB, και πώς αποφεύγεις τα deadlocks;

Question

IT Interview Practice · Accepted Answer

Το InnoDB συνδυάζει δύο μηχανισμούς. Το **MVCC** επιτρέπει στα απλά `SELECT` να διαβάζουν ένα συνεπές snapshot χωρίς locking, ώστε οι readers να μην μπλοκάρουν ποτέ τους writers. Τα **Locks** προστατεύουν τα writes: τα `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` παίρνουν row locks, και το InnoDB χρησιμοποιεί επίσης **next-key locks** (η γραμμή + το κενό πριν από αυτήν) για να σταματήσει τα phantoms υπό REPEATABLE READ.

## Deadlocks

Ένα deadlock είναι ένας κύκλος: το T1 κρατά το lock A και θέλει το B, ενώ το T2 κρατά το B και θέλει το A. Κανένα δεν μπορεί να προχωρήσει. Το InnoDB **εντοπίζει τον κύκλο και κάνει roll back ένα transaction** (το φθηνότερο θύμα) με error 1213, ώστε το άλλο να ολοκληρωθεί.

```sql
-- T1                              -- T2
BEGIN;                             BEGIN;
UPDATE acct SET bal=bal-1          UPDATE acct SET bal=bal-1
  WHERE id=1;  -- locks row 1        WHERE id=2;  -- locks row 2
UPDATE acct SET bal=bal+1          UPDATE acct SET bal=bal+1
  WHERE id=2;  -- waits for T2        WHERE id=1;  -- waits for T1 => DEADLOCK
-- ERROR 1213: Deadlock found; transaction rolled back
```

## Πώς να τα αποφύγεις

- **Consistent lock ordering** — άγγιζε πάντα τις γραμμές με την ίδια σειρά (π.χ. αύξουσα id). Το παράδειγμα κάνει deadlock μόνο επειδή τα δύο transactions κλειδώνουν 1→2 και 2→1.
- **Κράτα τα transactions σύντομα** — απόκτησε τα locks αργά, κάνε commit γρήγορα, μην κρατάς locks κατά τη διάρκεια αναμονών δικτύου/χρήστη.
- **Κλείδωσε το ελάχιστο** — βάλε index στο `WHERE` σου ώστε το InnoDB να κλειδώνει συγκεκριμένες γραμμές, όχι ranges ή (χωρίς index) ουσιαστικά κάθε γραμμή που σαρώνεται.
- **Retry στο 1213** — τα deadlocks είναι φυσιολογικά υπό contention· τύλιξε το transaction σε ένα retry σε επίπεδο εφαρμογής.

```sql
SHOW ENGINE INNODB STATUS\G   -- LATEST DETECTED DEADLOCK explains who waited on what
```

## Γιατί έχει σημασία

Υπό πραγματικό ταυτοχρονισμό, το lock contention και τα deadlocks είναι η διαφορά ανάμεσα σε μια βάση που κλιμακώνεται και σε μία που κολλάει. Το να ξέρεις ότι οι readers χρησιμοποιούν MVCC (οπότε δεν μπλοκάρουν), ότι τα deadlocks είναι αναμενόμενα και επαναλήψιμα, και ότι το consistent lock ordering αποτρέπει τα περισσότερα από αυτά είναι ακριβώς αυτό που απαιτεί η senior on-call δουλειά.

Deadlocks

Πώς να τα αποφύγεις

Γιατί έχει σημασία

Σχετικές ερωτήσεις