다중 프로그래밍 환경에서 공유자원이 2개 이상인 경우, 프로세스가 결코 발생하지 않을 특정 사건을 무한정 대기하고 있는 상태 두 개의 작업이 각각 공유자원을 소지하고 있는 상태에서, 상대의 공유자원을 요청하고 내놓을때까지 양쪽 모두 기다리는 상황이라면, 무한정 대기해야 함
다중 프로그래밍 환경에서 공유 자원을 사용하는 프로세스들이 병행적으로 실행될 경우, “임계영역”이 존재할 경우 교착상태가 발생할 가능성이 있어, 예방하기 위한 운영체제 기능이 필요