교착상태 방지

교착상태의 발생조건 네 가지 중 어느 한 가지를 발생하지 않도록 통제하면 교착상태를 방지할 수 있다.

1. 상호배제조건 방지
상호배제조건은 서로 공유될 수 없는 자원에 대해서는 반드시 따르는 조건이다. 공유할 수 있는 자원에 대해서도 특수한 경우에만 상호배제조건을 배제할 수 있다.(예:읽기 전용 자원 등)

2. 대기조건 방지
대기조건이 발생하지 않도록 하려면, 프로세스가 자원을 요청할 때 그 프로세스는 어떤 자원도 할당되어 있지 않은 상태라야 한다. 대기조건 방지전략을 적용하면 자원이용률이 낮아지고, 기아상태(starvation)가 발생할 수 있다는 단점이 있음.
방안1> 프로세스 수행 사전에 필요 예상 자원을 모두 할당받는 전략
방안2> 필요한 자원만 할당받되, 자원을 요청할 때에는 이전에 갖고 있던 자원을 반드시 해제하도록 하는 전략

3. 비중단조건 방지
비중단조건 방지방법은 CPU나 레지스터,기억장치 등에 적용하기 좋으나, 프린터, 테이프드라이브 등에 적용 불가

4. 환형 대기조건 방지
모든 자원의 유형에 대해서 일련번호를 지정하고, 교착상태 방지를 위해 프로세스는 항상 자원을 일련번호 순서(예:오름차순)으로 요청하도록 함.


관련개념
교착상태 회피, 교착상태 탐지, 교착상태 복구