상호배제: 최소한 하나의 자원이 공유 방식으로 점유되어야 한다.

점유 및 대기: 최소한 하나의 자원을 점유하고 있는 프로세스가 있어야 하며, 이 프로세스가 다른 프로세스에 의하여 점유된 자원을 추가로 얻기 위해 대기하고 있어야 한다.

비선점: 자원들을 선점하지 못한다.

순환대기: 대기하고 있는 프로세스의 집합 {P0, P1, …Pn}에서 P0은 P1이 점유한 자원을 대기하고, P1은 P2를 대기하며 Pn은 P0가 점유한 자원을 요청하기 위해 대기한다.