重庆分公司,新征程启航
为企业提供网站建设、域名注册、服务器等服务
这篇文章主要介绍“C语言如何利用软件代替Mutex互斥锁”的相关知识,小编通过实际案例向大家展示操作过程,操作方法简单快捷,实用性强,希望这篇“C语言如何利用软件代替Mutex互斥锁”文章能帮助大家解决问题。
成都网站建设哪家好,找创新互联公司!专注于网页设计、成都网站建设、微信开发、微信平台小程序开发、集团成都企业网站建设等服务项目。核心团队均拥有互联网行业多年经验,服务众多知名企业客户;涵盖的客户类型包括:成都食品包装袋等众多领域,积累了大量丰富的经验,同时也获得了客户的一致赞扬!
在 Linux 系统中,当多个线程并行执行时,如果需要访问同一个资源,那么在访问资源的地方,需要使用操作系统为我们提供的同步原语来进行保护。同步原语包括:互斥锁、条件变量、信号量等,被保护的代码称作“临界区”。这是非常正规的流程,我们基本上也都是这么做的。
这个算法主要用来解决临界区的保护问题。我们知道,一个临界区必须保证 3 个条件:
互斥访问: 在任意一个时刻,最多只能有一个线程可以进入临界区;
空闲让进:当没有线程正在执行临界区的代码时,必须在所有申请进入临界区的线程中,选择其中的一个,让它进入临界区;
有限等待:当一个线程申请进去临界区时,不能无限的等待,必须在有限的时间内获得许可进入临界区。也就是说,不论其优先级多低,不应该饿死在该临界区入口处。
Peterson算法是一个实现互斥锁的并发程序设计算法,可以控制两个线程访问一个共享的用户资源而不发生访问冲突。
Peterson 算法是基于双线程互斥访问的 LockOne 与 LockTwo 算法而来。
LockOne 算法使用一个 flag 布尔数组来实现互斥;
LockTwo 使用一个 turn 的整型量来实现互斥;
这 2 个算法都实现了互斥,但是都存在死锁的可能。Peterson 算法把这两种算法结合起来,完美地用软件实现了双线程互斥问题。
算法说明如下
两个重要的全局变量:
1. flag 数组:有 2 个布尔元素,分别代表一个线程是否申请进入临界区;
2. turn:如果 2 个线程都申请进入临界区,这个变量将会决定让哪一个线程进入临界区;
// 被 2 个线程同时访问的全局资源 static int num = 0; BOOL flag[2] = { 0 }; int turn = 0; void *thread0_routine(void *arg) { for (int i = 0; i < 1000000; ++i) { flag[0] = TRUE; turn = 1; while (TRUE == flag[1] && 1 == turn); // 临阶区代码 num++; flag[0] = FALSE; } return NULL; } void *thread1_routine(void *arg) { for (int i = 0; i < 1000000; ++i) { flag[1] = TRUE; turn = 0; while (TRUE == flag[0] && 0 == turn); // 临阶区代码 num++; flag[1] = FALSE; } return NULL; }
全局资源 num 的初始值为 0 ,两个编程分别递增 100 万次,因此最终结果应该是 200 万,实际测试结果也确实如此。
1. 单线程中:Mutex 互斥锁对代码执行效率的影响
for (int i = 0; i < 1000000; ++i) { num++; }
以上代码,耗时约:1.8ms -- 3.5ms。
for (int i = 0; i < 1000000; ++i) { pthread_mutex_lock(&mutex); num++; pthread_mutex_unlock(&mutex); }
以上代码,耗时约:23.9ms -- 38.9ms。可以看出,上锁和解锁对代码执行效率的影响还是很明显的。
2. 多线程中:Mutex 互斥锁对代码执行效率的影响
void *thread0_routine(void *arg) { for (int i = 0; i < 1000000; ++i) { pthread_mutex_lock(&mutex); num++; pthread_mutex_unlock(&mutex); } return NULL; } void *thread1_routine(void *arg) { for (int i = 0; i < 1000000; ++i) { pthread_mutex_lock(&mutex); num++; pthread_mutex_unlock(&mutex); } return NULL; }
耗时:
thread0: diff = 125.8ms
thread1: diff = 129.1ms
3. 在两个线程中,使用 Peterson 算法来保护临界区
耗时:
thread1: diff = 1.89ms
thread0: diff = 1.94ms
关于“C语言如何利用软件代替Mutex互斥锁”的内容就介绍到这里了,感谢大家的阅读。如果想了解更多行业相关的知识,可以关注创新互联行业资讯频道,小编每天都会为大家更新不同的知识点。