1

使用我的想法，它只需要一个信号量（互斥锁除外）

    n = 10
    mutex = 1

 producer:   //This is producer
    P(mutex)
    V（n）
    V（mutex）   

 cosumer:    //This is consumer
    P(mutex)
    P(n)
    V(mutex)

下面使用传统的两个信号量来实现它。

    n = 10
    empty = 0
    mutex = 1

 producer:   //This is producer
    P(empty)
    P(mutex)
    produce();
    V(mutex)
    V(n)

 consumer:    //This is consumer
    P(n)
    p(mutex)
    consume()
    V(mutex)
    V(empty)
4

1 回答 1

2

在生产者-消费者模式中，生产者将项目放入有限大小的缓冲区中，消费者从该缓冲区中删除项目。

理解该模式的关键是要理解生产者也是消费者——它消耗空的缓冲槽。

信号量的目的是控制对计数资源的关键访问。由于缓冲区中的项目是计数资源，而空缓冲区插槽也是计数资源，因此需要两个信号量。

出现冗余，因为两个信号量计数不是独立的。它们的总和保持不变，并且等于缓冲区大小。而且，这两个线程队列不是独立的。在任何时候，只有一个信号量会持有任何挂起的线程，因为永远不会有生产者和消费者同时等待。但是，冗余不够完整，无法消除其中一个信号量。

如果我理解您，您建议的构造将失败，因为当缓冲区已满时生产者不会停止。此外，如果消费者在一个空缓冲区上等待，它会阻止生产者到达其“V(n)”操作。

冗余确实表明生产者-消费者对可能实现更有效的同步，并且实际上已经提出了许多其他方法。特别参见“监控”技术。

于 2013-10-13T04:36:45.140 回答