生产者消费者问题(英语:Producer-consumer problem),也称有限缓冲问题(英语:Bounded-buffer problem),是一个多线程同步问题的经典案例。该问题描述了共享固定大小缓冲区的两个线程——即所谓的“生产者”和“消费者”——在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据放到缓冲区中,然后重复此过程。与此同时,消费者也在缓冲区消耗这些数据。
该问题需要注意的几点:
- 在缓冲区为空时,消费者不能再进行消费
- 在缓冲区为满时,生产者不能再进行生产
- 在一个线程进行生产或消费时,其余线程不能再进行生产或消费等操作,即保持线程间的同步
- 注意条件变量与互斥锁的顺序
实现生产者消费者模式的C++代码如下:
# include<iostream>
using namespace std;
# include<thread>
# include<vector>
# include<mutex>
# include<condition_variable>
# include<queue>
#include <windows.h>
//生产者数量
# define PRODUCT_SIZE 20
//消费者数量
# define CUSTOMER_SIZE 1
//最大产品数量
#define MAX_SIZE 10
//互斥锁
mutex mut;
//条件变量
condition_variable con;
//队列,模拟缓冲区
queue<int> que;
void Producter()
{
while (true)
{
Sleep(10);
std::unique_lock <std::mutex> lck(mut);
while(que.size()> MAX_SIZE)
{
con.wait(lck);
}
int data = rand();
que.push(data);
cout << this_thread::get_id() << "生产了产品:" << data<<endl;
con.notify_all();
}
}
void Customer()
{
while (true)
{
std::unique_lock <std::mutex> lck(mut);
while (que.empty())
{
con.wait(lck);
}
cout << this_thread::get_id() << "消费了产品:" << que.front() << endl;
que.pop();
con.notify_all();
}
}
int main()
{
vector<thread> threadPoll;
//创建生产者和消费者
for (int i = 0; i < PRODUCT_SIZE; ++i)
{
threadPoll.push_back(thread(Producter));
}
for (int i = 0; i < PRODUCT_SIZE+ CUSTOMER_SIZE; ++i)
{
threadPoll.push_back(thread(Customer));
}
for (int i = 0; i < PRODUCT_SIZE + CUSTOMER_SIZE; ++i)
{
//调用join函数,进程被阻塞,等待被创建线程的结束,并回收它的资源。
threadPoll[i].join();
}
return 0;
}