生产者消费者问题的信号量解法

最新推荐文章于 2025-05-29 16:11:54 发布

hustu200715998

最新推荐文章于 2025-05-29 16:11:54 发布

阅读量1.5k

点赞数

CC 4.0 BY-SA版权

分类专栏：操作系统

本文链接：https://blog.youkuaiyun.com/hustu200715998/article/details/8682983

0 篇文章

订阅专栏

本文介绍了经典的生产者消费者问题，并详细探讨了使用信号量解决这一问题的方法。通过具体实例展示了如何利用信号量来同步生产者与消费者之间的数据交互。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

生产者消费者问题，也称为有限缓冲问题，是一个多进程（线程）间同步问题的经典案例，即生产者生成数据放到缓冲区，消费者从缓冲区消费数据的过程中如何同步的问题。由于缓冲区有限，问题的关键在于，缓冲区满时生产者不能放，而缓冲区空时消费者不能取，更多描述请猛击生产者消费者问题。

关于该问题，有很多种解法，比较好的解法有信号量（互斥量）、先进先出的消息队列、管程（编程语言级别的概念）等，这里简单介绍下信号量法，互斥量即为二值信号量。

典型的信号量解法中有两个信号量Semaphore，一个表示缓冲区已有数据数量的fillCount，一个表示空的数量的emptyCount，在最开始的阶段，显然有

const int BUFFER_COUNT=500;
Semaphore fillCount=0;
Semaphore emptyCount=BUFFER_COUNT;

那么通常的程序里，会有生产者或者消费者两个进程（线程），其关键代码如下

void produce()
{
while(true)
{
item=ProduceItem();
down(emptyCount);//如果empty=0，堵塞当前进程（线程），直到有位置可以放数据
PutIntoBuffer(item);
up(fillCount);
}
}

void consumer()
{
whie(true)
{
down(fillCount);//这里先down（fillCount的道理与上面相同）
item=consumer();
up(emptyCount);
}
}

信号量的核心即是这两段很短的代码，需要说明的是，信号量的down和up都是原子操作，如果不需要信号量的计数能力，则引申出二值信号量——互斥量的概念，一般的，个人理解，信号量适用于一批资源的生产者消费者问题，而互斥量适用于单个资源的生产者消费者问题。。。