임계 구역: 두 판 사이의 차이

 

=== 해결 조건 ===

* [[상호 배제]](Mutual exclusion) : 하나의 프로세스가 임계 구역에 들어가 있다면 다른 프로세스는 들어갈 수 없어야 한다.

* [[진행]](Progress) : 임계 구역에 들어간 프로세스가 없는 상태에서, 들어가려고 하는 프로세스가 여러 개 있다면 어느 것이 들어갈 지를 적절히 결정해주어야 한다.