교착상태의 정의

시스템 내에서 자원을 사용하기 위해 경쟁하거나 상호간에 통신하는 프로세스들의 집합들이 영구적으로 블로킹(blocking)된 상태

자원의 종류 및 성격

무한 연기의 정의 및 해결방법

• 여러 다른 프로세스들이 시스템에서 스케줄링되어 처리되는 동안 한 특정 프로세스 스케줄링이 무제한으로 연기되는 현상
• 프로세스가 자원을 기다리는 시간에 비례해 우선순위를 부여하고, 오래 대기한 프로세스를 먼저 자원을 할당받게 하는 노화(aging) 기법이 있다.

교착상태의 발생조건 (4가지)

1. 상호배제(mutual exclution) 조건 → 다른 프로세스는 점유한 자원을 사용하지 못함
2. 점유와 대기(hold and wait) 조건 → 이미 자원을 점유한 상태에서 다른 자원을 추가로 요구, 대기
3. 비선점(non-preemption) 조건 → 다른 프로세스가 강제로 자원을 선점할 수 있음
4. 환형 대기(circular wait) 조건 : 치명적인 포옹(deadly embrace) 관계 → 프로세스의 자원이 원형을 이룸

교착 상태 연구 분야

1. 예방 (Prevention) : 발생 가능성을 사전에 예방함
   • 상호배제 조건의 부정 : 공유할 수 없는 자원을 사용할 때만 성립
2. 회피 (Avoidance) : 발생 가능성을 인정하고 적절히 피해감
   • 사용자가 자원이 어떻게 요청될 지에 대한 추가 정보를 제공하도록 요청한다.
3. 발견 (Detection) : 교착 상태 발생 원인 판단 / 소거
   • 프로세스가 일정기간 내에 안정적으로 종료될 수 있다는 확신이 있는 경우 자원할당. 그 외는 만족할 때까지 거절
4. 회복 (Recovery) : 교착상태에 걸린 해당 자원 / 프로세스를 제거함