: 두 개 이상의 프로세스 또는 스레드들이 동시에 하나의 자원에 접근해 결과값에 영향을 줄 수 있는 상태
상호 배제
(Mutual Exclusion)- 어떤 프로세스가 임계 영역에서 수행 중이면 다른 프로세스들은 접근 불가능
진행
(Progress)- 임계영역 내에 있는 프로세스 외에는 다른 프로세스의 임계영역 접근을 막아선 안됨
한정 대기
(Bounded Waiting)- 기아 상태(Starvation)을 방지하기 위해 임계 영역에 들어가려고 요청한 후부터 다른 프로세스들이 임계 영역에 들어가는
횟수에 한계
가 있어야 함
- 기아 상태(Starvation)을 방지하기 위해 임계 영역에 들어가려고 요청한 후부터 다른 프로세스들이 임계 영역에 들어가는