교착상태 회피

교착 상태 회피 방법은 자원이 어떻게 요청될 지에 대한 정보를 미리 파악하여

시스템이 불 안전 상태로 진입하지 않도록 하는 것이다.

 

 

안전 상태

시스템이 프로세스들이 요청하는 모든 자원을 어떤 순서로든 교착 상태를 야기시키지 않고 차례로 모두 할당해 줄 수 있는 상황을 안전 상태라고 한다.

모든 프로세스들을 무사히 마칠 수 있는 순서를 찾을 수 없으면 불안전 하다고 한다.

 

 

단일 인스턴스 자원 유형 에서는 자원 할당 그래프 알고리즘을 사용하고

다중 인스턴스 자원 유형 에서는 은행원 알고리즘을 사용한다.

 

예를 들어 시스템이 이러한 상태일 때

최대 자원 12	최대 소요량	현재 사용량
P0	10	5
P1	4	2
P2	9	2

P1 - P0 -P2 순서로 자원을 할당 해 주는 것이 안전 순서이다.

 

안전 순서

시스템이 프로세스들이 요청하는 자원들을

교착상태를 발생시키지 않고 차례로 할당해 줄 수 있는 순서

 

 

자원 할당 그래프 알고리즘

자원 할당 그래프는 프로세스와 자원의 관계를 나타내는 그래프이다.

 

위와 같은 상태에서 P2가 R2를 요청할 때 허용해 줄 경우 사이클이 생기고 시스템이 불안전 상태로 진입한다.

 

 

은행원 알고리즘

은행원 알고리즘은 두 가지로 나뉜다.

안전성 알고리즘은 안전 순서가 있는지 탐지하는 알고리즘 이고

자원 요청 알고리즘은 추가 요청을 들어줘도 될지 판단하는 알고리즘 이다.

 

은행원 알고리즘의 한계

할당할 수 있는 자원의 개수가 일정해야 한다.

일정한 사용자 수에서만 사용 가능하다.

알고리즘은 모든 요구를 유한 시간 내에 수행해야 한다.

프로세스는 할당 받은 자료를 유한 시간 내에 반환해야 한다.

최대 자원 필요량을 등록해 두어야 한다.