데드락 아님
순환 대기 조건이 없으므로 기다림의 고리가 닫히지 않는다.
자원이 하나뿐이면 사이클이 곧 데드락이고, 여러 개라면 그래프 축소로 실제 진행 가능성을 다시 검증한다.
순환 대기 조건이 없으므로 기다림의 고리가 닫히지 않는다.
사이클 안의 각 프로세스가 유일한 자원을 기다리므로 데드락이다.
사이클은 위험 신호지만 남은 인스턴스로 풀릴 가능성이 있다.
제거되지 않은 프로세스와 간선이 실제 데드락 후보가 된다.
현재 Available로 모든 요청을 채울 수 있는 프로세스를 고른다.
완료 가능 프로세스의 요청 간선과 할당 간선을 지운다.
제거된 프로세스가 보유하던 자원을 Available에 더한다.
더 지울 수 없다면 남은 부분 그래프가 멈춘 집합이다.