linux学习:线程安全(信号量+互斥锁读写锁+条件变量+可重入函数)

目录

信号量

有名信号量

步骤

 api

创建、打开一个POSIX有名信号量

 对 POSIX 有名信号量进行 P、V 操作

关闭、删除 POSIX 有名信号量

例子

无名信号量

步骤

api

初始化、销毁 POSIX 无名信号量

互斥锁读写锁

例子

两条线程 使用互斥锁来互斥地访问标准输出

在加锁的时候可以选择加读或者写 锁

条件变量

api

初始化、销毁条件变量

进入条件变量等待队列,同时对获取配套的互斥锁

唤醒全部,或者一个条件变量等待队列中的线程

例子

可重入函数

原则


信号量

信号量分为两种,分别是无名信号量和有名信号量, 这两种信号量比之前介绍的 system-V 的信号量机制要简洁,虽然没有后者的应用范围那么广泛,但是 POSIX 良好的设计使得他们更具吸引力

有名信号量

名字前面会带一个 “/”,例如 ‘/name“

这样的信号量其实是一个特殊的文件,创建成功之后将会被放置在系统的一个特殊的 虚拟文件系统/dev/shm 之中,不同的进程间只要约定好一个相同的名字,他们就可以通 过这种有名信号量来相互协调,在进程退出之后 他们并不会自动消失,而需要手工删除并释放资源

步骤

  • 使用 sem_open( )来创建或者打开一个有名信号量
  • 使用 sem_wait( )和 sem_post( )来分别进行 P 操作和 V 操作
  • 使用 sem_close( )来关闭他
  • 使用 sem_unlink( )来删除他,并释放系统资源

 api

创建、打开一个POSIX有名信号量

 对 POSIX 有名信号量进行 P、V 操作

注意

  • 每次申请和释放的资源数都是 1。其中调用 sem_wait( )在资源为 0 时会导致阻塞,如果 不想阻塞等待,可以使用 sem_trywait( )来替代
关闭、删除 POSIX 有名信号量

例子

进程 Jack 通过共享内存 SHM 给进程 Rose 发送数据,以及使用了 POSIX 有名信号量来实现两条线程间的同步

head4namedsem.h

1 #ifndef _HEAD4NAMESEM_H_
2 #define _HEAD4NAMESEM_H_
3
4 #include <stdio.h>
5 #include <stdlib.h>
6 #include <unistd.h>
7 #include <sys/shm.h>
8 #include <semaphore.h>
9 #include <fcntl.h>
10
11 #define PROJ_PATH "." // 用以产生共享内存的路径和整数
12 #define PROJ_ID 100
13
14 #define SHMSZ 1024 // 共享内存的大小
15 #define SEMNAME "sem4test" // 有名信号量的名字
16
17 #endif

Jack.c  向共享内存中写入数据,并通过 POSIX 有名信号通知其他进程数据的更新

1 #include "head4namedsem.h" 2
3 int main(int argc, char **argv)
4 {
5     key_t key = ftok(PROJ_PATH, PROJ_ID); // 生成一个用于共享内存和信号量的键值
6     int id = shmget(key, SHMSZ, IPC_CREAT|0666); //创建或获取一个共享内存区域,大小为 SHMSZ 字节
7     char *shmaddr = shmat(id, NULL, 0); //将共享内存连接到当前进程的地址空间中,并返回一个指向共享内存区域的指针
8
9     // 创建或者打开 POSIX 有名信号  初始值为0   SEMNAME 是信号量的名称
10     sem_t *s;
11     s = sem_open(SEMNAME, O_CREAT, 0777, 0);
12
13     // 每当向共享内存写入数据之后,就让信号量的值加 1
14     while(1)
15     {
16         fgets(shmaddr, SHMSZ, stdin);// 写入共享内存,
17         sem_post(s);// 增加信号量的值
18
19         if(!strncmp(shmaddr, "quit", 4)) // 输入 quit 退出对话
20             break;
21     }
22
23     // 关闭并且删除信号量
24     sem_close(s);
25     sem_unlink(SEMNAME);
26     return 0;
27 }

Rose.c

1 #include "head4namedsem.h" 2
3 int main(int argc, char **argv)
4 {
5     key_t key = ftok(PROJ_PATH, PROJ_ID); // 生成一个用于共享内存和信号量的键值
6     int id = shmget(key, SHMSZ, IPC_CREAT|0666); //创建或获取一个共享内存区域
7     char *shmaddr = shmat(id, NULL, 0); // 将共享内存连接到当前进程的地址空间中
8
9     // 创建或者打开 POSIX 有名信号量 初始值为0。SEMNAME 是信号量的名称
10     sem_t *s;
11     s = sem_open(SEMNAME, O_CREAT, 0777, 0);
12
13     // 当取得信号量资源时,才能访问 SHM
14     while(1)
15     {
16         sem_wait(s);//等待信号量资源
17         if(!strncmp(shmaddr, "quit", 4)) // 若对方写入 quit,则退出
18             break;
19
20         printf("from Jack: %s", shmaddr);
21     }
22    
23     // 关闭 POSIX 有名信号量
24     sem_close(s);
25     return 0
26 }

无名信号量

步骤

  • 在这些线程都能访问到的区域定义这种变量(比如全局变量),类型是 sem_t。
  • 在任何线程使用它之前,用 sem_init( )初始化他。
  • 使用 sem_wait( )/sem_trywait( )和 sem_post( )来分别进行 P、V 操作。
  • 不再需要时,使用 sem_destroy( )来销毁他

api

初始化、销毁 POSIX 无名信号量

 无名信号量一般用在进程内的线程间,因此 pshared 参数一般都为 0。当将此种信号 量用在进程间时,必须将他定义在各个进程都能访问的地方——比如共享内存之中

  • 三种信号量
    • system-V 信号量
    • POSIX 信号量(named-sem 和 unnamed-sem)
  • sys-V 信号量较古老,语法艰涩。POSIX 信号量简单,轻量。
  • sys-V 信号量可以对代表多种资源的多个信号量元素同一时间进行原子性的 P/V 操作,POSIX 信号量每次只能操作一个信号量。
  • sys-V 信号量和 named-sem 是系统范围的资源,进程消失之后继续存在,而 unnamed-sem 是进程范围的资源,随着进程的退出而消失
  • sys-V 信号量的 P/V 操作可以对信号量元素加减大于 1 的数值,而 POSIX 信号量 每次 P/V 操作都是加减 1。
  • sys-V 信号量甚至还支持撤销操作——一个进程对 sys-V 信号量进行 P/V 操作时 可以给该操作贴上需要撤销的标识,那么当进程退出之后,系统会自动撤销那些做了标识的 操作。而 POSIX 信号没有此功能
  • sys-V 信号量和 named-sem 适合用在进程间同步互斥,而 unamed-sem 适合 用在线程间同步互斥

互斥锁读写锁

如果信号量的值最多为 1,那实际上相当于一个共享资源在任意时刻最多只能有一个线 程在访问,这样的逻辑被称为“互斥”。这时,有一种更加方便和语义更加准确的工具来满 足这种逻辑,他就是互斥锁

例子

两条线程 使用互斥锁来互斥地访问标准输出

1 #include <stdio.h>
2 #include <pthread.h>
3
4 pthread_mutex_t m; // 定义一个互斥锁变量
5 // 输出字符串
6 void output(const char *string)
7 {
8     const char *p = string;
9
10     while(*p != '\0')
11     {
12         fprintf(stderr, "%c", *p);
13         usleep(100);
14         p++;
15     }
16 }
17 // 线程函数
18 void *routine(void *arg)
19 {
20     
21     pthread_mutex_lock(&m);// 锁定互斥锁
22     output("message delivered by child.\n");
23     pthread_mutex_unlock(&m); // 解锁
24
25     pthread_exit(NULL);// 退出线程
26 }
27
28 int main(int argc, char **argv)
29 {
30     // 在任何线程使用该互斥锁之前必须先初始化互斥锁
31     pthread_mutex_init(&m, NULL);
32
33     pthread_t tid;// 线程标识符
34     pthread_create(&tid, NULL, routine, NULL);// 创建线程运行routine函数
35
36     // 在访问共享资源(标准输出设备)之前,加锁
37     pthread_mutex_lock(&m);//上锁
38     output("info output from parent.\n");// 输出
39     pthread_mutex_unlock(&m); // 使用完了,记得解锁
40
41     // 阻塞等待子线程退出,然后销毁互斥锁。
42     pthread_join(tid, NULL);
43     pthread_mutex_destroy(&m);
44
45     return 0;
46 }

在加锁的时候可以选择加读或者写 锁

1 #include <stdio.h>
2 #include <stdlib.h>
3 #include <unistd.h>
4 #include <pthread.h>
5
6 static pthread_rwlock_t rwlock;//定义读写锁
7
8 int global = 0;//读写标志
9 // 线程函数
10 void *routine1(void *arg)
11 {
12     // 对共享资源进行写操作之前,必须加写锁(互斥锁)
13     pthread_rwlock_wrlock(&rwlock);
14
15     global += 1;
16     printf("I am %s, now global=%d\n", (char *)arg, global);
17
18     // 访问完之后释放该锁
19     pthread_rwlock_unlock(&rwlock);
20
21     pthread_exit(NULL);
22 }
23 // 线程函数
24 void *routine2(void *arg)
25 {
26     // 对共享资源进行写操作之前,必须加写锁(互斥锁)
27     pthread_rwlock_wrlock(&rwlock);
28
29     global = 100;
30     printf("I am %s, now global=%d\n", (char *)arg, global);
31
32     // 访问完之后释放该锁
33     pthread_rwlock_unlock(&rwlock);
34
35     pthread_exit(NULL);
36 }
37 // 线程函数
38 void *routine3(void *arg)
39 {
40     // 对共享资源进行读操作之前,可以加读锁(共享锁)
41     pthread_rwlock_rdlock(&rwlock);
42
43     printf("I am %s, now global=%d\n", (char *)arg, global);
44
45     // 访问完之后释放该锁
46     pthread_rwlock_unlock(&rwlock);
47
48     pthread_exit(NULL);
49 }
50
51 int main (int argc, char *argv[])
52 {
53
54     pthread_rwlock_init(&rwlock,NULL);// 初始化读写锁
55
56     // 创建三条线程,对共享资源同时进行读写操作,然后等待线程结束
57     pthread_t t1, t2, t3;
58     pthread_create(&t1, NULL, routine1, "thread 1");
59     pthread_create(&t2, NULL, routine2, "thread 2");
60     pthread_create(&t3, NULL, routine3, "thread 3");
61     pthread_join(t1, NULL);
62     pthread_join(t2, NULL);
63     pthread_join(t3, NULL);
64
65     // 销毁读写锁
66     pthread_rwlock_destroy(&rwlock);
67
68     return 0;
69 }

条件变量

条件变量是另一种逻辑稍微复杂一点点的同步互斥机制,他必须跟互斥锁一起配合使用

api

初始化、销毁条件变量

跟其他的同步互斥机制一样,条件变量的开始使用之前也必须初始化。初始化函数中的 属性参数 attr 一般不使用,设置为 NULL 即可。当使用 pthread_cond_destroy( )销毁 一个条件变量之后,他的值变得不确定,再使用必须重新初始化

进入条件变量等待队列,同时对获取配套的互斥锁

以上两个函数功能是一样的,区别是 pthread_cond_timedwait( )可以设置超时时 间。着重要注意的是:一旦进入条件变量 cond 的等待队列,互斥锁 mutex 将立即被加锁。

唤醒全部,或者一个条件变量等待队列中的线程

以上两个函数用来唤醒阻塞在条件变量等待队列里的线程,顾名思义,broadcast 用来唤醒全部的线程,相对地 signal 只唤醒一个等待中的线程。

注意:被唤醒的线程并不能立即从 pthread_cond_wait( )中返回,而是必须要先获得配套的互斥锁

例子

小楠是一名在校学生,每个月都会从父母那里得到一笔生活费。现在她的钱花光了,想 要去取钱。但是很显然取钱这样的事情不是想干就能干的,前提是卡里必须得有钱才行!于 是小楠拿起手机一查发现:余额为¥0。现在她除了干瞪眼,唯一能干的事情也许只有一件: 等。等到她爸妈汇了钱打电话通知她为止。 但更进一步,即便是她爸妈汇了钱也打了电话通知了她,此刻她也不能一定保证能取到 钱,因为与此同时她的众多兄弟姐妹(统统共用一个银行账号)很可能已经抢先一步将钱悉 数取光了!因此当小楠收到爸妈的电话之后,需要再次确认是否有钱,才能取钱

使用条件变量,来实现前面所述的小楠和她的兄弟姐妹取钱的逻辑

1 #include <stdio.h>
2 #include <unistd.h>
3 #include <string.h>
4 #include <stdlib.h>
5 #include <pthread.h>
6
7 int balance = 0; // 所有线程共享的“余额”
8
9 pthread_mutex_t m;
10 pthread_cond_t v;
11
12 void *routine(void *args)
13 {
14     // 加锁,取钱
15     pthread_mutex_lock(&m);
16
17     while(balance < 100) // 若余额不足,则进入等待睡眠,顺便解锁
18     pthread_cond_wait(&v, &m);
19
20     fprintf(stderr, "t%d: balance = %d\n", (int)args, balance);
21     balance -= 100; // 取¥100 大洋
22
23     // 解锁,走人
24     pthread_mutex_unlock(&m);
25     pthread_exit(NULL);
26 }
27
28 int main(int argc, char **argv)
29 {
30     if(argc != 2)
31     {
32         printf("Usage: %s <threads-number>\n", argv[0]);
33         return 1;
34     }
35
36     pthread_mutex_init(&m, NULL);
37     pthread_cond_init(&v, NULL);
38
39     // 循环地创建若干条线程
40     pthread_t tid;
41     int i, thread_nums = atoi(argv[1]);
42     for(i=0; i<thread_nums; i++)
43     {
44         pthread_create(&tid, NULL, routine, (void *)i);
45     }
46
47     pthread_mutex_lock(&m); // 要往账号打钱,先加锁
48
49     balance += (thread_nums * 100); // 根据线程数目,打入¥
50     pthread_cond_broadcast(&v); // 通知所有正在等待的线程
51     pthread_mutex_unlock(&m);
52
53     pthread_exit(NULL);
54 }

可重入函数

一个函数如果同时被多条线程调用,他返回的结果是 否都是严格一致的?如果是,那么该函数被称为“可重入”函数, 否则被称为“不可重入”函数

多条线程同时调用函数有可能会产生不一致的结果,产生这样结果的原因有三

  • 一是因为函数内部使用了共享资源,比如全局变量、环境变量
  • 二是因为函数内部调用了其他不可重入函数
  • 三是因为函数执行结果与某硬件设备相关

原则

  • 不使用任何静态数据,只使用局部变量或者堆内存
  • 不调用上表中的任何非线程安全的不可重入函数
  • 如果不能同时满足以上两个条件,可以使用信号量、互斥锁等机制来确保使用静态数据 或者调用不可重入函数时的互斥效果

 

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

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

相关文章

算法人生(12):从“优先级队列算法”到“”六点优先工作法”

算法思想和生活中很多解决问题的思想有着异曲同工之妙&#xff0c;让我们来看下今天的“优先级队列算法”可以怎么应用到我们的生活中吧&#xff01; 优先级队列算法&#xff08;Priority Queue Algorithm&#xff09; 是一种特殊的数据结构&#xff0c;它在常规队列秉持着“先…

MySQL中START REPLICA 语句详解

在数据库管理和操作中&#xff0c;复制是保证数据可用性和分布式处理的关键技术之一。MySQL从8.0.22版本开始引入了START REPLICA语句&#xff0c;替代了原来的START SLAVE语句。本篇博文将详细介绍START REPLICA语句的用法和功能&#xff0c;帮助数据库管理员更有效地管理MySQ…

软件工程师,如何有效缓解工作压力

概述 在这个快速迭代、技术日新月异的数字时代&#xff0c;软件工程师们常常站在技术创新的最前沿。他们肩负着构建高效、可靠软件系统的重任&#xff0c;同时也面临着紧迫的截止日期、复杂的技术难题和持续的学习需求&#xff0c;这些因素共同构成了巨大的工作压力。如何在高压…

[SQL系列]从零开始学Clickhouse——集群篇

在上一篇中&#xff0c;我们通过Docker构建了一个简单的单点Clickhouse&#xff0c;但是如果要做大数据的处理的话&#xff0c;Clickhouse集群是必不可少的&#xff0c;今天我们先用Docker简单地搭建一个Clickhouse集群。 容器逐个部署 使用Docker部署ClickHouse集群涉及几个步…

1.认识USB协议

目录 前言 在嵌入式场景的具体体现 USB通信协议 总结 前言 在这之前&#xff0c;我们需要认识USB是什么东西&#xff0c;它是一种通信协议&#xff0c;协议只是规定数据的&#xff0c;在物理层面上&#xff0c;它可以有多种表现形式。在我们日常生活中也非常常见&#xff0…

FebHost:什么是挪威.no域名,如何注册?

挪威国家域名介绍 挪威是一个位于北欧的国家&#xff0c;北面和西面是大西洋和北海&#xff0c;东面和南面则与瑞典、芬兰接壤。挪威是一个高度发达的经济体&#xff0c;其政府在经济管理和可持续发展方面也取得了很多成就。挪威的人均GDP在世界范围内排名非常靠前&#xff0c…

【Unity】 使用代码分析(Roslyn Analyzers)实现自动代码审查(Code Review)

索引 Roslyn AnalyzersCode Review自动 Code Review 案例1.public、internal权限的字段建议以大写字母开头。2.private、protected权限的字段建议以下划线小写字母开头。3.不建议直接继承 MonoBehaviour&#xff0c;建议继承至 HTBehaviour。4.不建议使用 Input 判断输入或获取…

命令执行。

命令执行 在该项目的readme中&#xff0c;描述了怎么去调用的flink 通过java原生的runtime来调用flink&#xff0c;下一步就是去看看具体的调用过程了&#xff0c;是否存在可控的参数 找到具体提交命令的类方法CommandRpcClinetAdapterImpl#submitJob() 这里要确定command&am…

C++-6

使用模板类&#xff0c;实现顺序栈。 #include <iostream>using namespace std; template <typename T> class Seqlite {T data[30];int len0; public:void head_inst(T date);void head_dele();void show(); }; template <typename T> …

Phi-3-mini-4k-instruct 的功能测试

Model card 介绍 Phi-3-Mini-4K-Instruct 是一个 3.8B 参数、轻量级、最先进的开放模型&#xff0c;使用 Phi-3 数据集进行训练&#xff0c;其中包括合成数据和经过过滤的公开可用网站数据&#xff0c;重点是 高品质和推理密集的属性。 该型号属于 Phi-3 系列&#xff0c;Mini…

Django框架之ORM操作

一、选择数据库 1、默认数据库 Django默认的数据库是sqlite3数据库 DATABASES {default: {ENGINE: django.db.backends.sqlite3,NAME: BASE_DIR / db.sqlite3,} }2、指定数据库 修改连接到MySQL数据库 DATABASES {default: {ENGINE: django.db.backends.mysql,# 数据库名…

一、安装Redis并运行

Windows安装Redis 1.打开网址下载 下载地址&#xff1a;https://github.com/tporadowski/redis/releases。 Redis 支持 32 位和 64 位。这个需要根据你系统平台的实际情况选择 我选择的是 然后一步步安装 可以参考&#xff1a;https://blog.csdn.net/zbx931197485/article/d…

李廉洋:4.29黄金原油最新走势分析,做单必看策略,

传统定价框架下&#xff0c;黄金兼具货币、商品和金融三重属性&#xff0c;对应货币、抗通胀和避险价值&#xff0c;因此通常与美元、美债利率反向变动。但近期这一定价规律“失灵”了&#xff0c;黄金、利率和美元同涨。三者同涨后&#xff0c;一个月后续转为下跌的频率超过一…

【JS】节流与防抖技术

JavaScript: 节流与防抖技术 当用户进行滚动、调整窗口大小或进行频繁的键盘输入时&#xff0c;页面上的某些事件处理器可能会被频繁触发。如果每次事件触发都执行函数&#xff0c;可能会对性能产生显著影响。在这种情况下&#xff0c;我们可以利用节流&#xff08;Throttle&a…

JS - 以工厂模式和原型模式方式建造对象、JS的垃级回收机制、数组的使用

创建对象的方式 使用工厂方法来建造对象 在JS中我们可以通过以下方式进行创建对象&#xff1a; var obj {name:"孙悟空",age:18,gender:"男",sayName:function(){alert(this.name);}};var obj2 {name:"猪八戒",age:28,gender:"男",…

Glide添加token和userId

方法一&#xff1a; GlideUrl glideUrl new GlideUrl(url, new LazyHeaders.Builder().addHeader("userId", userId).addHeader("token", token).build());FutureTarget<File> target Glide.with(context).asFile().load(glideUrl).submit(); 方法…

【Java EE】总结12种锁策略以及synchronized的实现原理

˃͈꒵˂͈꒱ write in front ꒰˃͈꒵˂͈꒱ ʕ̯•͡˔•̯᷅ʔ大家好&#xff0c;我是xiaoxie.希望你看完之后,有不足之处请多多谅解&#xff0c;让我们一起共同进步૮₍❀ᴗ͈ . ᴗ͈ აxiaoxieʕ̯•͡˔•̯᷅ʔ—CSDN博客 本文由xiaoxieʕ̯•͡˔•̯᷅ʔ 原创 CSDN 如…

基于yolov5实时实例分割

是一个结合了最新技术进展&#xff08;State-of-the-Art, SOTA&#xff09;的实时实例分割项目&#xff0c;基于著名的YOLOv5目标检测架构&#xff0c;并对其进行扩展以实现对图像中每个对象实例的精确像素级分割。以下是该项目的中文介绍&#xff1a; YOLOv5&#xff1a; YOL…

精选20个大模型高频面试题

我精选20个大模型高频面试题&#xff0c;分享给大家 简述GPT和BERT的区别讲一下GPT系列模型是如何演进的&#xff1f;为什么现在的大模型大多是decoder-only的架构&#xff1f;讲一下生成式语言模型的工作机理哪些因素会导致LLM的偏见&#xff1f;LLM中的因果语言建模与掩码语…

代码随想录算法训练营第五十五天|392.判断子序列、115.不同的子序列

动态规划 文章目录 一、判断子序列二、不同的子序列总结 一、判断子序列 和之前的公共子序列相同&#xff0c;增加一个判断序列长度是否等于字串长度的操作即可 class Solution { public:bool isSubsequence(string s, string t) {//保持相对位置vector<vector<int>…