问题概述
生产者/消费者问题,也被称作有限缓冲问题。
可以描述为:两个或者更多的线程共享同一个缓冲区,其中一个或多个线程作为“生产者”会不断地向缓冲区中添加数据,另一个或者多个线程作为“消费者”从缓冲区中取走数据。生产者/消费者模型关注的是以下几点:
- 生产者和消费者必须互斥的使用缓冲区
- 缓冲区空时,消费者不能读取数据
- 缓冲区满时,生产者不能添加数据
模型优点
1.解耦。 解决速度不匹配的问题,多了一个缓冲区,把生产者和消费者之间的强耦合解开,变成了生产者和缓冲区,消费者和缓冲区之间的弱耦合。
2.支持并发。如果消费者直接从生产者手中拿数据,则消费者需要等待生产者生产数据,同样生产者需要等待消费者消费数据。但是该模型将生产者和消费者看做两个独立的并发主体。生产者把制造出来的数据添加到缓冲区,就可以生产下一个数据;消费者将从缓冲区读取数据,不需要等待生产者,从而实现并发执行。
3.支持忙闲不均。如果消费者直接从生产者这里拿数据,而生产者生产数据很慢,消费者消费数据很快,或者生产者生产数据很多,消费者消费数据很慢。都会造成占用CPU的时间片白白浪费。生产者/消费者模型中,生产者只需要将生产的数据添加到缓冲区,缓冲区满了就不生产了。消费者从缓冲区中读取数据,缓冲区空了就不消费了,使得生产者/消费者的处理能力达到一个动态的平衡。
代码演示
场景:
假定缓冲池中有N
个缓冲区,一个缓冲区只能存储一个int
类型的数据。定义互斥锁mutex
实现对缓冲区的互斥访问;计数信号量dempty
用来表示空闲缓冲区的数量,其初值为N
;计数信号量dfull
用来表示有数据的缓冲区的数量,其初值为0
代码实现:
#include<stdio.h>
#include<stdlib.h>
#include<string.h>
#include<unistd.h>
#include<fcntl.h>
#include<assert.h>
#include<semaphore.h>//线程间使用的信号量
#include<pthread.h>
#include<time.h>
#define BUFF_MAX 30//缓冲区空间个数
#define SC_NUM 2//两个生产者
#define XF_NUM 3//三个消费者
int in=0;//定义缓冲区的当前写入位置
int out=0;//读数据也是从0号位置开始读
sem_t sem_empty;//信号量初始值30
sem_t sem_full;//初始值0
pthread_mutex_t mutex;
int buff[BUFF_MAX]={0};
//完成线程的同步操作
void* sc_thread(void* arg)
{
int index=(int)arg;
for(int i=0;i<30;i++)
{
sem_wait(&sem_empty);//p(empty)
pthread_mutex_lock(&mutex);
buff[in]=rand()%100;
printf("生产者%d 数据:%d,in=%d\n",index,buff[in],in);
in=(in +1) %BUFF_MAX;
pthread_mutex_unlock(&mutex);
sem_post(&sem_full);
int n=rand()%10;
sleep(n);
}
}
void* xf_thread(void* arg)
{
int index=(int)arg;
for(int i=0;i<20;i++)
{
sem_wait(&full);//判断是否有空间
pthread_mutex_lock(&mutex);//加锁
printf("消费者%d读到数据:%d,out=%d\n",index,buff[out],out);
out=(out+1)%BUFF_MAX;//数据加一
pthread_mutex_unlock(&mutex);//解锁
sem_post(&sem_full);
int n=rand()%10;
sleep(n);
}
}
//主线程中创建线程
int main()
{
pthread_mutex_init(&mutex,NULL);
sem_init(&sem_empty,0,BUFF_MAX);
sem_init(&sem_full,0,0);
//设置随机数种子
srand((int)time(NULL));
//创建线程
pthread_t sc_id[SC_NUM];
pthread_t xf_id[XF_NUM];
//启动线程
for(int i=0;i<SC_NUM,;i++)
{
pthread_create(&sc_id[i],NULL,sc_thread,(void*)i);
}
for(int i=0;i<XF_NUM,;i++)
{
pthread_create(&xf_id[i],NULL,xf_thread,(void*)i);
}
//等待线程结束
for(int i=0;i<SC_NUM;i++)
{
pthread_join(sc_id[i],NULL);
}
for(int i=0;i<XF_NUM;i++)
{
pthread_join(xf_id[i],NULL);
}
//销毁信号量
sem_destory(&sem_empty);
sem_destory(&sem_full);
//销毁互斥锁
pthread_mutex_destory(&mutex);
exit(0);
}
死锁的解释
对于生产者消费者模型来说,如果生产者加锁操作在P(empty)操作之前,消费者加锁操作在P(full)之前,则假如此时缓冲区已满,没有空位置,那么生产者P(empty)操作会阻塞住,而消费者此时在等待加锁,但是由于生产者发生了阻塞,所以消费者的加锁操作一定会失败,这就构成了死锁。