文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

C语言中如何利用软件代替Mutex互斥锁

2023-06-17 04:58

关注

今天小编给大家分享一下C语言中如何利用软件代替Mutex互斥锁的相关知识点,内容详细,逻辑清晰,相信大部分人都还太了解这方面的知识,所以分享这篇文章给大家参考一下,希望大家阅读完这篇文章后有所收获,下面我们一起来了解一下吧。

一、前言

在 Linux  系统中,当多个线程并行执行时,如果需要访问同一个资源,那么在访问资源的地方,需要使用操作系统为我们提供的同步原语来进行保护。同步原语包括:互斥锁、条件变量、信号量等,被保护的代码称作“临界区”。

这是非常正规的流程,我们基本上也都是这么做的。

那有没有想过,这些同步原语对代码的执行效率会产生多大的影响?是否可以不使用操作系统提供的这些机制,而是用其它纯软件的方法也能达到保护临界区的目的呢?

二、Peterson 算法简介

这个算法主要用来解决临界区的保护问题。我们知道,一个临界区必须保证 3 个条件:

  1. 鸿蒙官方战略合作共建——HarmonyOS技术社区

  2. 互斥访问: 在任意一个时刻,最多只能有一个线程可以进入临界区;

  3. 空闲让进:当没有线程正在执行临界区的代码时,必须在所有申请进入临界区的线程中,选择其中的一个,让它进入临界区;

  4. 有限等待:当一个线程申请进去临界区时,不能无限的等待,必须在有限的时间内获得许可进入临界区。也就是说,不论其优先级多低,不应该饿死在该临界区入口处。

Peterson算法是一个实现互斥锁的并发程序设计算法,可以控制两个线程访问一个共享的用户资源而不发生访问冲突。

Peterson 算法是基于双线程互斥访问的 LockOne 与 LockTwo 算法而来。

  1. 鸿蒙官方战略合作共建——HarmonyOS技术社区

  2. LockOne 算法使用一个 flag 布尔数组来实现互斥;

  3. LockTwo 使用一个 turn 的整型量来实现互斥;

这 2 个算法都实现了互斥,但是都存在死锁的可能。Peterson 算法把这两种算法结合起来,完美地用软件实现了双线程互斥问题。

算法说明如下

C语言中如何利用软件代替Mutex互斥锁

两个重要的全局变量:

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 万,实际测试结果也确实如此。

四、Mutex 互斥锁对代码执行效率的影响

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; }

耗时:

3. 在两个线程中,使用 Peterson 算法来保护临界区

耗时:

以上就是“C语言中如何利用软件代替Mutex互斥锁”这篇文章的所有内容,感谢各位的阅读!相信大家阅读完这篇文章都有很大的收获,小编每天都会为大家更新不同的知识,如果还想学习更多的知识,请关注编程网行业资讯频道。

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯