에듀윌
·
교착 상태
PART F · Deadlock
서로의 락을 기다리며 영원히 멈춤 — 누구도 양보 안 하면 둘 다 못 감
교착 상태 =
환형 대기
교착
DEADLOCK
Definition
둘 이상의 트랜잭션이 서로 상대의 락을 기다리며
무한 대기
. 2PL은 직렬 가능성만 보장 —
교착은 별개의 사고
로 발생.
t
T₁ (A→B)
T₂ (B→A)
t₁
A에 X락 ✅
t₂
B에 X락 ✅
t₃
B X락 요청 → 대기
t₄
A X락 요청 → 대기
🚗
좁은 골목 두 차
— 양 끝에서 마주봐 둘 다 양보 안 하면 영원히 못 감. 한 차가 후진(ROLLBACK)해야 통과. T₁→T₂→T₁ 사이클이 교착의 시그니처.