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

내용 삭제됨 내용 추가됨
잔글 →‎임계 구역 문제: 임계 구역 문제로 이동.
18번째 줄:
{{본문|임계 구역 문제}}
'''임계 구역 문제'''란 임계 구역으로 지정되어야 할 코드 영역이 임계 구역으로 지정되지 않았을 때 발생할 수 있는 문제를 말한다.
=== 해결 조건 ===
임계 구역 문제를 해결하기 위해서는 다음 3가지 조건을 충족해야 한다.
* [[상호 배제]](Mutual exclusion) : 하나의 프로세스가 임계 구역에 들어가 있다면 다른 프로세스는 들어갈 수 없어야 한다.
* [[진행]](Progress) : 임계 구역에 들어간 프로세스가 없는 상태에서, 들어가려고 하는 프로세스가 여러 개 있다면 어느 것이 들어갈 지를 적절히 결정해주어야 한다.
* [[한정 대기]](Bounded waiting) : 다른 프로세스의 기아(Starvation)를 방지하기 위해, 한 번 임계 구역에 들어간 프로세스는 다음 번 임계 구역에 들어갈 때 제한을 두어야 한다.
 
=== 관련 문제 ===