운영체제 공부 ( 교착 상태 )

교착 상태

- 자원을 점유한 상태에서 다른 프로세스가 점유하고 있는 자원을 요구하며 무한정 기다리는 현상

 

교착상태 발생의 필요 충분 조건

상호 배제 ( Mutual Exclusion ) : 한번에 한 프로세스만 자원 사용

점유와 대기 ( Hold & Wait ) : 다른 자원이 할당되기를 기다리는 동안 이미 확보한 자원을 계속 보유

비선점 ( Non-preemptive ) ; 강제로 빼앗을 수 없다.

환형 대기 ( Circular Wait ) : 서로간의 요구 관계가 회전

 

교착 상태 해결 방법

※예방 기법 ( Prevention )

- 교착 상태가 발생되지 않도록 사전에 시스템을 제어하는 방법

- 교착 상태 발생의 4ㄷ가지 조건 중에서 어느 하나를 제거함으로써 수행

-일반적으로 자원의 낭비가 심하다

-종류 : 상호 배제 부정

         점유 및 대기 부정 

         비선점 부정

         환형 대기 부정

※회피 기법 ( Avoidance )

- 교착 상태가 발생하면 적절히 피해나가는 방법

- 주로 은행원 Banker 알고리즘에 사용

※ 발견 기법 ( Detection )

- 시스템에 교착 상태가 발생했는지 점검하여 교착 상태가 있는 프로세스와 자원을 발견

- 자원할당그래프를 이용

※회복 기법

- 교착 상태의 프로세스에 할당된 자원을 선점하여 프로세스나 자원을 회복