1. 교착상태의 정의
위의 그림은 P1은 R2가 할당되어 있고, P2에는 R1이 할당되어 있다.
이 때 P1이 R1의 자원을 요구하는데, 이미 P2가 사용하고 있어 대기한다.
또한 P2가 R2의 자원을 요구하는데, 이미 P1에 할당되어 있기때문에 자원을 가져오지 못하게 된다.
2. 교착상태 발생 조건
- 상호배제
- 비 선점 조건
- 점유와 대기 조건
- 환형 대기 조건
3. 교착상태 해결 방법
3.1 예방책
- 상호배제의 조건 부정
- 비 선점 조건의 부정
- 점유와 대기 조건의 부정
- 환형대기 조건 부정
3.2 회피
- 은행원 알고리즘
3.3 회복
- 우선순위가 낮은 프로세스를 죽임
[희생자 선택의 문제가 발생하며, 기아 상태가 발생할 수 있다.]