생산자 소비자 문제.md

생산자-소비자 문제(producer-consumer problem)는 여러 개의 프로세스를 어떻게 동기화할 것인가에 관한 고전적인 문제이다. 한정 버퍼 문제(bounded-buffer problem)라고도 한다.

유한한 개수의 물건(데이터)을 임시로 보관하는 보관함(버퍼)에 여러 명의 생산자들과 소비자들이 접근한다. 생산자는 물건이 하나 만들어지면 그 공간에 저장한다. 이때 저장할 공간이 없는 문제가 발생할 수 있다. 소비자는 물건이 필요할 때 보관함에서 물건을 하나 가져온다. 이 때는 소비할 물건이 없는 문제가 발생할 수 있다.

이 문제를 해결하는 것을 생산자-소비자 협동이라 하며, 버퍼가 동기화되어 정상적으로 동작하는 상태를 뜻한다. 문제를 해결하기 위해 세마포어를 활용할 수 있다.

방법 1

변수

• Empty : 버퍼 내에 저장할 공간이 있는지를 나타낸다. (초기값은 n)
• Full : 버퍼 내에 소비할 아이템이 있는지를 나타낸다. (초기값은 0)
• Mutex : 버퍼에 대한 접근을 통제한다. (초기값은 1)

생산자 프로세스

do {
    ...
    // 아이템을 생산한다.
    ...
    wait(empty);  // 버퍼에 빈 공간이 생길 때까지 기다린다.
    wait(mutex); // 임계 구역에 진입할 수 있을 때까지 기다린다.
    ...
    // 아이템을 버퍼에 추가한다.
    ...
    signal(mutex); //임계 구역을 빠져나왔다고 알려준다.
    signal(full);  //버퍼에 아이템이 있다고 알려준다.
} while (1);

소비자 프로세스

do {
    wait(full);    // 버퍼에 아이템이 생길 때까지 기다린다.
    wait(mutex);
    ...
    // 버퍼로부터 아이템을 가져온다.
    ...
    signal(mutex);
    signal(empty); // 버퍼에 빈 공간이 생겼다고 알려준다.
    ...
    // 아이템을 소비한다.
    ...
} while (1);

방법 2 - 모니터

monitor ProducerConsumer {
    int itemCount = 0;
    condition full;
    condition empty;

    procedure add(item) {
        if (itemCount == BUFFER_SIZE) {
            wait(full); // 버퍼에 빈 공간이 생길 때까지 기다린다.
        }

        putItemIntoBuffer(item);
        itemCount = itemCount + 1;

        if (itemCount == 1) {
            notify(empty);
        }
    }

    procedure remove() {
        if (itemCount == 0) {
            wait(empty); // 버퍼에 아이템이 생길 때까지 기다린다.
        }

        item = removeItemFromBuffer();
        itemCount = itemCount - 1;

        if (itemCount == BUFFER_SIZE - 1) {
            notify(full);
        }

        return item;
    }
}

procedure producer() {
    while (true) {
        item = produceItem();
        ProducerConsumer.add(item);
    }
}

procedure consumer() {
    while (true) {
        item = ProducerConsumer.remove();
        consumeItem(item);
    }
}