在上一篇文章中,介绍了一种纯软件算法,用来实现临界区的保护功能,文章链接: C语言边角料2:用纯软件来代替Mutex互斥锁。
首先明确一下:如果利用操作系统提供的互斥锁可以实现我需要的功能,我肯定使用互斥锁,之所以介绍 Peterson 这个算法,主要是因为它比较有意思,很小巧,可以为我们带来一些“规范的”编程之外的一些想法。
后台也有一些小伙伴对这个算法发表了一些留言,只要有想法都非常好,就怕不去想。
其中有位朋友提到,这个算法只能用在 2 个线程中,是否有其他的类似算法,可以用在多线程中?
晚上下班后,我就花了点时间找到下面的这个算法,分享一下!
这个算法我没有找到名字,暂且以作者的名字来称呼这个算法吧!
算法截图:
从算法的主体代码看,Hofri 算法主要是扩展了 Peterson 算法,都是使用 2 个全局变量数组来控制哪个线程可以进入临界区。
这个算法的论证比较复杂,都是一些数学方面的证明,文章在这里:Proof of a Mutual Exclusion Algorithm-- A `Class'ic Example, 1989 年发表,感兴趣的小伙伴可以自行去烧脑研究。
- // 线程操作的资源
- static int num = 0;
- // 创建 10 个线程
- #define THREAD_NUM 10
- // 这 2 个全局变量控制算法
- int flag[THREAD_NUM] = {0 };
- int turn[THREAD_NUM - 1] = {0};
- // 这是线程函数
- void *thread_routine(void *arg)
- {
- int index = *(int *)arg;
- for (int i = 0; i < 10000; ++i) // 线程循环次数
- {
- for (int j = 1; j < THREAD_NUM - 1; j++)
- {
- flag[index] = j;
- turn[j] = index;
- L:
- for (int k = 1; k < THREAD_NUM; ++k)
- {
- if (k == index) continue;
- if ((flag[k] >= j) && turn[j] == index)
- goto L;
- }
- }
- flag[index] = THREAD_NUM;
- // 关键代码段
- num++;
- flag[index] = 0;
- }
- return NULL;
- }
- void test()
- {
- // 用来传递线程的索引
- int index[THREAD_NUM] = {0};
- 创建多个线程,执行同一个函数
- pthread_t t[THREAD_NUM];
- for (int i = 0; i < THREAD_NUM; ++i)
- {
- index[i] = i;
- pthread_create(&t[i], NULL, thread_routine, &index[i]);
- }
- }
编译、执行,所有线程执行结束后,共享资源 num 变量可以得到正确的结果。
还是重复一下文章开头说的话,这里的算法仅仅是说明它可以完成保护临界区的功能,但是在实际项目中,真心不建议这么来用,毕竟代码的可维护性是非常重要的!
本文转载自微信公众号「IOT物联网小镇」,可以通过以下二维码关注。转载本文请联系IOT物联网小镇公众号。
说明 本文描述问题及解决方法同样适用于 弹性 MapReduce(EMR) 。 系统环境说明...
3月份GitHub上最热门的JavaScript开源项目排行已经出炉啦,一起来看看吧: 1. We...
如今,Apache Flink 行业应用几何?在降本增效的需求驱动下,企业如何实现数据与...
我们都知道开发过程中应该编写单元测试,实际上我们中的许多人都这样做。对于生...
《经济时报》最近的一份报告提到,宝马利用AWS开发了一个数据中心以提高效率。该...
随着云计算的日益普及,企业上云已经成为必然的趋势。Gartner曾做出一个预测:在...
活动简介 现在是数字化的时代 数据库已经成为企业的核心资产 运转和增长的驱动引...
2020年,对网络安全领域而言,是极不太平的一年。 这一年,勒索病毒、数据泄露、...
数据分析工作中,免不了与SQL数据库打交道,尤其是对库表的使用,所以如何对库表...
云计算通过互联网提供服务的模型 云计算的IDC机房连接到运营商的骨干网上对运营...