어느 시스템에 하나의 자원형(resource type)만이 존재하고 이… | [법원직 9급 전산·사서 컴퓨터일반] 25년 1회차 기출문제 상세 페이지
1[법원직 9급 전산·사서 컴퓨터일반] 25년 1회차
어느 시스템에 하나의 자원형(resource type)만이 존재하고 이에 5개의 단위자원(resource units)이 있으며, 이 시스템에 p개의 프로세스가 존재한다고 가정할 때, 각 프로세스들이 어느 순간에도 최대 2개까지의 단위자원만을 필요로 한다면 이 시스템에서 교착상태의 발생을 근본적으로 없애기 위한 필요충분조건은?
1
p ≤ 2
2
p ≤ 3
3
p ≤ 4
4
p ≤ 5
해설
교착상태를 없애는 필요충분조건은 p ≤ 4이다.
최악의 경우는 모든 프로세스가 1개씩 점유한 채 1개를 더 기다리는 상태이다. 이때 자원이 1개라도 남아 있으면 어느 한 프로세스가 2개를 채워 끝내고 자원을 반납하므로 교착상태가 생기지 않는다.
조건식:
정리하면
- p ≤ 5: 프로세스가 5개이면 각각 1개씩 점유해 남는 자원이 없으므로 교착상태가 발생할 수 있다.
- p ≤ 3: 프로세스가 4개일 때도 안전하므로 필요조건이 되지 못한다.
- p ≤ 2: 마찬가지로 프로세스가 3개나 4개일 때도 안전하므로 필요조건이 되지 못한다.
오류나 개정된 내용이 보이면 알려주세요