多线程互斥量进阶

文章探讨了不同类型的互斥量(如正常、定时、递归和错误检查)在并发编程中的行为,重点分析了死锁的概念和常见问题,包括死锁条件、循环等待以及如何通过按序获取和设置等待超时避免死锁。
摘要由CSDN通过智能技术生成

问题

一个线程多次尝试获取同一个互斥量,会发生什么?

不同类型的互斥量

Linux 上的示例程序

互斥锁类型实验

test-1.c

#define _GNU_SOURCE     /* To get pthread_getattr_np() declaration */
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <memory.h>
#include <time.h>

int main()
{
    printf("PTHREAD_MUTEX_NORMAL = %d\n", PTHREAD_MUTEX_NORMAL);
    printf("PTHREAD_MUTEX_TIMED_NP = %d\n", PTHREAD_MUTEX_TIMED_NP);
    
    printf("PTHREAD_MUTEX_RECURSIVE = %d\n", PTHREAD_MUTEX_RECURSIVE);
    printf("PTHREAD_MUTEX_RECURSIVE_NP = %d\n", PTHREAD_MUTEX_RECURSIVE_NP);
    
    printf("PTHREAD_MUTEX_ERRORCHECK = %d\n", PTHREAD_MUTEX_ERRORCHECK);
    printf("PTHREAD_MUTEX_ERRORCHECK_NP = %d\n", PTHREAD_MUTEX_ERRORCHECK_NP);
    
    printf("PTHREAD_MUTEX_DEFAULT = %d\n", PTHREAD_MUTEX_DEFAULT);
    
    return 0;
}

程序运行结果如下图所示:

可以看出互斥锁有不同的类型

死锁的概念

等待关系

  • 线程所需资源被其他线程所持有,进而必须等待 (无法继续执行)

循环等待

  • 当线程之间出现循环等待关系时,即:发生死锁

下面的程序有问题吗?为什么?

普通互斥锁重复上锁实验

test-2.c

#define _GNU_SOURCE     /* To get pthread_getattr_np() declaration */
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <memory.h>
#include <time.h>

int main()
{
    int r = 0;
    pthread_mutex_t mutex;
    pthread_mutexattr_t mattr;
    
    pthread_mutexattr_init(&mattr);
    pthread_mutex_init(&mutex, &mattr);
    
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    
    printf("Hello World!\n");
    
    pthread_mutex_unlock(&mutex);
    pthread_mutex_unlock(&mutex);

    pthread_mutexattr_destroy(&mattr);
    pthread_mutex_destroy(&mutex);
    
    return 0;
}

该程序没有显示的指定互斥锁类型,所以是普通的互斥锁,对普通互斥锁进行两次上锁

程序运行结果如下图所示:

通过打印可以看出,第一次上锁的时候成功了,第二次上锁的时候卡死了,说明普通互斥锁如果重复进行上锁的话,会导致死锁

互斥量的类型设置

不同类型的互斥量示例

PTHREAD_MUTEX_RECURSIVE 实验

test-3.c

#define _GNU_SOURCE     /* To get pthread_getattr_np() declaration */
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <memory.h>
#include <time.h>

void* thread_entry(void* arg)
{  
    pthread_mutex_t* pm = arg;
    
    sleep(1);
    
    pthread_mutex_lock(pm);

    printf("%s\n", __FUNCTION__);
        
    pthread_mutex_unlock(pm);
    
    pthread_detach(pthread_self());
    
    return NULL;
}

int main()
{
    int r = 0;
    pthread_t t;
    pthread_mutex_t mutex;
    pthread_mutexattr_t mattr;
    
    pthread_mutexattr_init(&mattr);
    
    pthread_mutexattr_settype(&mattr, PTHREAD_MUTEX_RECURSIVE);
    
    pthread_mutex_init(&mutex, &mattr);
    
    pthread_create(&t, NULL, thread_entry, &mutex);
    
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    
    printf("Hello World!\n");
    
    pthread_mutex_unlock(&mutex);
    
    while( 1 )
    {
        sleep(1);
    }
    
    return 0;
}

第 35 行,将互斥锁的类型设置为递归锁,然后主线程会创建一个子线程,子线程会先 sleep 1s,确保主线程上锁两次、解锁一次的操作执行完成后,子线程才能上锁、解锁

程序运行结果如下图所示:

可以看出主线程两次重复上锁的操作均已成功,并且成功打印出来,而子线程却没有打印出来,子线程出现死锁

这是因为递归锁允许同一个线程多次获取互斥锁,但是获取了多少次递归锁,就要释放多少次,由于主线程获取了两次递归锁,只释放了一次,导致子线程永远无法获取递归锁,从而导致子线程出现死锁

PTHREAD_MUTEX_ERRORCHECK 实验

test-4.c

#define _GNU_SOURCE     /* To get pthread_getattr_np() declaration */
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <memory.h>
#include <time.h>

int main()
{
    int r = 0;
    pthread_t t;
    pthread_mutex_t mutex;
    pthread_mutexattr_t mattr;
    
    pthread_mutexattr_init(&mattr);
    
    pthread_mutexattr_settype(&mattr, PTHREAD_MUTEX_ERRORCHECK);
    
    pthread_mutex_init(&mutex, &mattr);
    
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    r = pthread_mutex_lock(&mutex);
    printf("r = %d\n", r);
    
    printf("Hello World!\n");
    
    pthread_mutex_unlock(&mutex);
	pthread_mutex_unlock(&mutex);
    
    
    return 0;
}

第 18 行,将互斥锁的类型设置为 PTHREAD_MUTEX_ERRORCHECK,然后重复进行上锁

程序运行结果如下图所示:

通过打印可以看出,第一次获取锁的时候成功了,第二次获取锁的时候失败了,返回值不等于 0,但也没有发生死锁

所以,PTHREAD_MUTEX_ERRORCHECK 这个锁类型,会在同一个线程重复获取互斥锁的时候返回失败

互斥量小结

PTHREAD_MUTEX_NORMAL

  • 一旦互斥量上锁 "上锁",任何线程均无法再次获取互斥量

PTHREAD_MUTEX_RECURSIVE

  • 同一个线程可多次获取互斥量,同时需要相同次数的释放互斥量

PTHREAD_MUTEX_ERRORCHECK

  • 同一个线程再次获取互斥量时,将错误返回

下面的程序执行后会发生什么?

互斥锁必须成对的获取和释放,并且不允许没上锁就解锁,这个程序的行为是未定义的

死锁的 4 大条件

存在互斥资源

  • 代码中存在临界区 => 即:多个线程可能同时进入临界区

持有资源并等待资源

  • 线程可能需要同时获取多个互斥量才能进入临界区

资源不可剥夺

  • 线程获取的互斥量不能被其他线程再次获取

存在循环等待

  • 线程与资源之间的等待关系存在环路

如何避免死锁?

破坏死锁条件中的任意一个!

死锁模型

循环等待死锁实验

test-5.c

#define _GNU_SOURCE     /* To get pthread_getattr_np() declaration */
#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <memory.h>
#include <time.h>

pthread_mutex_t m1 = PTHREAD_MUTEX_INITIALIZER;
pthread_mutex_t m2 = PTHREAD_MUTEX_INITIALIZER;

int g_count = 0;

void* thread_1(void* arg)
{  
    while(1)
    {
        pthread_mutex_lock(&m1);
        pthread_mutex_lock(&m2);

        printf("%s : %d\n", __FUNCTION__, g_count++);
        
        usleep(100);
            
        pthread_mutex_unlock(&m1);
        pthread_mutex_unlock(&m2);
    }
    
    pthread_detach(pthread_self());
    
    return NULL;
}

void* thread_2(void* arg)
{  
    while(1)
    {
        pthread_mutex_lock(&m2);
        pthread_mutex_lock(&m1);

        printf("%s : %d\n", __FUNCTION__, g_count++);
        
        usleep(100);
            
        pthread_mutex_unlock(&m1);
        pthread_mutex_unlock(&m2);
    }
    
    pthread_detach(pthread_self());
    
    return NULL;
}

int main()
{
    int r = 0;
    pthread_t t;
    
    pthread_create(&t, NULL, thread_1, NULL);
    pthread_create(&t, NULL, thread_2, NULL);
    
    printf("Hello World!\n");
    
    while( 1 )
    {
        sleep(1);
    }
    
    return 0;
}

主线程中创建了两个子线程,子线程1 先获取互斥锁 m1,再获取互斥锁 m2;而子线程2 先获取互斥锁 m2,再获取互斥锁 m1,子线程1 和 子线程2 的资源竞争存在一个环路关系,可能会导致死锁

程序运行结果如下图所示:

打印出 thread_2 : 2011 后,就再无打印

两个子线程由于资源竞争存在一个环路关系,就有可能导致死锁的发生;当子线程1 获取互斥锁 m1,子线程2 获取互斥锁 m2 的时候就会导致死锁,两个子线程永远都获取不到另一个互斥锁

要想解决这个程序可能导致死锁的问题,可以让子线程1 和子线程2 按照相同的顺序来获取互斥锁,比如都是先获取到互斥锁 m1,才能获取互斥锁 m2,这样就能解决死锁问题

避免死锁的经验方法

按序获取

  • 如果存在多个互斥量,必须按序获取互斥量

设置等待超时

  • 若超时未能获取互斥量,则释放已获取的互斥量

全局唯一互斥量

  • 仅使用一个全局互斥量对所有临界区进行访问 (不建议!)

死锁判断示例

假设有 三个线程 (A,B,C) 和三个互斥量 (R,S,T),三个线程对互斥量的获取及释放如下,问:是否可能发生死锁?

有可能发生死锁,当线程A 获取到 R,线程B 获取到 S,线程C 获取到 T的时候就会发生死锁

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值