1. 概念

信号量又称为 信号灯
本质就是一个计数器，用于描述临界资源数目的

sem: 0 -> 1 -> 0
若临界资源只有1个，则sem设为1，当要使用临界资源时，sem由1变为0，其他人在想申请，则申请不到挂起排队，等待释放临界资源时 sem由0变为1 ，才可以再申请临界资源
这种信号量称为 二元信号量 ，等同于互斥锁

每一个线程，在访问对应的资源时，先申请信号量，
申请成功，表示该线程允许使用该资源
申请不成功，表示目前无法使用该资源

2. 信号量的工作机制

信号量机制类似于看电影买票，一种资源的预订机制
申请信号量成功，相当于预定了一部分资源

判断条件是否满足，决定了后续行为
信号量已经是资源的计数器，申请信号量成功，本身就表明资源可用
申请信号量失败，本身表明资源不可用
本质就是把判断转换成信号量的申请行为

3. 认识接口

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

---

sem_init ——初始化信号量

输入 man sem_init

sem ：表示信号量
pshared ： 0表示线程间共享 非零表示进程间共享
value ： 信号量初始值 (计数器值初始化为多少)

sem_destroy——销毁信号量

输入 man sem_destroy

对已经初始化的信号量进行销毁

sem_wait ——申请信号量

输入 man sem_wait

进行申请信号量的操作，使信号量的值减1

sem_post ——释放信号量

输入 man sem_post

进行释放信号量的操作，使信号量的值加1

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

原理解析

环形队列实际上使用数组模拟的

数组多开一个空间是为了解决判满的问题

---

若为空，则 thread和tail 在同一个位置

---

若为满，则tail的下一个位置为head

---

生产者向tail中push数据 即生产
消费者向head中pop数据 即消费

---

生产者 和消费者 关心的资源 是一样的吗？
不一样， 生产者关心整个环形队列的空间(商店是否装满货物)
消费者关心的是 数据，(商店是否还有货物，有货物就买)

---

head 和tail什么时候访问 同一个区域？
有一个很大的桌子，存在像钟表的0-12点刻度的区域，在每个刻度中放入一个盘子
有两个人A和B同时进入房间看到桌子，A往盘子中放苹果，B在后面拿苹果
A和B约定：B不能超过A，一个盘子只能放一个苹果

当A和B开始，桌子上没有苹果时 ，或者 桌子上全都是苹果时，都会访问同一个盘子
即环形队列 为空 ，或者环形队列为满 会访问 同一个区域

当队列为空，指向同一个位置，存在竞争关系，
让生产者先运行 (只有当生产者产生数据后，消费者才能拿到数据)

当队列为满时，指向同一个位置，存在竞争关系，
让消费者先运行 (只有当消费者拿数据后，生产者才能生产)

---

生产者关心空间，空间本身也是资源，所以要给生产者定义一个信号量sem_room ，其初始值为N
P(sem_room) —— 申请空间信号量

生产者生产数据在当前空间，则对应的数据+1，所以消费者可以拿数据
V（sem_data) ——数据信号量的值+1

消费者关心数据，信号量为sem_data，其初始值为0
P(sem_data) —— 申请数据信号量

消费者把数据拿走，当前空间就被闲置出来了，所以生产者可以放数据
V(sem_room) ——空间信号量的值+1

代码

代码解析

首先在ringqueue.hpp中创建一个ringqueue类

---

在main函数中使用new创建出rq队列
为了保证生产者和消费者看到同一份资源，所以两者回调函数的参数args都为rq

---

productorRoutine的回调函数中 使用 队列rq的push，将数据插入到队列中 即生产
consumerRoutine的回调函数中 使用 队列rq的pop，把队列中的数据取出 即消费

---

ringqueue类

ringqueue类中

在上述讲解原理时，数据信号量只有消费者关心，空间信号量只有生产者关心

构造

将环形队列ring大小和_cap(容量)初始化为N

0表示线程间共享,将数据信号量 初始化为0，将空间信号量初始化为整个环形队列的容量
(对于两者的初始化值大小，在原理处都有详细解释)

析构

由于在构造时，对信号量进行初始化，所以需要销毁信号量

push ——生产

要生产之前要保证符合条件，才能够进行生产，所以要进行P操作——申请信号量

在使用信号量时，是不需要判断的
因为信号量是一把计数器，本质为把对资源就绪的情况，由在临界区内转到临界区外
它本身就是描述临界资源数量的，所以就不用进入临界区后判断临界资源是否满足条件

---

生产者和消费者可能访问同一个位置，大概率访问不同的位置
所以生产者和消费者要有自己的下标 用于 表示两者的位置

---

不断进行P操作，在空间上插入数据
没有空间就需要消费者进行消费(V操作)，将数据拿走下·

当tail达到多开一个空间位置，实际上相当于再次回到head开头的位置
所以使用%=，模拟环形队列

---

将 sem_wait 和sem_post借助 函数 P和V完成封装
再次使用时，只需调用P V即可实现

pop ——消费

不断进行P操作，将数据从空间上拿走，空间都闲置出来了
就需要生产者进行生产(V操作),在空间上放置数据

代码实现

Ringqueue.hpp

#include<iostream>
#include<vector>
#include<semaphore.h>//信号量头文件
static const int N=5;//设置环形队列的大小

template<class T>
class ringqueue
{
private:
  void P(sem_t &s)
  {
     sem_wait(&s); 
  }
  void V(sem_t&s)
  {
     sem_post(&s);
  }
public:
    ringqueue(int num=N)
    : _ring(num),_cap(num)
    {
        //信号量初始化
        sem_init(&_data_sem,0,0);
        sem_init(&_space_sem,0,num);
        _c_step=_p_step=0;//生产和消费下标都为0
    }
    ~ringqueue()
    {
        //销毁信号量
     sem_destroy(&_data_sem);
     sem_destroy(&_space_sem);
    }

    void push(const T&in)//生产
    {
      P(_space_sem);//P操作 申请信号量
      _ring[_p_step++]=in;//将数据放入生产位置
      _p_step%=_cap;
      V(_data_sem);//V操作 释放信号量
    }
    void pop(T*out)//消费 
    {
       P(_data_sem);//P操作
       *out=_ring[_c_step++];//将该位置的数据给与out
       _c_step%=_cap;
       V(_space_sem);//V操作
    }
private:
   int _c_step;//消费者位置下标
   int _p_step;//生产者位置下标
   std::vector<int> _ring;//充当环形队列
   int  _cap;//环形队列的容器大小
   sem_t _data_sem;//数据信号量
   sem_t _space_sem;//空间信号量 
};

makefile

ringqueue:main.cc
	g++ -o $@ $^ -std=c++11 -lpthread
.PHONY:clean
clean:
	rm -f ringqueue 

main.cc

#include"Ringqueue.hpp"
#include<pthread.h>
#include<unistd.h>
using namespace std;
void*consumerRoutine(void*args)
{
  ringqueue<int>*rq=(ringqueue<int>*)args;
  while(true)
  {
  int data=0;
  rq->pop(&data);//从队列取出数据 消费
  cout<<"consumer done:"<<data<<endl;
  sleep(1);
  }
}
void*productorRoutine(void*args) 
{
 ringqueue<int>*rq=(ringqueue<int>*)args;
 while(true)
 {
   int data=1;
   rq->push(data);//将数据插入队列中 生产
   cout<<"productor done:"<<data<<endl;
 }
}

int main()
{
   ringqueue<int>*rq=new ringqueue<int>();
   pthread_t c;//消费者
   pthread_t p;//生产者
   //创建线程
   pthread_create(&c,nullptr,consumerRoutine,rq);
     pthread_create(&p,nullptr,productorRoutine,rq);

     pthread_join(c,nullptr);
     pthread_join(p,nullptr);
    return 0;
}