生产者/消费者过程的结构如何运作？

Question

我目前正在研究生产者/消费者流程如何运作。这里我们给出了以下共享数据结构，mutex，empty和full。我们有生产者，消费者，等待和信号的代码。

下面这些代码是我的假设。我试着解释生产者和消费者过程背后的逻辑。我不明白为什么我们需要信号量互斥量？难道一次只有1个进程可以从缓冲区中消耗掉吗？