데드락 탐지는 기다림 관계가 닫힌 고리인지 본다
자원 인스턴스가 하나면 wait-for graph의 cycle을 확인하고, 여러 개면 allocation/request 행렬로 더 이상 진행 가능한 프로세스가 있는지 본다.
collect
allocation/request
현재 보유와 요청
reduce
finish 가능한 P
available로 만족
cycle
wait-for graph
단일 인스턴스 판정
recover
kill/preempt
비용 낮은 대상 선택
상황
검사 방식
판정 신호
자원 1개씩
wait-for graph
cycle 존재
자원 여러 개
행렬 reduction
finish 불가 집합
드문 데드락
주기적 검사
오버헤드 절감
빈번한 경합
예방/회피 고려
복구 비용 큼