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即可实现
文章来源:https://www.toymoban.com/news/detail-572275.html
pop ——消费
不断进行P操作,将数据从空间上拿走,空间都闲置出来了
就需要生产者进行生产(V操作),在空间上放置数据文章来源地址https://www.toymoban.com/news/detail-572275.html
代码实现
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;
}
到了这里,关于【Linux】多线程 之 POSIX信号量的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!