生产者消费者模型(为什么使用两个信号量?)

生产者消费者模型中需要2个信号量,1个互斥量。大致过程如下:

P操作:

            申请资源,S=S-1。如果S>0,则继续。否则线程阻塞,放入等待队列。

V操作:

            释放资源,S=S+1。如果S>0,则继续。否则唤醒等待队列中的第一个线程。

Semaphore empty(N), full(0);

Mutex mutex;

producer

{

            empty.require();           //P操作,试图获取可用的空buffer

            mutex.require();

            //          … insert data to buffer;

            mutex.release();

            full.release();   //V操作,通知有新的存有数据的buffer可用

}

consumer

{

            full.require();   // P操作,试图获取可用的存有数据的buffer

            mutex.require();

            //          …get date from buffer

            mutex.release();

            empty.release();           // V操作,通知有新的空buffer可用。

}

 

为什么要用两个信号量,使用一个是否可以?

            不可以。因为producer & consumer模型中认为buffer是有限的。只用一个信号量,无法做到当资源耗尽时,让producer或者consumer线程都能挂起。对于producer资源耗尽指没有空buffer可用,对于consumer资源耗尽指没有存有数据的buffer可用。

比如producer生产一个数据则信号量增加,consumer消耗一个数据则信号量递减,似乎可以?其实不对,试想producer线程永远不会挂起(即便consumer从不消耗资源),显然不满足buffer有限的条件。

    原文作者:hongjunbj
    原文地址: https://blog.csdn.net/hongjunbj/article/details/8270448
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞