Linux多线程——生产者消费者模型

两片空白

已于 2022-06-17 15:20:05 修改

阅读量3.5k

点赞数 4

分类专栏： Linux 文章标签： linux 生产者消费者模型 POSIX信号量

于 2021-09-24 22:03:46 首次发布

本文链接：https://blog.csdn.net/weixin_57023347/article/details/120450442

版权

Linux 专栏收录该内容

31 篇文章 13 订阅

订阅专栏

1.4.5 基于环形队列实现生产者消费者模型

一.生产者消费者模型

1.1 什么是生成者消费者模型

一个进程中的线程有两种角色，一种是生产者，一种是消费者。生产者为消费者提供任务，消费者拿到任务，解决任务。在生成者和消费者之间还有一个"交易场所"，是一个内存块。生成者线程将任务放到内存块中，消费者线程在内存块中拿任务。当内存块数据达到一高水位线时，生产者会进行等待，唤醒消费者拿任务，当内存块数据达到一低水位线时，消费者会等待，并且唤醒生产者生产任务。

生成者，消费者存在着3种关系。生产者和生产者之间是互斥的关系，消费者和消费者之间是互斥的关系，生产者和消费者之间是互斥和同步的关系。

1.2 生产者消费者模型的优点

例如一个正常的函数，不使用生产者消费者模型：

上面是单线程的情况，即使是多线程，不使用生产者消费者模型，生产者直接给消费者送数据，整个进程的效率会是最慢的线程的效率。并且只能生产一个数据，消费一个数据。两者还是串行的，耦合度高。

使用生产者消费者模型：

生产者和消费者模型的优点：

实现线程的解耦
支持线程之间并行运行
效率高
方便代码维护

1.3 基于阻塞队列实现生产者消费者模型

在多线程编程中，阻塞队列是一种常用于实现生产者和消费者模型的数据结构。其普通队列区别在于，当队列为空时，从队列获取元素的操作将会被阻塞，直到队列中被放入元素，当队列满的时候，往队列中存放元素的操作也会被阻塞，直到有元素从队列中取出。

生产者和生产者之间互斥，消费者和消费者之间互斥

在生产和消费的时候需要定义两个互斥量，一个是生产者之间的，一个是消费者之间的。

生产者和消费者之间互斥且同步

定义一个互斥量，取数据的时候，不能放，放数据的时候，不能取

有两个条件，满和空，定义两个条件变量

实现的是多生产者，多消费者的模型。

注意：编码时，要先环境再等待，不然能就唤醒不了了。

#pragma once 

#include<iostream>
#include<queue>
#include<pthread.h>
//队列元素个刷
#define NUM 5
//任务
struct Task{
  Task(){};
  Task(int x,int y)
    :_x(x)
    ,_y(y)
  {}
  int _x;
  int _y;
  int Add(){
    return _x + _y;
  }
};
//提供两个接口，放任务，和拿任务
class blockqueue{
private:
  //加锁
  void MakeLock(){
    pthread_mutex_lock(&_lock);
  }
  //取消锁
  void CancelLock(){
    pthread_mutex_unlock(&_lock);
  }
  //唤醒消费者
  void WakeUpConsumer(){
    std::cout<<"Consumer wake up"<<std::endl;
    pthread_cond_signal(&_empty);

  }
  //唤醒生产者
  void WakeUpProductor(){
    std::cout<<"Productor wake up"<<std::endl;
    pthread_cond_signal(&_full);

  }
  //生产者等待
  void SleepProductor(){
    std::cout<<"Productor sleep"<<std::endl;
    pthread_cond_wait(&_full, &_lock);

  }
  //消费者等待
  void SleepConsumer(){
    std::cout<<"Consumer sleep"<<std::endl;
    pthread_cond_wait(&_empty, &_lock);

  }

public:
  blockqueue(size_t cap = NUM)
    :_cap(cap)
  {
    pthread_mutex_init(&_lock, nullptr);
    pthread_cond_init(&_full, nullptr);
    pthread_cond_init(&_empty, nullptr);
  }
  ~blockqueue(){
    pthread_cond_destroy(&_empty);
    pthread_cond_destroy(&_full);
    pthread_mutex_destroy(&_lock);

  }
  //放数据
  void Put(Task in){
    //q队列是临界资源，需要加锁
    MakeLock();
    //需要使用循环
    while(_q.size()>=_cap){
    //先唤醒再等待
      WakeUpConsumer();
      SleepProductor();
    }
    _q.push(in);
    CancelLock();

  }
  //获取数据
  void Get(Task& out){
    MakeLock();
    while(_q.empty()){
      WakeUpProductor();
      SleepConsumer();
    }
    out=_q.front();
    _q.pop();
    CancelLock();

  }

private:
  std::queue<Task> _q;
  size_t _cap;
  pthread_mutex_t _lock;
  pthread_cond_t _empty;//消费者在此等待
  pthread_cond_t _full;//生产者在此等待

};


#include"BlockQueue.hpp"
#include<unistd.h>

#define PRO 2
#define CON 2
using namespace std;
//定义两个互斥量，生产者和消费者之间要互相竞争锁
//决定哪个线程进来
pthread_mutex_t mutex1;
pthread_mutex_t mutex2;

void *Productor(void *arg){
  sleep(1);
  blockqueue *q = (blockqueue *)arg;
  while(true){
    sleep(1);
    int x=rand()%9+1;
    int y=rand()%20+1;
    Task t(x,y);
	//阻塞队列是共享资源，需要上锁
    pthread_mutex_lock(&mutex2);
    q->Put(t);
    cout<<pthread_self()<<":"<<x<<"+"<<y<<"="<<"?"<<endl;
    pthread_mutex_unlock(&mutex2);
  }
}
void *Consumer(void *arg){
  blockqueue *q = (blockqueue *)arg;
  while(true){
    sleep(1);
    Task t;
	//阻塞队列是共享资源，需要上锁
    pthread_mutex_lock(&mutex1);
    q->Get(t);
    cout<<pthread_self()<<":"<<t._x<<"+"<<t._y<<"="<<t.Add()<<endl;
    pthread_mutex_unlock(&mutex1);
  }

}

int main(){
  pthread_mutex_init(&mutex2,nullptr);
  pthread_mutex_init(&mutex1,nullptr);
  blockqueue *bq = new blockqueue();
  //生产者线程
  pthread_t td1[PRO];
  int i=0;
  for(; i<PRO; i++){
    pthread_create(td1+i, nullptr, Productor, (void *)bq);
  }
  //消费者线程
  pthread_t td2[CON];
  for(i=0; i<CON; i++){
    pthread_create(td2+i, nullptr, Consumer, (void *)bq);
  } 
  
  for(i=0; i<PRO; i++){
    pthread_join(td1[i], nullptr);
  }
  for(i=0; i<CON; i++){
    pthread_join(td2[i], nullptr);
  }
  pthread_mutex_destroy(&mutex2);
  pthread_mutex_destroy(&mutex1);
  delete bq;
  return 0;
}

演示：

1.4 POSIX信号量

1.4.1 信号量概念

有一种情况，我们可以将临界资源分成若干份，一个线程只会使用临界资源中的一份。

这个时候就有了信号量，信号量本质是一个计数器，描述的是临界资源的有效个数。

1.4.2 P操作和V操作

假如：临界资源可以分成5个部分，记为count=5。count就被称作信号量。

count--，一个执行流占有一个部分的操作叫做P操作。

count++，一个执行流结束使用临界资源的一部风叫做V操作。

当信号量count==0时，如果进行P操作，没有信号量可以分配了，此时会阻塞等待。

由于信号量每一个线程看到的是同一份资源，信号量也是临界资源，要保证P，V操作是原子的。

二元信号量相当于互斥锁：二元信号量只有1个信号量，只要一个线程占有，信号量的值就等于0，其它线程就需要等待。

1.4.3 理解信号量

OS中会有很多的信号量，OS系统需要对它们进行管理，管理需要进行描述：

信号量可以描述为：

struct sem{

......

int count；//临界资源有效个数

mutex lock；//只允许一个线程对临界资源进行操作，需要上锁

wait_queue *head；//等待队列

......

}

1.4.4 信号量的函数

初始化

#include <semaphore.h>

int sem_init(sem_t *sem, int pshared, unsigned int value);
作用：初始化信号量
参数：
    sem，要初始化的信号量
    pshared：0表示线程间共享，非0表示进程间共享
    value：信号量初始值，信号量个数

销毁信号量

#include <semaphore.h>

int sem_destroy(sem_t *sem);
作用：销毁定义的信号量
参数：
    sem：要销毁的信号量

等待信号量，P操作

 #include <semaphore.h>

int sem_wait(sem_t *sem);
作用：等待信号量，将信号量的值减1，如果信号量为0，阻塞等待
参数：
    sem：要等待的信号量

发布信号，V操作

#include <semaphore.h>
int sem_post(sem_t *sem);

作用：表示资源使用完毕，将信号量做加1操作
参数：
    sem：要发布的信号量

1.4.5 基于环形队列实现生产者消费者模型

环形队列采用数组模拟，用模运算来模拟环形特征
当队列满了或者队列为空时，都是消费者的下标和生产者的下标相同。不好判断为空和满的情况。
- 有两种方法：
- 1.少用一个元素空间，这个时候为空时，下标相等，为满时，生产者下标加1在取模等于消费者下标。
- 2.增加一个计数器，来记录元素个数。
我们这里正好有信号量这个计数器，队列里的每一个位置代表一个信号量。正好信号量就是这个计数器。

定义两个信号量，一个信号量表示空格字space_sem，一个信号量表示数据_data_sem。

生产者：放元素，关注的说空格子这个信号量。

伪代码：

P(space_sem)

生产数据

V(data_sem)

消费者：拿元素，关注的是数据这个信号量。

伪代码：

P(data_sem)

生产数据

V(space_sem)

执行到同一位置时，为空或者满，此时要不就是space_sem为临界资源总有效个数，data_sem为0，要不就是data_sem为临界资源总有效个数，space_sem为0。这个时候，放数据和拿数据总会有一个在等待(P操作)。

当生产者快，消费者慢时，一开始生产者将数据放满，在消费者消费一个，在生产者生产一个。队列经常是满的。

当生产者，消费者快时，一开始没数据，需要生产者生产，在消费一个，现象时生产一个消费一个，队列经常是空的。

多消费者多生产者：

#pragma once 
#include<iostream>
#include<vector>
#include<semaphore.h>
#include<pthread.h>
#define NUM 5

class RingQueue{
  private:
    void P(sem_t& s){
      //信号量减减操作，如果为0等待
      sem_wait(&s);
    }
    void V(sem_t& s){
      //信号量加加操作
      sem_post(&s);
    }
  public:
    RingQueue(size_t cap = NUM)
      :_v(cap)
      ,_cap(cap)
      ,_cindex(0)
      ,_pindex(0)
      {
        sem_init(&_space_sem, 0, cap);
        sem_init(&_data_sem, 0, 0);
      }

    void Put(const int& in){
      //生产者关注格子数
      P(_space_sem);
      _v[_pindex]=in;
      _pindex++;
      _pindex %= _cap;
      V(_data_sem);

    }
    void Get(int& out){
      //消费者关注数据
      P(_data_sem);
      out = _v[_cindex];
      _cindex++;
      _cindex %= _cap;
      V(_space_sem);

    }

    ~RingQueue(){
      sem_destroy(&_space_sem);
      sem_destroy(&_data_sem);
      _cindex = 0;
      _pindex = 0;
    }

  private:
    std::vector<int> _v;//队列
    size_t _cap;//队列容量
    sem_t _space_sem;//格子信号量
    sem_t _data_sem;//数据信号量
    
    int _cindex;//消费者位置
    int _pindex;//生产者位置

};
#include"RingQueue.hpp"
#include<unistd.h>

using namespace std;

#define CON 4
#define PRO 4

pthread_mutex_t mutex1;
pthread_mutex_t mutex2;
void *consumer(void *arg){
  RingQueue *rq=(RingQueue *)arg;
  while(1){
    sleep(1);
    int x=0;
    pthread_mutex_lock(&mutex1);
    rq->Get(x);
    pthread_mutex_unlock(&mutex1);
    cout<<pthread_self()<<":"<<"consumer get a data :"<<x<<endl;

  }
}

void *productor(void *arg){
  RingQueue *rq=(RingQueue *)arg;
  while(1){
    //sleep(1);
    int x=rand()%10+1;
    pthread_mutex_lock(&mutex2);
    rq->Put(x);
    pthread_mutex_unlock(&mutex2);
    cout<<pthread_self()<<":"<<"productor put a data :"<<x<<endl;

  }
}
int main(){
  RingQueue *rq = new RingQueue();
  pthread_t td1[CON];
  pthread_t td2[PRO];
  int i=0;
  for(; i<CON; i++){
    pthread_create(td1+i, nullptr, consumer, (void *)rq);
  }
  for(i=0; i<PRO; i++){
    pthread_create(td2+i, nullptr, productor, (void *)rq);
  }
  

  for(i=0; i<CON; i++){
    pthread_join(td1[i], nullptr);
  }
  for(i=0; i<PRO; i++){
    pthread_join(td2[i], nullptr);
  }
  delete rq;

  return 0;
}

两片空白

关注

4
点赞
踩
55

收藏

觉得还不错? 一键收藏
2
评论
Linux多线程——生产者消费者模型

一.生产者消费者模型 1.1 什么是生成者消费者模型一个进程中的线程有两种角色，一种是生产者，一种是消费者。生产者为消费者提供任务，消费者拿到任务，解决任务。在生成者和消费者之间还有一个"交易场所"，是一个内存块。生成者线程将任务放到内存块中，消费者线程在内存块中拿任务。当内存块数据达到一高水位线时，生产者会进行等待，唤醒消费者拿任务，当内存块数据达到一低水位线时，消费者会等待，并且唤醒生产者生产任务。生成者，消费者存在着3种关系。生产者和生产者之间......
复制链接

扫一扫