교착상태 발생의 필요충분조건은 상호 배제, 점유 및 대기, 환형 대기, 비선점 조건이다.

교착상태란 두 개 이상의 프로세스들이 자원을 점유한 상태에서 서로 다른 프로세스가 점유하고 있는 자원을 동시에 사용할 수 있는 현상을 의미한다.

교착상태의 회피(avoidance)는 교착상태에 빠질 가능성을 인정하고 적절히 이를 피해 가는 방법이다.

교착상태의 회복(recovery)은 교착상태에 빠져 있는 프로세스를 중지시켜 시스템이 정상적으로 동작할 수 있도록 하는 방법이다.