상호배제 : 한 개의 프로세스만이 공유자원을 사용할 수 있어야 한다.

점유와 대기 : 공유자원과 자원을 사용하기 위해 대기하고 있는 프로세스들이 원형으로 구성되어, 자신의 할당자원 외에 앞이나 뒤에 프로세스의 자원을 요구해야 한다.

비 선점 : 하나의 자원을 점유하였으면 다른 프로세스에 할당되어 사용되고 있는 자원을 추가적으로 점유하기 위해 대기하는 프로세스가 있어야 한다.

환형대기 :다른 프로세스에 할당된 자원은 사용이 끝날 때 까지 강제로 빼앗을 수 없어야 한다.