前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >C语言边角料3:用纯软件来代替Mutex互斥锁-多线程

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

作者头像
IOT物联网小镇
发布2021-05-13 11:24:32
3760
发布2021-05-13 11:24:32
举报
文章被收录于专栏:IOT物联网小镇
  • 一、前言
  • 二、Micha Hofri 算法
  • 三、测试代码
  • 四、总结

一、前言

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

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

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

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

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

二、Micha Hofri 算法

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

算法截图:

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

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

三、测试代码

代码语言:javascript
复制
// 线程操作的资源
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 变量可以得到正确的结果。

四、总结

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


本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2021-03-24,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 IOT物联网小镇 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 一、前言
  • 二、Micha Hofri 算法
  • 三、测试代码
  • 四、总结
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档