자원들은 이용 가능한 자원 풀(pool)로 부터 프로세서에 의해 요구되고 할당된다.

두 개 이상의 프로세스들이 동시에 임계영역에 있어서는 안 된다.

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

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