信号量——基于环形队列的生产消费模型

1. 引入

基于阻塞队列的生产消费模型,把中间的交易场所、也就是特定数据结构的内存空间,看作了一个整体。

阻塞队列是被当作一个整体使用的,使用一个锁,来保证数据安全。

但是把共享资源看作多份的话,可以让多个生产者、消费者去访问。

比如,一个数组被分成三份,就可以允许三个线程不加锁地分别访问被分离的三份资源。

但是如果线程大于3个呢?此时要保证,同一时间,访问资源的,依旧只有3个线程

这里就可以引入信号量。

2. 信号量

如何理解信号量:信号量(也称为信号灯,这个翻译不好),它的本质是一把计数器 ,类似于 int cnt=n; 用于描述临界资源中资源数量的多少

打个比方:一个电影放映厅,有100个座位,就要发售100张票。

当我们看电影的时候,我们还没去看电影前,要先买票。买票的本质:就是对资源的预订机制

票数的计数器,每卖一张票,计数器就要减1,放映厅里面的资源就少---个!

当票数的计数器到0之后,资源就已经被申请完毕了。

把临界资源分成多块,让多个进程来并发访问 不同块的资源,以此提高效率。

申请到信号量,就说明将来,一定会有临界资源的一份给你这个线程。

线程竞争一个内部有很多份资源的临界资源时,首先去竞争信号量,

所以信号量本身,也是原子的。所以归还信号量,信号量++;申请信号量,信号量-。

这两个操作也要保证是原子的。很简单,加锁就可以实现

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

环形队列采用数组模拟,用模运算来模拟环状特性

相关推荐
bosins4 小时前
WSL2 启动即崩溃?调整超时参数解决 Docker 阻塞问题
linux·docker·wsl
web守墓人4 小时前
【goed/ui】自定义组件设计思想篇
linux·windows·ui·golang
kuroomi5 小时前
Ingress-Nginx与kubernetes 网络
linux·运维·网络·kubernetes
daemon.qiang5 小时前
国内虚拟机对接 Freedesktop:Fork xserver、自建 Runner 与提交 MR 实战
linux·ubuntu·centos·gitlab·开源软件
2401_869769597 小时前
linux 权限 指令与权限(重启之后)
linux
码农客栈7 小时前
Linux CAN 驱动
linux·驱动开发
GeW8 小时前
红帽RHCE从挂科边缘到一次过,我做对了什么
linux
时空自由民.8 小时前
WSL解决USB 串口连接问题与linux串口权限问题
linux·单片机
OpenPomeloxCommunity8 小时前
Linux驱动基础(三):firmware的声明与加载
linux·操作系统
云计算练习生9 小时前
什么是系统调用?为什么程序访问硬件必须经过它
linux·windows·操作系统·系统调用·操作系统原理