교착 상태를 막으려면 앞의 4가지 필요 충분 조건 중에서 한 가지를 제거하면 된다.

• 상호배제 부정: 여러 프로세스가 동시에 하나의 공유 자원을 사용할 수 있게 한다.

• 점유와 대기 부정: 프로세스가 실행되기 전에 필요한 모든 자원을 할당함으로써 프로세스 대기를 없앤다. 또는 프로세스가 자원을 점유하지 않은 상태에서만 자원을 요구하게 한다.

• 비선점 부정: 자원을 점유한 프로세스가 다른 자원을 요구할 때 점유한 자원을 반납하게 한다.

• 환형 대기 부정: 자원을 선형 순서로 정렬해 고유 번호를 할당한다. 그리고 각 프로세스에서 요구할 수 있는 번호의 방향을 정해서 한쪽 방향으로만 자원을 요구하게 한다.