다중 프로그래밍 시스템에서 둘 이상의 프로세스들이 자원을 점유한 상태에서 서로 다른 프로세스가 점유한 자원을 요구하며 무한정 대기하는 현상
교착상태가 발생의 필요충분조건은 다음과 같다.
1. 상호 배제 조건
2. 점유 및 대기 조건
3. 비선점 조건
4. 환형 대기 조건
교착상태를 해결하는 방법은 4가지로 아래와 같다.
1. 교착 상태 예방(Prevent)
2. 교착 상태 회피(Avoid)
3. 교착 상태 탐지(Detect)
4. 교착 상태 복구(Recovery)