学习系统编程No.34【线程同步之信号量】

news2024/11/15 17:16:22

引言:

北京时间:2023/7/29/16:34,一切尽在不言中,前几天追了几部电视剧,看了几部电影,刷了n个视屏,在前天我们才终于从这快乐的日子里恢复过来,然后看了两节课,也就是上篇博客有关生产消费模型相关的知识,从中我发现代码能力极具下降,对于很多C++语法感到非常陌生,哈哈哈!所以学习起来非常的痛苦,不过在我不断的回顾和摸索中,感觉自己得到了升华,对许多语法的掌握好像又上了一层楼,具体和以前比较掌握的怎样我也不清楚,谁叫我们生而为人呢?很多东西学的快忘的也快,现在又不是复习的时候,那么就只能在前进的道路上顺便复习一下,哎!不过好在现在有AI,想要搞懂某个问题需要的成本还是非常低的,也是因为有AI的存在,我对我学过的知识可以说是搞懂的较为彻底,我愿奉之为21世纪最伟大的发明,当然我说的是国外的ChatGPT,反之国内真的惨不忍睹。谈到这里,我真的要吐糟一下通义千问,xxxx,用这东西说实话还不如百度,当然文心一言由于没用过,具体不好说,但是估计也差不多。好了废话不多,为了能够早点更文,正式进入该篇博客的主题,有关信号量相关的知识,当然本质还是多线程相关知识。

在这里插入图片描述

回顾生产消费模型

在学习新知识之前,我们先将上篇博客中有关生产消费模型的知识给回顾一下,因为上篇博客由于时间原因,生产消费模型讲解的并不够详细,谁让生产消费模型目前对于我们来说非常重要呢?当然对于以后的我们来说,该知识也是非常重要的,所以这块知识值的我们继续花费时间。

在上篇博客中,我们重点把为什么有生产消费模型和生产消费模型的三种关系,以及生产消费模型的优点给介绍了,并且重点介绍了三种关系之间的关联(互斥、同步),因为这块知识涉及我们在使用代码自己实现该模型时的思路,并且最终依据对应的知识将生产消费模型的代码自我实现了一份。所以此时我们知道,对于生产消费模型来说,首先它要有一个缓冲区,也就是一个容器,可以便于线程读取或者写入数据,其次是要有两种不同的线程,一种执行生产过程,一种执行消费过程,最后要让这两种不同的线程,也就是生产者和消费者满足它们之间的三种关系(生产者和生产者互斥、消费者和消费者互斥、生产者和消费者互斥且同步)。注意: 具体为什么生产者和消费者需要是同步且互斥的关系之前我们讲过,从反例来看,如果允许生产者和消费者同时进行,也即是多线程之间一个线程读取一个线程写入,那么此时就会导致当某个读取线程没有对应的数据可读时,它就必须阻塞在哪里等待写入线程写入,也就是违背了生产消费模型的初衷,没有很好的实现不同线程之间的解耦。所以在生产消费模型中,我们就一定需要让生产者和消费者保持同步状态,也就是当缓冲区中有数据时,才允许通知读取线程来读数据,没数据时,在写入线程写入的同时,让读取线程可以去申请别的共享资源,而不是阻塞。在此原理之上,互斥关系随之产生。

从代码分析生产消费模型

对上述知识又有了一定理解之后,此时我们就从代码来分析一下上述我们说的一个缓冲区,两种线程,三种关系。当然我们此时是以最简单的生产消费模型下手,在缓冲区中我们并没有对不同区域进行同步,而是对整体进行同步,并且我们明白,对于生产消费模型来说它不局限任何类型的数据,所以对于存储数据的地方来说,我们使用的是模板类型。

1.首先是一个缓冲区
同理上篇博客中所说,此时我们的生产消费模型是基于BlockQueue队列作为缓冲区实现的,具体代码如下图所示:
在这里插入图片描述
2.其次是两种不同的线程
搞定了上述生产消费模型中缓冲区相关的知识,其余知识就较为容易,本质就是在利用该缓冲区进行数据的写入和读取而已,所以此时我们就来看看生产者和消费者具体是如何对BlockQueue进行数据的读取和写入吧!具体代码如下所示:
在这里插入图片描述
当然由于我们在BlockQueue(缓冲区)中使用了互斥锁进行同步机制保护,所以我们的程序并不在意访问共享资源(缓冲区)的线程数量,并且明白,因为上述consumer接口和productor接口除了BlockQueue提供的接口之外都是局部变量,所以默认是可重入函数,所以如果多个线程同时对其进行访问,此时也不会引发线程安全问题,单线程访问到多线程访问以及代码执行结果代码如下所示:
在这里插入图片描述
最后一个知识点,当然在上述代码中,肯定还会存在其它七七八八的问题没有讲解,但是身为优质博主,责无旁贷,只选那种非常不好理解的知识点进行重点讲解,如:此时对于多生产多消费过程,在循环创建线程时,这些线程具体是如何运行的,这个知识点我没有记错的话应该在之前讲解pthread_create接口的使用方式上,我们有进行过一定的理解,现在我们再来好好理解一下:重点在于明白单核和多核的区别,我们都知道多线程之间是允许并行访问的,但是这个并行对于单核来说并不是真实的并行,因为每个线程的执行需要经过调度器的调度,调度器再根据线程的优先级去优先调度优先级高的线程,我们也把这个过程称为时间片轮转调度,所以对于单核执行过程来说,线程之间不是并行执行,而是并发执行,当然并发执行指的也就是多个线程在同一时间段内交替执行,通过快速的切换来模拟同时执行的效果。 也就是说,如果你是在单核条件下,那么上述循环创建线程的执行过程就是依次将所有(20)线程创建完成(操作系统完成),只有当全部线程被创建完成之后,调度器才会根据每个线程的优先级不同进行时间片轮转调度,让它们执行相应的代码,也就是我们上述的consumer/productor接口。明白了单核的线程循环创建过程之后,此时多核同理多个单核,也就是线程之间的执行是地地道道的并行执行,不再是并发执行,所以此时在循环创建线程时,就有可能出现多个线程同时被创建,此时就不需要等待其它线程创建完成(因为多核并行完成),此时就可以根据优先级被调度器直接调度执行了。

3.最后是两种不同线程之间的三种关系
明白了上述两种不同线程和单线程多线程的知识,此时我们对生产消费模型中大部分的硬核知识以及误区都给重点强调了一遍,来到这里我们可以说是无所不能,并且由于生产者和生产者、消费者和消费者、生产者和消费者之间的三种关系我们已经在一个缓冲区中相关代码的实现中体现的淋漓尽致了,所以这块知识没什么好讲的,本质就是通过三种关系通过自己对缓冲区设计,构建出一个在生产消费模型逻辑范围内的属于自己的生产消费模型,具体玩的多花由你自己决定。

深入信号量相关知识

搞定了上篇博客有关生产消费模型的知识,此时我们正式进入该篇博客的重点,有关线程同步的最后一个知识点信号量,在深入学习信号量之前,我们要意识到在很久以前学习有关进程间通信相关知识时,无论是在学习匿名管道、命名管道,还是共享内存,本质我们都是在让两个进程看到“同一份资源”,而当我们谈到这同一份资源时我们很容易就能联想到目前学习有关线程的知识。所以同理,当时我们在学习进程间通信了解信号量的本质就是为了让信号量去保护进程间看到的那一份共享资源,只是当时我们没有线程的概念、没有同步与互斥的概念,只知道想让两个进程看到同一份资源的前提是让它们先看到同一份信号量资源,同理当时我们举过的购买电影票的实例(对共享资源进行预定)。而现在当我们有了线程、线程安全的概念,有了并行访问、竞态条件的概念,此时我们就知道共享资源是需要受到保护的,否则就会引发线程安全问题,此时我们对信号量的理解就是一个保护共享资源的同步机制。你想要访问某共享资源,前提是你获取到了相应的信号量,只有获取到了信号量,才允许你进行下一步的操作,否则阻塞。

为什么学习信号量?
明白了上述有关知识之后,也就明白了之前学习的信号量是什么和为什么,以及现在学习到信号量是什么,所以我们就有了很强的前后关联性,从而让我们可以更好的深入相关知识。所以此时我们就来谈谈为什么还要深入信号量?首先我们知道信号量是一个用于描述临界资源中资源数量的计数器,它可以通过PV操作来实现对临界资源中可用资源数量的控制。同理上述所说,当我们想要访问某临界资源时,只有获取到了信号量资源,才允许我们进行下一步操作,通过这一特征我们不难发现,信号量的使用和我们使用互斥锁是一样的,只有当某个线程抢到了互斥锁之后,该线程才有访问临界资源的能力,那么我们为什么还需要学习信号量呢?直接使用互斥锁来实现这一原理不就行了吗?原因和我们之前在谈有关生产消费模型时同理,因为对于一份共享资源我不一定需要设置互斥机制,我可以让所有线程同时访问该共享资源来极大的增加吞吐量和提高线程并发效率(同理超市不是只允许一个人逛),所以此时我可以将共享资源通过加锁和条件变量,反正就是用同步机制的方式分为一个一个不同的区域,当所有线程在访问该共享资源时,每一个区域中的数据因为被同步机制保护,同时只允许一个线程访问,所以在这样的控制方式下,我们的程序不仅不会出现线程安全问题,而且可以大幅度的提高该临界资源的吞吐量和线程的并发执行效率。所以为了实现这一目的,此时就需要有一个计数器来记录当前共享资源中可用资源的数量,也就是我们上述所说的信号量,所以像互斥锁原理那样的信号量被我们称为二元信号量(1->P->0->V->1),反之称为多元信号量(n->P->n-1->P/V->n-2/n)

注意: 因为信号量也是共享资源,同理需要通过原子性实现。并且明白,当一个信号量被申请成功,那么就表示共享资源中一定有某块临界资源已经预定给我使用了(买票原理),所以信号量的预定机制本质就是把判断某临界资源是否可用转换为申请信号量是否成功。 所以在以后的多线程环境编码中,我们就可以直接使用信号量的方法来代替对临界资源是否可用的判断条件,具体有待通过具体场景和代码分析。

信号量相关接口认识

在以前学习信号量的过程中,我们也对信号量相关接口进行了一定的了解,但是注意,当时我们了解的是SystemV标准,而今天我们学习的是POSIX标准,无论是SystemV标准还是POSIX标准,它们本质都只是操作系统中用于进程间通信和同步的两个标准接口,这两个版本具体有什么区别,可参考该篇博客:SystemV和POSIX简介和对比 反正本质就是通信界大佬们在早些年定下的两个标准。

1.SystemV标准信号量
其中在以前学习SystemV标准时,了解的接口有semget()、semctl()、semop(),按照先后顺序它们的作用分别是创建信号量、删除信号量和对信号量加减。具体如何使用可回顾之前学习信号量时的博客:之前的信号量博客

2.POSIX标准信号量
明白了上述知识之后,我们来看看POSIX标准下的信号量接口,此时可分为初始化信号量、销毁信号量和等待信号量,具体使用形式如下所示:

  • 初始化信号量:int sem_init(sem_t* sem,int pshared,unsigned int value); 第一个参数同理互斥锁和条件变量表示信号量参数的地址,第二个参数是一个区分进程间通信和线程间通信的参数(0表示线程,非0表示进程),第三个参数表示信号量的初始值,也就是该共享资源中可用资源的数量。
  • 等待信号量:int sem_wait(sem_t* sem); 该接口起到P操作,也就是对信号量进行减减操作,同理,要等待信号量的地址。
  • 发布信号量:int sem_post(sem_t* sem);同理,该接口起到V的操作,也就是对信号量进行加加的操作,参数同理信号量的地址。
  • 销毁信号量:int sem_destroy(sem_t* sem); 同理,要销毁信号量的地址。

基于环形队列的CP问题

搞定了上述有关信号量的知识,此时我们就需要进入实操阶段,也就是在具体的场景中使用信号量接口来完成对一份共享资源中资源数量的控制,本质也就是使用代码来维护我们自己的线程规则。当然因为时间原因,所以这部分知识我们留到下篇博客再见把!

总结:有关信号量相关的知识,本质就是想让我们见识更加高级的CP(生产消费模型)知识,从而彻底的将多线程相关知识给搞定,See you!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/823275.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【雕爷学编程】MicroPython动手做(27)——物联网之掌控板小程序

知识点:什么是掌控板? 掌控板是一块普及STEAM创客教育、人工智能教育、机器人编程教育的开源智能硬件。它集成ESP-32高性能双核芯片,支持WiFi和蓝牙双模通信,可作为物联网节点,实现物联网应用。同时掌控板上集成了OLED…

C++设计模式之过滤器设计模式

C过滤器设计模式 什么是过滤器设计模式 过滤器设计模式是一种行为型设计模式,它允许你在特定的条件下对输入或输出进行过滤,以便实现不同的功能。 该模式有什么优缺点 优点 可扩展性:过滤器设计模式允许您轻松地添加、删除或替换过滤器&a…

【PHP代码审计】ctfshow web入门 php特性 93-104

ctfshow web入门 php特性 93-104 web 93web 94web 95web 96web 97web 98web 99web 100web 101web 102web 103web 104 web 93 这段PHP代码是一个简单的源码审计例子,让我们逐步分析它: include("flag.php");: 这行代码将flag.php文件包含进来。…

【图论】强连通分量

一.定义 强连通分量(Strongly Connected Components,简称SCC)是图论中的一个概念,用于描述有向图中的一组顶点,其中任意两个顶点之间都存在一条有向路径。换句话说,对于图中的任意两个顶点u和v,…

windows编译ncnn

官方代码https://github.com/Tencent/ncnn/wiki/how-to-build#build-for-windows-x64-using-visual-studio-community-2017 编译工具 visual studio 2017 一、编译protobuf 1、下载protobuf protobuf-3.11.2:https://github.com/google/protobuf/archive/v3.11…

部署monggodb副本集详细文档

部署monggodb副本集 MongoDB有多种高可用性架构可以选择,以下是其中几种常见的高可用性架构: 副本集(Replica Set):副本集是MongoDB中最基本的高可用性架构。它由多个节点组成,其中有一个主节点&#xff0…

指针初阶(超详解)

指针初阶 1.指针是什么2.指针和指针类型2.1 指针-整数2.2 指针的解引用 3.野指针3.1 野指针成因3.2如何避免野指针 4.指针运算4.1 指针-整数4.2 指针-指针4.3 指针的关系运算 5.指针和数组6.二级指针7.指针数组 1.指针是什么 指针是什么? 指针理解的2个要点&#xf…

express学习笔记5 - 自定义路由异常处理中间件

修改router/index.js,添加异常处理中间件 *** 自定义路由异常处理中间件* 注意两点:* 第一,方法的参数不能减少* 第二,方法的必须放在路由最后*/ router.use((err, req, res, next) > {console.log(err);const msg (err &…

如何制作VR全景地图,VR全景地图可以用在哪些领域?

引言: 随着科技的迅速进步,虚拟现实(VR)技术正逐渐渗透到各个领域。VR全景地图作为其中的重要应用之一,为人们提供了身临其境的全新体验。 一.什么是VR全景地图? VR全景地图是一种利用虚拟现实技术&…

RTC晶振两端要不要挂电容

发现GD32的RTC晶振两端需要挂电容,STM32的RTC晶振两端不需要挂电容。 STM32的RTC晶振两端,不需要挂电容,这样晶振启振很容易,挂大了,却难启动,且温度越低,启动越难。 有人说负载电容为6pF的晶振…

(一)初识streamlit——安装以及初步应用

1 前言 最近我开发了一款基于Streamlit的舌体分割演示应用,并将其发布在Streamlit Cloud上。现在,任何人都可以通过访问应用的链接,轻松体验这个舌体分割项目。 相关链接:舌体分割的初步展示应用——依托Streamlit搭建demo 基于此…

2023年第四届“华数杯”数学建模思路 - 案例:退火算法

## 0 赛题思路 (赛题出来以后第一时间在CSDN分享) https://blog.csdn.net/dc_sinor?typeblog 1 退火算法原理 1.1 物理背景 在热力学上,退火(annealing)现象指物体逐渐降温的物理现象,温度愈低&#…

【Nginx13】Nginx学习:HTTP核心模块(十)Types、AIO及其它配置

Nginx学习:HTTP核心模块(十)Types、AIO及其它配置 今天学习的内容也比较简单,主要的是 Types 相关的配置,另外还会了解一下 AIO 以及部分没有特别大的分类归属的配置指令的使用。后面的内容都是 HTTP 核心模块中比较小…

植物大战僵尸修改器制作--从入门到入土

文章目录 基础准备基址偏移表常规项目卡槽植物种植无冷却无限阳光浓雾透视基本原理HOOK除雾代码 种植植物基本原理远程线程注入dll函数远程线程卸载dll函数关键dll函数失败代码远程线程代码注入(推荐) 种植僵尸基本原理种植僵尸函数--dll注入版远程代码注入版 完整程序代码参考…

npm ERR! code EPERM npm ERR! syscall unlink npm ERR!错误解决方法

npm ERR! code EPERM npm ERR! syscall unlink npm ERR!错误解决方法 1、问题描述2、解决方法 1、问题描述 由于之前电脑系统的原因,电脑重置了一下,之前安装的环境都没了,然后在重新安装node.js后在使用npm安装时总是报如下错误&#xff1a…

如何在免费版 pycharm 中使用 github copilot (chatGPT)?

起因 在 vscode 中使用了 github copilot 以后,感觉这个人工智能还不错。 但 vscode 对于 python 项目调试并不是特别方便,所以想在 Pycharm 中也能使用同一个 github 账号,用上 copilot 的功能。 不需要等待,安装即用&#xff…

Android复习(Android基础-四大组件)—— Service

1. Service的概述 Service是一个可以在后台长期运行并且不需要和用户进行交互的应用组件。 主要负责:不需要和用户交互而且还要求长期运行的任务,比如耗时操作。 Service不是运行在一个独立的进程当中,不依赖于任何用户界面。 其依赖于创建…

无线电蓝牙音频-BES数字音频系统音频流图

+我V hezkz17进数字音频系统研究开发交流答疑群(课题组) (1)音乐播放音频流图 Decode"(解码)是指将编码后的数据转换回原始格式或可读取的形式的过程,SBC解码成PCM

Linux第三章之重定向 管道命令 环境变量PATH

一、了解Linux目录配置标准FHS FHS本质一套规定Linux目录结构,软件建议安装位置的标准。 使用Linux来开发产品或者发布软件的公司、个人太多,如果每家公司或者个人都按照自己的意愿来配置文件或者软件的存放位置,这无疑是一场灾难。 #进入…

WordPress--关闭主题和插件的自动更新

原文网址:WordPress--关闭主题和插件的自动更新_IT利刃出鞘的博客-CSDN博客 简介 本文介绍如何关闭WordPress主题和插件的自动更新提示。 方法 使用插件:Eay Updates Manager 安装完插件后,所有插件被管理,并自动关闭更新&…