에듀윌 · 교착 상태
PART F · Deadlock
서로의 락을 기다리며 영원히 멈춤 — 누구도 양보 안 하면 둘 다 못 감

교착 상태 = 환형 대기

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