다음 중 교착상태인 시스템 자원 할당 그래프에 해당하는 것만을 모두 고… | [국회직 9급 컴퓨터일반] 22년 1회차 기출문제 상세 페이지

교착상태인 그래프는 ㄹ뿐이다.
인스턴스가 여러 개인 자원 유형이 있으면 사이클은 교착상태의 필요조건일 뿐 충분조건이 아니다. 따라서 요청 없이 끝낼 수 있는 쓰레드가 자원을 반납하며 대기가 풀리는지 따져야 한다.
ㄹ에서는 $T_{1}$이 $R_{1}$을, $T_{2}$가 $R_{3}$을, $T_{3}$이 $R_{2}$를 기다린다. 이 자원들의 인스턴스는 모두 세 쓰레드에 할당되어 있어 어느 쓰레드도 진행할 수 없다.
ㄱ은 사이클이 없고 $T_{3}$이 요청 없이 끝나 $R_{3}$을 반납하므로 $T_{2}$, $T_{1}$ 순으로 진행된다.
ㄴ은 사이클이 없고, $T_{3}$이 요청한 $R_{4}$에 빈 인스턴스가 있어 바로 할당받으므로 차례로 진행된다.
ㄷ은 $T_{1}$, $R_{2}$, $T_{3}$, $R_{1}$로 이어지는 사이클이 있지만, $T_{2}$와 $T_{4}$가 요청 없이 끝나 자원을 반납하므로 대기가 풀린다.