두 개 이상의 프로세스들이 공유 데이터에 접근하여 동시에 수행할 수 있어야 한다.

임계 구역 바깥에 있는 프로세스가 다른 프로세스의 임계구역 진입을 막아서는 안 된다.

어떤 프로세스도 임계 구역으로 들어가는 것이 무한정 연기되어서는 안 된다.

임계 구역은 특정 프로세스가 독점할 수 없다.