Deadlock Check

데드락 탐지와 그래프 축소 흐름

자원 할당 그래프는 요청과 보유 관계를 따라 사이클과 축소 가능성을 확인한다.

그래프에서 데드락을 읽는 순서

resource graph

자원을 요청하거나 보유하는 프로세스를 표시한다.

공유해야 하는 자원과 인스턴스를 나타낸다.

프로세스가 자원을 기다리는 방향의 간선이다.

자원이 프로세스에 이미 배정된 상태를 뜻한다.

사이클이 있으면 데드락 후보가 된다.

완료 가능한 프로세스를 제거하며 남은 사이클을 판단한다.

그래프 작성사이클 확인축소 시도데드락 판단

읽는 법

사이클은 단일 인스턴스 자원에서는 강한 신호지만, 다중 인스턴스에서는 축소 가능성까지 함께 봐야 한다.