เดดล็อก: การตรวจจับและการหลีกเลี่ยง

ภาวะล็อกตายคืออะไร

ภาวะล็อกตายแบบคลาสสิก

-- Tx A:
BEGIN;
UPDATE accounts SET balance = balance - 100 WHERE id = 1;
UPDATE accounts SET balance = balance + 100 WHERE id = 2;
-- waiting for B...

-- Tx B:
BEGIN;
UPDATE accounts SET balance = balance - 50 WHERE id = 2;
UPDATE accounts SET balance = balance + 50 WHERE id = 1;
-- waiting for A...

-- ERROR: deadlock detected

PostgreSQL ตรวจจับภาวะล็อกตาย

ERROR:  deadlock detected
DETAIL:  Process 1234 waits for ShareLock on transaction 5678 ...

กฎการเรียงลำดับการล็อก

-- Always update the lower id first:
UPDATE accounts SET balance = balance - 100 WHERE id = LEAST(:from, :to);
UPDATE accounts SET balance = balance + 100 WHERE id = GREATEST(:from, :to);

ภาวะล็อกตายจากแถวที่มีการใช้งานหนาแน่น

FOR UPDATE ล็อกแถวที่อ่าน

BEGIN;
SELECT * FROM accounts WHERE id IN (1, 2) ORDER BY id FOR UPDATE;
-- both rows locked in id order
UPDATE accounts SET balance = balance - 100 WHERE id = 1;
UPDATE accounts SET balance = balance + 100 WHERE id = 2;
COMMIT;

ข้ามแถวที่ถูกล็อก

SELECT * FROM jobs
WHERE status = 'pending'
ORDER BY created_at
LIMIT 1
FOR UPDATE SKIP LOCKED;
-- skips rows other workers have locked

NOWAIT

SELECT * FROM accounts WHERE id = 1 FOR UPDATE NOWAIT;
-- ERROR: could not obtain lock on row in relation "accounts"

การวินิจฉัยภาวะล็อกตาย

วงวนการลองใหม่ในแอปพลิเคชัน

for (let attempt = 0; attempt < 3; attempt++) {
  try {
    await runTransaction();
    break;
  } catch (e) {
    if (e.code === '40P01') continue;     // deadlock
    throw e;
  }
}

ลดขอบเขตการล็อก

สร้างดัชนีให้คีย์ต่างประเทศเพื่อหลีกเลี่ยงการขยายขอบเขตการล็อก

สรุปทบทวน

แบบทดสอบสั้น ๆ