Продюсер-потребитель с семпахорами

Проблема производителя-потребителя, взятая из Wikipedia:

semaphore mutex = 1
semaphore fillCount = 0
semaphore emptyCount = BUFFER_SIZE

procedure producer() {
    while (true) {
        item = produceItem()
        down(emptyCount)
            down(mutex)
                putItemIntoBuffer(item)
            up(mutex)
        up(fillCount)
    }
    up(fillCount) //the consumer may not finish before the producer.
}

procedure consumer() {
    while (true) {
        down(fillCount)
            down(mutex)
                item = removeItemFromBuffer()
            up(mutex)
        up(emptyCount)
        consumeItem(item)
    }
}

Мой вопрос: почему у продюсера есть up(fillCount) //the consumer may not finish before the producer после цикла while. Когда программа будет работать и зачем она нужна?