적어도 하나의 자원을 보유하고 현재 다른 프로세스에 완성된 자원을 얻기 위해 기다리는 프로세스가 있어야 한다.

선점(Preemption)이어야 한다.

환상형 대기(Circular Wait)이어야 한다.

적어도 하나 이상의 자원이 공유되어야 한다.