Learning
토픽 52 / 201·무결성 및 트랜잭션

Wait-for Graph (대기 그래프)

Wait-for Graph (대기 그래프)

트랜잭션 간 잠금 대기 관계를 방향 그래프로 표현하여 순환(Cycle)을 탐지함으로써 교착상태를 발견하는 기법

구성요소

  • 노드(Node): 각 트랜잭션
  • 간선(Edge): Ti → Tj — Ti가 Tj의 잠금 해제를 대기

동작원리

희생자 선정 기준: 실행 시간, 남은 작업량, 보유 잠금 수, 롤백 비용

비교: Wait-for Graph(정확/오버헤드) vs Timeout(간단/정확도↓) vs 예방(사전차단/제약↑)

연관: 교착상태, 락킹, 동시성 제어