1. 운영체제

1. 교착상태의 정의

위의 그림은 P1은 R2가 할당되어 있고, P2에는 R1이 할당되어 있다.

이 때 P1이 R1의 자원을 요구하는데, 이미 P2가 사용하고 있어 대기한다.

또한 P2가 R2의 자원을 요구하는데, 이미 P1에 할당되어 있기때문에 자원을 가져오지 못하게 된다.

2. 교착상태 발생 조건

- 상호배제

- 비 선점 조건

- 점유와 대기 조건

- 환형 대기 조건

3. 교착상태 해결 방법

3.1 예방책

- 상호배제의 조건 부정

- 비 선점 조건의 부정

- 점유와 대기 조건의 부정

- 환형대기 조건 부정

3.2 회피

- 은행원 알고리즘

3.3 회복

- 우선순위가 낮은 프로세스를 죽임

[희생자 선택의 문제가 발생하며, 기아 상태가 발생할 수 있다.]

4. 은행원 알고리즘