두 개 이상의 프로세스나 스레드가 서로 필요한 자원을 얻지 못해 다음 처리를 하지 못하는 상태 무한히 다음 자원을 기다리는 상태
4가지 모두 성립해야 데드락이 발생한다. 하나라도 성립하지 않으면 데드락 문제를 해결할 수 있다.