Producer, Consumer

소개

생산자와 소비자 문제 : N이라는 버퍼가 있고 생산자는 그것을 확인하고 이것이 풀이면 잠이 들고 소비자에게 wakeup을 호출한다, 소비자는 반대로 N 버퍼를 확인하고 0이면 잠이 들고 생산자에게 wakeup을 호출한다. 문제는 자고 있지 않은데 wakeup을 호출하면 wakeup 시그널은 분실된다. 그러면 두 프로세서는 영원히 잠이 들게 된다.

세마포어는 1965년에 Dijkstra가 제안한 것으로 생산자-소비자 문제를 해결하기 위하여 wakeup 수를 카운트하기 위한 정수형 변수이다.

이 방법은 3개의 세마포어를 이용한다. full 은 차 있는 슬롯수, empty 는 비어있는 슬롯 수를 계산하기 위한 것이며 mutex 는 생산자와 소비자가 동시에 공통 버퍼에 접근하는 것을 막기 위하여 사용하는 세마포어 변수이다.

초기에 full 은 0이고 empty 는 버퍼의 술롯 수와 같으며 mutex 값은 1이다. 초기 값이 1이고 두 개 이상의 프로세스가 그들 중 한 프로세스만 임계구역에 들어갈 수 있는 세마포어를 이진 세마포어라 한다. 만약 각 프로세스가 그들 중 한 프로세스만 임계구역에 들어갈 수 있는 세마포어를 이진 세마포어라 한다. 만약 각 프로세스가 그의 임계구역에 들어가기 전에 down을 수행하고 임계구역을 벗어나는 동시에 up을 수행한다면 상호배제는 보장된다.

컴파일 실행환경

baci

참고자료

· 없음