인프런 커뮤니티 질문&답변

무거운 교착상태 검출에 관한 질문입니다. 자원 할당 그래프의 방향이 순환구조라면 교착상태가 생겼다고 판단한다고 하셨는데, 이게 교착상태의 조건 중 '원형 대기'에 해당하는 것 같습니다. 그렇다면 무거운 교착상태 검출은 나머지 조건인 '상호배제'와 '비선점', '점유와 대기'는 충족한 상태에서 '원형 대기' 조건을 충족했는지 검사하는 방식인가요?