生产一次、消费一次:empty/full/mutex 如何变化

生产者

produce item;
P(empty);
P(mutex);
put item into buffer;
V(mutex);
V(full);

缓冲区与信号量

empty3
full0
mutex1

消费者

P(full);
P(mutex);
remove item from buffer;
V(mutex);
V(empty);
consume item;