文章详情

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

请输入下面的图形验证码

提交验证

短信预约提醒成功

C语言边角料3:用纯软件来代替Mutex互斥锁-多线程

2024-12-03 08:18

关注

一、前言

在上一篇文章中,介绍了一种纯软件算法,用来实现临界区的保护功能,文章链接: C语言边角料2:用纯软件来代替Mutex互斥锁

首先明确一下:如果利用操作系统提供的互斥锁可以实现我需要的功能,我肯定使用互斥锁,之所以介绍 Peterson 这个算法,主要是因为它比较有意思,很小巧,可以为我们带来一些“规范的”编程之外的一些想法。

后台也有一些小伙伴对这个算法发表了一些留言,只要有想法都非常好,就怕不去想。

其中有位朋友提到,这个算法只能用在 2 个线程中,是否有其他的类似算法,可以用在多线程中?

晚上下班后,我就花了点时间找到下面的这个算法,分享一下!

二、Micha Hofri 算法

这个算法我没有找到名字,暂且以作者的名字来称呼这个算法吧!

算法截图:

从算法的主体代码看,Hofri 算法主要是扩展了 Peterson 算法,都是使用 2 个全局变量数组来控制哪个线程可以进入临界区。

这个算法的论证比较复杂,都是一些数学方面的证明,文章在这里:Proof of a Mutual Exclusion Algorithm-- A `Class'ic Example, 1989 年发表,感兴趣的小伙伴可以自行去烧脑研究。

三、测试代码

  1. // 线程操作的资源 
  2. static int num = 0; 
  3.  
  4. // 创建 10 个线程 
  5. #define THREAD_NUM      10 
  6.  
  7. // 这 2 个全局变量控制算法 
  8. int flag[THREAD_NUM] = {0 }; 
  9. int turn[THREAD_NUM - 1] = {0}; 
  10.  
  11. // 这是线程函数 
  12. void *thread_routine(void *arg) 
  13.     int index = *(int *)arg; 
  14.  
  15.     for (int i = 0; i < 10000; ++i) // 线程循环次数 
  16.     { 
  17.         for (int j = 1; j < THREAD_NUM - 1; j++)  
  18.         { 
  19.             flag[index] = j; 
  20.             turn[j] = index
  21.     L: 
  22.             for (int k = 1; k < THREAD_NUM; ++k) 
  23.             { 
  24.                 if (k == indexcontinue
  25.                 if ((flag[k] >= j) && turn[j] == index
  26.                     goto L; 
  27.             } 
  28.  
  29.         } 
  30.  
  31.         flag[index] = THREAD_NUM; 
  32.          
  33.         // 关键代码段 
  34.         num++; 
  35.          
  36.         flag[index] = 0; 
  37.     } 
  38.     return NULL
  39.  
  40. void test() 
  41.     // 用来传递线程的索引 
  42.     int index[THREAD_NUM] = {0}; 
  43.      
  44.     创建多个线程,执行同一个函数 
  45.     pthread_t t[THREAD_NUM]; 
  46.     for (int i = 0; i < THREAD_NUM; ++i) 
  47.     { 
  48.         index[i] = i; 
  49.         pthread_create(&t[i], NULL, thread_routine, &index[i]); 
  50.     } 

编译、执行,所有线程执行结束后,共享资源 num 变量可以得到正确的结果。

四、总结

还是重复一下文章开头说的话,这里的算法仅仅是说明它可以完成保护临界区的功能,但是在实际项目中,真心不建议这么来用,毕竟代码的可维护性是非常重要的!

本文转载自微信公众号「IOT物联网小镇」,可以通过以下二维码关注。转载本文请联系IOT物联网小镇公众号。

 

来源:IOT物联网小镇内容投诉

免责声明:

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

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

软考中级精品资料免费领

  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

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

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

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

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

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

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