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

相关文章

Springboot的ThreadPoolTaskScheduler线程池轻松搞定15分钟不操作自动取消订单

《Springboot的ThreadPoolTaskScheduler线程池轻松搞定15分钟不操作自动取消订单》:本文主要介绍Springboot的ThreadPoolTaskScheduler线... 目录ThreadPoolTaskScheduler线程池实现15分钟不操作自动取消订单概要1,创建订单后

Linux磁盘分区、格式化和挂载方式

《Linux磁盘分区、格式化和挂载方式》本文详细介绍了Linux系统中磁盘分区、格式化和挂载的基本操作步骤和命令,包括MBR和GPT分区表的区别、fdisk和gdisk命令的使用、常见的文件系统格式以... 目录一、磁盘分区表分类二、fdisk命令创建分区1、交互式的命令2、分区主分区3、创建扩展分区,然后

Linux中chmod权限设置方式

《Linux中chmod权限设置方式》本文介绍了Linux系统中文件和目录权限的设置方法,包括chmod、chown和chgrp命令的使用,以及权限模式和符号模式的详细说明,通过这些命令,用户可以灵活... 目录设置基本权限命令:chmod1、权限介绍2、chmod命令常见用法和示例3、文件权限详解4、ch

Linux内核之内核裁剪详解

《Linux内核之内核裁剪详解》Linux内核裁剪是通过移除不必要的功能和模块,调整配置参数来优化内核,以满足特定需求,裁剪的方法包括使用配置选项、模块化设计和优化配置参数,图形裁剪工具如makeme... 目录简介一、 裁剪的原因二、裁剪的方法三、图形裁剪工具四、操作说明五、make menuconfig

C#实现文件读写到SQLite数据库

《C#实现文件读写到SQLite数据库》这篇文章主要为大家详细介绍了使用C#将文件读写到SQLite数据库的几种方法,文中的示例代码讲解详细,感兴趣的小伙伴可以参考一下... 目录1. 使用 BLOB 存储文件2. 存储文件路径3. 分块存储文件《文件读写到SQLite数据库China编程的方法》博客中,介绍了文

Oracle Expdp按条件导出指定表数据的方法实例

《OracleExpdp按条件导出指定表数据的方法实例》:本文主要介绍Oracle的expdp数据泵方式导出特定机构和时间范围的数据,并通过parfile文件进行条件限制和配置,文中通过代码介绍... 目录1.场景描述 2.方案分析3.实验验证 3.1 parfile文件3.2 expdp命令导出4.总结

Linux使用nohup命令在后台运行脚本

《Linux使用nohup命令在后台运行脚本》在Linux或类Unix系统中,后台运行脚本是一项非常实用的技能,尤其适用于需要长时间运行的任务或服务,本文我们来看看如何使用nohup命令在后台... 目录nohup 命令简介基本用法输出重定向& 符号的作用后台进程的特点注意事项实际应用场景长时间运行的任务服

什么是cron? Linux系统下Cron定时任务使用指南

《什么是cron?Linux系统下Cron定时任务使用指南》在日常的Linux系统管理和维护中,定时执行任务是非常常见的需求,你可能需要每天执行备份任务、清理系统日志或运行特定的脚本,而不想每天... 在管理 linux 服务器的过程中,总有一些任务需要我们定期或重复执行。就比如备份任务,通常会选在服务器资

C语言线程池的常见实现方式详解

《C语言线程池的常见实现方式详解》本文介绍了如何使用C语言实现一个基本的线程池,线程池的实现包括工作线程、任务队列、任务调度、线程池的初始化、任务添加、销毁等步骤,感兴趣的朋友跟随小编一起看看吧... 目录1. 线程池的基本结构2. 线程池的实现步骤3. 线程池的核心数据结构4. 线程池的详细实现4.1 初

Linux限制ip访问的解决方案

《Linux限制ip访问的解决方案》为了修复安全扫描中发现的漏洞,我们需要对某些服务设置访问限制,具体来说,就是要确保只有指定的内部IP地址能够访问这些服务,所以本文给大家介绍了Linux限制ip访问... 目录背景:解决方案:使用Firewalld防火墙规则验证方法深度了解防火墙逻辑应用场景与扩展背景: