文章目录
Linux生产消费者模型
一、生产者消费者模型
1.生产者消费者模型的概念
在现实生活中，当我们缺少某些生活用品时，就会到超市去购买。当你到超市时，你的身份就是消费者，那么这些商品又是哪里来的呢，自然是供应商，那么它们就是生产者，而超市在生产者与消费者之间，就充当了一个交易场所。正是这样的方式才使得人类的交易变得高效，生产者只需要向超市供应商品，消费者只需要去超市购买商品；
生产者消费者模型就是通过一个容器来解决生产者和消费者的强耦合问题。生产者和消费者彼此之间不直接通讯，而通过阻塞队列来进行通讯，所以生产者生产完数据之后不用等待消费者处理，直接扔给阻塞队列，消费者不找生产者要数据，而是直接从阻塞队列里取，阻塞队列就相当于一个缓冲区，平衡了生产者和消费者的处理能力。这个阻塞队列就是用来给生产者和消费者解耦合的。
2.生产者消费者模型的特点
我们将其总结为321原则：3种关系、2个角色和1个场所
3种关系：
- 生产者VS生产者——两者是互斥关系
- 消费者VS消费者——两者是互斥关系
- 生产者VS消费者——两者是同步+互斥关系
2个角色：生产者和消费者
1个场所：通常指的是内存中的一个缓冲区，用于数据交互
我们编写代码来实现生产消费者模型，本质上就是要维护这3种关系；
-
为什么3种关系中两两都存在着互斥关系？
当一个生产者向缓冲区里写入数据时，自然不希望有其他的生产者进入缓冲区，所以要在缓冲区用互斥锁保护起来。同样，一个消费者读取数据也要避免其他消费者干扰，所以在一个消费者读取缓冲区数据时用互斥锁保护起来。
-
为什么生产者和消费者存在同步关系？
缓冲区也是有大小的，当生产者向缓冲区写入数据并且写满了，此时就不能写了，就需要消费者来消费，反之消费者也一样；所以让生产者在缓冲区满时休眠，等到下次消费者消耗缓冲区中的数据的时候，生产者才能被唤醒，开始往缓冲区添加数据。同样，也可以让消费者在缓冲区空时进入休眠，等到生产者往缓冲区添加数据之后，再唤醒消费者。
互斥本质上是保证数据的安全，同步本质上是保证线程之间协调工作
3.生产者消费者模型的优点
- 解耦
- 支持并发
- 支持忙闲不均
这里最难理解的是解耦，例如：我们曾经写过Add函数，在没有学习多线程之前，当我们生产数据并调用这个函数时，必须让这个函数执行完毕返回后，才可以进行后续代码的运作。本质上就是一个人在完成两件事（生产数据和消费数据）；其实这样的耦合性非常高
对应到生产者消费者模型中，是将这件事分配给两个线程去做，主线程（对应到生产者）只负责生产数据，不关心你怎么处理数据；新线程（对应到消费者）只负责处理数据，不关心生产数据；其耦合性就降低了，因为两者之间加上了一个缓冲区，将两者的耦合性由高变低的过程就称为解耦；
二、基于BlockQueue的生产者消费者模型
1.基于阻塞队列的生产者消费者模型概述
处于生产者与消费者之间的缓冲区可以有多种实现方式，比较经典的就如阻塞队列（Blocking Queue）。如下图当队列为空时，消费者将会被阻塞，直到队列中存放了数据；当队列满时，生产者就会被阻塞，直到有数据取出；
2.模拟实现基于阻塞队列的生产者消费者模型
1.单生产者与单消费者
首先我们先以单生产者和单消费者为例：这个BlockQueue我们就用C++STL中的queue即可。
//BlockQueue.hpp
#pragma once
#include <iostream>
#include <queue>
#include <pthread.h>
using namespace std;
namespace ns_blockqqueue{
const int default_cap = 5;//假设队列存放5个数据
template<class T>
class BlockQueue{
private:
queue<T> bq_; //阻塞队列
int cap_; //队列的容量上限
pthread_mutex_t mtx_; //保护临界资源的锁
pthread_cond_t is_full_; //bq_ 是满的，让消费者来消费，让消费者在该条件变量下等待
pthread_cond_t is_empty_; //bq_ 是空的，让生产者来生产，让生产者在该条件变量下等待
private:
bool IsFull(){ return bq_.size() == cap_; } //判断队列是否已满
bool Isempty(){ return bq_.size() == 0; } //判断队列是否为空
void LockQueue(){ pthread_mutex_lock(&mtx_); } //加锁操作
void UnlockQueue(){ pthread_mutex_unlock(&mtx_); } //解锁操作
void ProducterWait(){ pthread_cond_wait(&is_empty_, &mtx_);} //让生产者在队列是否为空的条件变量下等待，并释放锁
void ConsumerWait() { pthread_cond_wait(&is_full_, &mtx_);} //让消费者在队列是否为满的条件变量下等待，并释放锁
void WakeupConsumer() { pthread_cond_signal(&is_full_); } //唤醒在队列是否为满的条件变量下的消费者
void WakeupProducter(){ pthread_cond_signal(&is_empty_); } //唤醒在队列是否为空的条件变量下的生产者
public:
BlockQueue(int cap = default_cap):cap_(cap){
pthread_mutex_init(&mtx_, nullptr);
pthread_cond_init(&is_empty_, nullptr);
pthread_cond_init(&is_full_, nullptr);
}
~BlockQueue(){
pthread_mutex_destroy(&mtx_);
pthread_cond_destroy(&is_empty_);
pthread_cond_destroy(&is_full_);
}
public:
void Push(const T& in){ //生产函数
LockQueue(); //向队列中放数据前，先申请锁，进入临界资源
while(IsFull()){//判断队列是否为满
ProducterWait();//满足条件后，就需要挂起等待，并释放锁
}
bq_.push(in); //不满足则向队列中放数据
WakeupConsumer(); //唤醒在empty条件变量下等待的消费者
UnlockQueue(); //释放锁，离开临界资源
}
void Pop(T* out) { //消费函数
LockQueue(); //从队列中拿数据前，先申请锁，进入临界资源
while(Isempty()){ //判断队列是否为空
ConsumerWait(); //满足条件后，就需要挂起等待，并释放锁
}
*out = bq_.front(); //不满足则从队列拿放数据
bq_.pop(); //因为是队列，你要pop掉，确保能拿到下一个
WakeupProducter();//唤醒在full条件变量下等待的消费者
UnlockQueue(); //释放锁，离开临界资源
}
};
}
说明：
- 我们实现的是单生产与单消费的模型，因此不需要维护生产者和生产者、消费者和消费者之间的关系。
- 设置BlockQueue的存储数据上限（方便演示），不能让生产者一直生产下去，具体的实现根据业务的需求。
- BlockQueue是被生产者和消费者共同访问的，也就是临界资源，因此我们需要用互斥锁将临界资源进行保护
- 当生产者向阻塞队列中放数据时，若此时阻塞队列满了，那生产者要先通知消费者开始消费数据，然后挂起等待。当消费者从阻塞队列中拿数据时，若此时阻塞队列空了，那消费者先通知生产者开始生产数据，然后挂起等待。
- 我们需要2个条件变量
- 当阻塞队列满时，生产者需要在此条件变量下等待。
- 当阻塞队列为空时，消费者在此条件变量下等待
- 生产者和消费者都要进入临界区就要判断条件是否满足，若条件不满足就要被挂起，此时它们中的1个是拿着锁在等待的，为了避免死锁的问题，在调用pthread_cond_wait时要传入互斥锁，当被挂起时释放手中的锁资源。
- 当生产者生产完一个数据后，意味着阻塞队列当中至少有一个数据，而此时可能有消费者线程正在empty条件变量下进行等待，因此当生产者生产数据后需要唤醒在empty条件变量下等待的消费者线程，反之消费者也一样。
在主函数中我们就只需要创建一个生产者线程和一个消费者线程，让生产者线程不断生产数据，让消费者线程不断消费数据。
#include "BlockQueue.hpp"
#include <time.h>
#include <cstdlib>
#include <unistd.h>
using namespace ns_blockqqueue;
void* consumer(void* args){
BlockQueue<int>* bq = (BlockQueue<int>*)args;
while(true){
sleep(1);
//消费数据
int data = 0;
bq->Pop(&data);
cout << "消费者消费了一个数据：" << data << endl;
}
}
void* produter(void* args){
BlockQueue<int>* bq = (BlockQueue<int>*)args;
while(true){
sleep(1);
//制造数据
int data = rand() % 20 + 1;
cout << "生产者生产数据：" << data << endl;
bq->Push(data);
}
}
int main(){
srand((long long)time(nullptr));
BlockQueue<int>* bq = new BlockQueue<int>();
pthread_t c, p;
pthread_create(&c, nullptr, consumer,(void*)bq);//传入阻塞队列
pthread_create(&p, nullptr, produter,(void*)bq);//传入阻塞队列
pthread_join(c, nullptr);
pthread_join(p, nullptr);
return 0;
}
为了让生产者和消费者同时看到这个阻塞队列，我们可以在创建生产者和消费者线程时将阻塞队列传入
由于代码中生产者是每隔一秒产生一个数据，而消费者是每隔一秒消费一个数据，因此运行代码后我们可以看到生产者和消费者的执行步调一致。
我们可以让消费者消费慢一些
我们可以让生产者生产慢一些：
可以发现生产者5秒后生产一个数据，瞬间就被消费者消费了
单单让生产者生产数据，消费者消费数据，显然意义不是很大，我们可以通过生产者生产任务，消费者去执行任务；
//Task.hpp
#pragma once
#include <iostream>
#include <pthread.h>
using namespace std;
namespace ns_task{
class Task{
private:
int x_;
int y_;
char op_;//用来表示：+ 、- 、* 、/ 、%
public:
Task(){}
Task(int x, int y, char op):x_(x), y_(y), op_(op){}
int Run(){
int res = 0;
switch(op_){
case '+':
res = x_ + y_;
break;
case '-':
res = x_ - y_;
break;
case '*':
res = x_ * y_;
break;
case '/':
res = x_ / y_;
break;
case '%':
res = x_ % y_;
break;
default:
cout << "bug" << endl;
break;
}
cout << "当前任务正在被：" << pthread_self() << "处理：" \
<< x_ << op_ << y_ << "=" << res << endl;
return res;
}
int operator()(){
return Run();
}
~Task(){}
};
}
2.多生产者与消费者
我们刚刚的代码是能够满足多生产和多消费模型的，虽然我们只有一把锁，但是已经足够了，足以维护那3种关系了。我们只需要创建线程就可以了。
int main(){
srand((long long)time(nullptr));
BlockQueue<Task>* bq = new BlockQueue<Task>();
pthread_t c, p;
pthread_t c1, c2, c3, c4;
pthread_create(&c, nullptr, consumer,(void*)bq);
pthread_create(&c1, nullptr, consumer,(void*)bq);
pthread_create(&c2, nullptr, consumer,(void*)bq);
pthread_create(&c3, nullptr, consumer,(void*)bq);
pthread_create(&c4, nullptr, consumer,(void*)bq);
pthread_create(&p, nullptr, producter,(void*)bq);
pthread_join(c, nullptr);
pthread_join(c1, nullptr);
pthread_join(c2, nullptr);
pthread_join(c3, nullptr);
pthread_join(c4, nullptr);
pthread_join(p, nullptr);
return 0;
}
运行结果：
943
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
