경쟁조건을 피하기 위한 네 가지 조건

Conditions required to avoid race condition

1. Mutual Exclusion - No two processes may be simultaneously inside their critical regions. 

2. No assumptions may be made about speeds or the number of CPUs.

3. Progress - No process running outside its critical region may block other processes.

4. Bounded Waiting - No process should have to forever to enter its critical region.

1. 상호배제 - 두 개의 프로세스가 동시에 임계구역 내에 존재하면 안된다.

2. CPU의 개수나 속도에 대해 어떠한 가정도 하지 않는다.

3. 진행 - 임계구역 외부에서 실행하고 있는 프로세스가 다른 프로세스들을 블록시켜서는 안된다.

   (임계구역 내에 다른 프로세스가 없으면 임계구역을 점유할 수 있어야 한다.

4. 제한된 대기 - 임계구역에 진입하기 위해 무한히 기다리는 프로세스는 없어야 한다.