노드는 트랜잭션, 간선은 기다림이다. 사이클 발견은 정상적인 실패·재시도 흐름으로 처리해야 한다.
대기 그래프 검사에서 순환을 찾는다.
작업량, 우선순위, 비용으로 희생자를 고른다.
롤백 후 트랜잭션 전체를 안전하게 재시도한다.