algorithm - 同步：生产者/消费者未锁定计数

Question

以下代码取自维基百科：

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);
    }
}

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

我感到困惑的是为什么消费者和生产者中的 down/up(fillCount) 不在互斥锁之外。这是否意味着它们会同时被多个线程修改？