政府网站做外链百度关键词挖掘工具爱站网

前言

 这是之前基于阻塞队列的生产消费模型中Enqueue的代码

    void Enqueue(const T &in) // 生产者用的接口{pthread_mutex_lock(&_mutex);while(IsFull())//判断队列是否已经满了{pthread_cond_wait(&_product_cond, &_mutex); //满的时候就在此情况下等待// 1. pthread_cond_wait调用是: a. 让调用进程等待 b. 自动释放曾经持有的_mutex锁}// 进行生产_bq.push(in);// 通知消费者来消费pthread_cond_signal(&_consumer_cond);pthread_mutex_unlock(&_mutex);}

缺点：

当一个线程往阻塞队列中插入时，必须要满足一个条件"临界资源还没满"，否则就需要放到条件变量的等待队列中去。

而判断临界资源是否为满需要先申请锁(检测临界资源的本质也是在访问临界资源)，然后再进入临界区访问临界资源，才能判断临界资源是否为满。

那么只要我们对临界资源整体加锁，就默认会对这个临界资源整体使用(吗？)。实际上可能是：一份临界资源被划分为多个不同的区域，而且运行多个线程同时访问不同的区域。

 在访问临界资源之前，我们无法知道临界资源的情况。

多个线程不能同时访问临界资源的不同区域。

1.信号量

1.1信号量的概念 

我们之前在学进程间通信时，简单介绍过信号量。 

信号量：信号量的本质其实是一计数器，这一计数器的作用是用来描述临界资源中资源数量的多少

申请信号量的本质其实就是：对临界资源中特定的小块资源的预定机制。(资源不一定被我持有，才是我的，只要我预定了，在未来的某个时间，就是我的)

 信号量也是一种互斥量，只要申请到信号量的线程，在未来一定能够拥有一份临界资源。

假如要让多个线程同时去访问一块划分为n个区域的临界资源：

创建一个信号量，值为n

每来一个访问临界资源的线程都要先去申请信号量(信号量的值，n--)，申请后才能访问

当n被减到0时说明临界资源中各个区域都有线程在访问资源，其它想要访问临界资源的线程就得阻塞等待，等这n个区域中的某个线程访问完将这个区域空出来才行(信号量的值，n++)

信号量解决了上面提到的问题：

线程不用访问临界资源就能知道资源的使用情况 (信号量申请成功就一定有资源可以使用，申请失败则说明条件不满足，只能阻塞等待)

注意：所有线程都得能看到信号量，信号量是一个公共资源，涉及到线程安全问题

信号量的基本操作就是对信号量进行++或--，而这两个操作时原子的

P操作：信号量--，就是在申请资源(此操作必须时原子的)

V操作：信号量++，返回资源(此操作也需是原子的)

1.2信号量的接口

信号量的使用需要引头文件：semaphore.h；还需要链接原生线程库-pthread 

sem_t sem;//创建信号量

初始化信号量

man sem_init

 参数：

sem:信号量指针

pshared:0表示线程间共享，非0表示进程间共享。(一般情况下为0)

value:信号量初始值，也就是计数器的值

返回值：类型int，成功返回0，失败返回-1，并将 errno 设置为指示错误

申请信号量，P操作，计数器--

man sem_wait

参数

sem:信号量指针

返回值：成功返回0，失败返回-1，设置errno

发布信号量，V操作，计数器++

man sem_post

参数

sem:信号量指针

返回值：成功返回0，失败返回-1，设置errno

信号量销毁

man sem_destroy

参数

sem:信号量指针

返回值：成功返回0，失败返回-1，设置errno

 2.基于环形队列的生产者消费者模型

POSIX信号量和SystemV信号量作用相同，都是用于同步操作，达到无冲突的访问共享资源的目的，但是POSIX可用于线程间同步

2.1分析

环形队列

 这里的环形队列用数组来模拟，取模来模拟其环状特性

当环形队列为空时，头尾都指向同一个位置；当环形队列为满时，头尾也指向同一个位置。这样不好判断为空或为满，可以通过加计数器或者标记位来判断满或空，也可以预留一个空位，作为满状态

但是我们现在有信号量这个计数器，就很简单的进行多线程间的同步过程

单生产和单消费两线程在访问环形队列时，生产者负责向环形队列中生产数据，消费者负责从环形队列中消费数据。

那么生产者和消费者什么时候会访问同一个位置呢？当环形队列为空/为满的时候

那么如果环形队列一定不为空&&一定不为满时，生产者、消费者的下标指向不是同一个位置

生产和消费的动作可以真正并发吗？是的 

环形队列的生产者消费者模型还需要两个必要条件：

1.生产者不能把消费者超过一个圈以上(当环形队列满了后，生产者继续生产，那么生产者生产的数据会覆盖消费者还未消费的，消费者就无法消费被覆盖的数据了)

2.消费者不能超过生产者(生产者还没生产，消费者无法消费。当消费者超过生产者时，消费者访问的区域无数据)

对于生产者而言，它最关心的是空间

空间资源可以定义一个信号量，用来统计空闲空间的个数

对于消费者而言，它最关心的是数据

数据资源也可以用一个信号量来统计数据个数

所以生产者每次访问临界资源之前，需要先申请空间资源的信号量，申请到才可以进行生产，不然就得老实的阻塞等待

消费者也一样，访问临界资源之前，要先申请数据资源的信号量，申请成功才能够去消费数据，不然还是阻塞等待

空间资源信号量的申请(P)由生产者进行，归还(V)由消费者进行

数据资源信号量的申请(P)由消费者进行，归还(V)由生产者进行

伪代码

生产者

P(room);//申请空间资源

//信号量申请成功，继续向下运行；失败则阻塞

ringbuffer[p_index] = x;

p_index++;

p_index%=10;

V(data);

消费者

P(data);//申请数据资源

//信号量申请成功——数据资源一定存在

out = ringbuffer[c_index];

c_index++;

c_index%=10;\

V(room);

2.2代码

ringqueue.hpp

#include <iostream>
#include <string>
#include <vector>
#include <semaphore.h>
#include <pthread.h>template<typename T>
class RingQueue
{
private:void P(sem_t &sem)//申请信号量P操作{sem_wait(&sem);}void V(sem_t &sem)//发布信号量V操作{sem_post(&sem);}void Lock(pthread_mutex_t &mutex)//加锁{pthread_mutex_lock(&mutex);}void UnLock(pthread_mutex_t &mutex)//解锁{pthread_mutex_unlock(&mutex);}
public:RingQueue(int cap):_rq(cap),_cap(cap),_productor_step(0),_consumer_step(0){sem_init(&_room_sem,0,_cap);sem_init(&_data_sem,0,0);pthread_mutex_init(&_productor_mutex,nullptr);pthread_mutex_init(&_consumer_mutex,nullptr);}void Enqueue(const T&in){P(_room_sem);Lock(_productor_mutex);//开始生产_rq[_productor_step] = in;_productor_step %= _cap;//环形队列UnLock(_productor_mutex);V(_data_sem);}void Pop(T *out){P(_data_sem);Lock(_consumer_mutex);//消费*out = _rq[_consumer_step];_consumer_step++;_consumer_step%=_cap;UnLock(_consumer_mutex);V(_room_sem);}~RingQueue(){sem_destroy(&_room_sem);sem_destroy(&_data_sem);pthread_mutex_destroy(&_productor_mutex);pthread_mutex_destroy(&_consumer_mutex);}
private:std::vector<T> _rq;int _cap;int _productor_step;//生产者步数int _consumer_step;//消费者步数//定义信号量sem_t _room_sem;//空间信号量，生产者关心sem_t _data_sem;//数据信号量，消费者关心//锁pthread_mutex_t _productor_mutex;pthread_mutex_t _consumer_mutex;
};

thread.hpp

#include<iostream>
#include<signal.h>
#include<unistd.h>
#include<functional>
#include<pthread.h>namespace Thread_Module
{template <typename T>using func_t = std::function<void(T&)>;// typedef std::function<void(const T&)> func_t;template <typename T>class Thread{public:void Excute(){_func(_data);}public:Thread(func_t<T> func,T &data,const std::string &threadname = "none"):_threadname(threadname),_func(func),_data(data){}static void* threadrun(void *args)//线程函数{Thread<T> *self = static_cast <Thread<T>*>(args);self->Excute();return nullptr;}bool Start()//线程启动！{int n = pthread_create(&_tid,nullptr,threadrun,this);if(!n)//返回0说明创建成功{_stop = false;//说明线程正常运行return true;}else{return false;}}void Stop(){_stop = true;}void Detach()//线程分离{if(!_stop){pthread_detach(_tid);}}void Join()//线程等待{if(!_stop){pthread_join(_tid,nullptr);}}std::string threadname()//返回线程名字{return _threadname;}~Thread(){}private:pthread_t _tid;//线程tidstd::string  _threadname;//线程名T &_data;//数据func_t<T> _func;//线程函数bool _stop; //判断线程是否停止 为true(1)停止，为false(0)正常运行};
}

main.cc

#include "ringqueue.hpp"
#include "Thread.hpp"
#include<string>
#include<vector>
#include<unistd.h>
#include<functional>
#include<pthread.h>using namespace Thread_Module;void* consumer(RingQueue<int> &rq)
{while(true){int data;rq.Pop(&data);std::cout<<"消费一个数据:"<<data<<std::endl;sleep(1);}  
}void* productor(RingQueue<int> &rq)
{   int a = 1;while(true){rq.Enqueue(a);std::cout<<"生产一个数据 :"<<a<<std::endl;a++;}
}void Comm(std::vector<Thread<RingQueue<int>>> *threads,int num,RingQueue<int> &rq,func_t<RingQueue<int>> func)
{for(int i=0;i<num;i++){std::string name = "thread-"+std::to_string(i+1);threads->emplace_back(func,rq,name);}
}void ProductorStart(std::vector<Thread<RingQueue<int>>> *threads,int num,RingQueue<int> &rq)
{Comm(threads,num,rq,productor);
}void ConsumerStart(std::vector<Thread<RingQueue<int>>> *threads,int num,RingQueue<int> &rq)
{Comm(threads,num,rq,consumer);
}void StartAll(std::vector<Thread<RingQueue<int>>> &threads)
{for(auto &thread:threads){std::cout<<"Start:"<<thread.threadname()<<std::endl;thread.Start();}
}void WaitAllThread(std::vector<Thread<RingQueue<int>>> &threads)
{for(auto &thread:threads){thread.Join();}
}int main()
{RingQueue<int> *rq = new RingQueue<int>(10);std::vector<Thread<RingQueue<int>>> threads;ProductorStart(&threads,1,*rq);ConsumerStart(&threads,2,*rq);StartAll(threads);WaitAllThread(threads);return 0;
}