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

本文主要是介绍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 }

可重入函数

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

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

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

原则

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

 

这篇关于linux学习:线程安全(信号量+互斥锁读写锁+条件变量+可重入函数)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/948356

相关文章

Linux之systemV共享内存方式

《Linux之systemV共享内存方式》:本文主要介绍Linux之systemV共享内存方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、工作原理二、系统调用接口1、申请共享内存(一)key的获取(二)共享内存的申请2、将共享内存段连接到进程地址空间3、将

快速修复一个Panic的Linux内核的技巧

《快速修复一个Panic的Linux内核的技巧》Linux系统中运行了不当的mkinitcpio操作导致内核文件不能正常工作,重启的时候,内核启动中止于Panic状态,该怎么解决这个问题呢?下面我们就... 感谢China编程(www.chinasem.cn)网友 鸢一雨音 的投稿写这篇文章是有原因的。为了配置完

Java学习手册之Filter和Listener使用方法

《Java学习手册之Filter和Listener使用方法》:本文主要介绍Java学习手册之Filter和Listener使用方法的相关资料,Filter是一种拦截器,可以在请求到达Servl... 目录一、Filter(过滤器)1. Filter 的工作原理2. Filter 的配置与使用二、Listen

Python的time模块一些常用功能(各种与时间相关的函数)

《Python的time模块一些常用功能(各种与时间相关的函数)》Python的time模块提供了各种与时间相关的函数,包括获取当前时间、处理时间间隔、执行时间测量等,:本文主要介绍Python的... 目录1. 获取当前时间2. 时间格式化3. 延时执行4. 时间戳运算5. 计算代码执行时间6. 转换为指

Python正则表达式语法及re模块中的常用函数详解

《Python正则表达式语法及re模块中的常用函数详解》这篇文章主要给大家介绍了关于Python正则表达式语法及re模块中常用函数的相关资料,正则表达式是一种强大的字符串处理工具,可以用于匹配、切分、... 目录概念、作用和步骤语法re模块中的常用函数总结 概念、作用和步骤概念: 本身也是一个字符串,其中

JAVA保证HashMap线程安全的几种方式

《JAVA保证HashMap线程安全的几种方式》HashMap是线程不安全的,这意味着如果多个线程并发地访问和修改同一个HashMap实例,可能会导致数据不一致和其他线程安全问题,本文主要介绍了JAV... 目录1. 使用 Collections.synchronizedMap2. 使用 Concurren

Java中Switch Case多个条件处理方法举例

《Java中SwitchCase多个条件处理方法举例》Java中switch语句用于根据变量值执行不同代码块,适用于多个条件的处理,:本文主要介绍Java中SwitchCase多个条件处理的相... 目录前言基本语法处理多个条件示例1:合并相同代码的多个case示例2:通过字符串合并多个case进阶用法使用

Linux命令之firewalld的用法

《Linux命令之firewalld的用法》:本文主要介绍Linux命令之firewalld的用法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux命令之firewalld1、程序包2、启动firewalld3、配置文件4、firewalld规则定义的九大

Linux之计划任务和调度命令at/cron详解

《Linux之计划任务和调度命令at/cron详解》:本文主要介绍Linux之计划任务和调度命令at/cron的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录linux计划任务和调度命令at/cron一、计划任务二、命令{at}介绍三、命令语法及功能 :at

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文