WAIT-FOR GRAPH
대기 그래프 탐지
데드락 탐지는 트랜잭션을 노드로, 기다림을 간선으로 놓고 사이클을 찾는 문제다.
wait edge
cycle
victim
T1T2 대기
T1 → T2wait
T2T3 대기
T3 → T1cycle
T3T1 대기
T2 → T3wait
DetectDBMS가 대기 그래프 검사
Choose작업량, 우선순위, 비용으로 희생자 선택
Abort문장 또는 트랜잭션 실패
Retry애플리케이션에서 재시도