일어나지 않을 사건을 기다리며 진행이 멈춰버리는 현상
식사하는 철학자 문제
프로세스가 사용하고 있는 자원, 기다리고 있는 자원을 표현하는 간단한 그래프
교착 상태가 발생한 상황은 그래프가 원의 형태를 띄고 있다.
상호 배제. 점유와 대기, 비선점, 원형 대기
한 프로세스가 사용하는 자원을 다른 프로세스가 사용할 수 없을 때, 즉 상호 배제 상황
자원을 할당받은 상태에서 다른 자원을 할당받기를 기다리는 상태
자원을 이용하는 프로세스의 자원을 강제로 빼앗지 못하고, 작업이 끝나야만 다른 프로세스가 이용할 수 있는 상태