임계구역

• n 개의 프로세스가 공유 데이터를 동시에 사용하기를 원하는 경우 그곳에 접근 하는 코드

프로그램적 해결법의 충족 조건

Mutual Exclusion (상호 배제)

• 프로세스가 임계구역 부분을 수행 중이면 다른 모든 프로세스들은 그들의 임계구역에 들어가면 안된다.

Progress (진행)

• 아무도 임계구역에 있지 않은 상태에서 임계구역에 들어가고자 하는 프로세스가 있다면, 임계구역에 들어가게 해줘야한다.

Bounded Waiting (유한 대기)

• 프로세스가 임계구역에 들어가려고 요청한 후 부터 그 요청이 허용될 때까지 다른 프로세스들이 임계구역에 들어가는 횟수에 한계가 있어야 한다.

⇒ 모든 프로세스의 수행 속도는 0보다 크며, 상대적 수행속도는 가정 X

문제 해결 알고리즘

1.

do{
	while (turn != 0); /* 내 프로세스의 차례 */
	/* [임계구역] */
	turn = 1; /* 다른 프로세스의 차례 */
	/* [나머지 구역] */
} while(1);

turn이라는 변수를 가지고 자기 차례에만 임계구역에 들어가게된다.

⇒ Mutual Exclusion(상호배제)를 만족한다.

하지만, 프로세스 간의 임계구역에 들어가야하는 횟수가 다르다면 문제가 생기게 된다.

• 프로세스 1은 임계구역에 한 번만 들어가도 되고, 프로세스 2는 임계구역에 여러 번 들어가야 되는 상황이다.