linux互斥锁:递归锁,非递归锁用法详解

本文讨论了在多线程编程中如何使用互斥锁解决资源竞争,区分了非递归锁和递归锁的概念,解释了它们的使用方式、返回值以及可能导致的死锁问题,强调了递归锁在嵌套函数和递归算法中的应用和选择锁策略的重要性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

        在实际的项目中经常涉及到共享资源,共享资源被多个线程访问会出现竞争现象;为了解决竞争和保护共享资源常用的机制之一就是互斥锁!

        互斥锁又分为递归锁和非递归锁,互斥锁默认是非递归锁,也是我们常用的上锁方式。那么什么是递归锁和非递归锁呢?

非递归锁(Non-recursive Lock)

        使用方式:非递归锁每次只能被同一个线程加锁一次,若再次尝试加锁会导致死锁。所以在使用非递归锁时,应确保同一个线程不会重复加锁。

        返回值:非递归锁的锁操作函数pthread_mutex_lock和pthread_mutex_trylock返回0表示加锁成功,非0则表示加锁失败。

示例代码:

pthread_mutex_t mutex;

void* func(void){
        pthread_mutex_lock(&mutex);
//        pthread_mutex_lock(&mutex);//上锁之后再申请锁,这样会造成死锁
        std::cout<<"thread : "<<pthread_self()<<" going to get lock 2st"<<std::endl;
//        pthread_mutex_unlock(&mutex);
        pthread_mutex_unlock(&mutex);
        return NULL;
}

int main(void)
{
    int ret = 0;
    pthread_t p;

    pthread_mutex_init(&mutex, NULL);//初始化互斥锁
    
    if((ret = pthread_create(&p, NULL, func, NULL)) != 0){
        fprintf(stderr, "create thread error. msg:%s", strerror(ret));
        exit(1);
    }

    return 0;
}

        注意:非递归锁在同一个线程中只允许申请一把锁,申请的锁被释放后才能继续申请;如果非递归锁已经被占用还没有解锁就继续申请非递归锁就会造成死锁现象。

递归锁(Recursive Lock)

        使用方式:递归锁允许同一个线程多次对锁进行加锁,只有在多次解锁之后才能真正释放锁。使用递归锁时,同一个线程重复加锁不会导致死锁。

        返回值:递归锁的锁操作函数pthread_mutex_lock和pthread_mutex_trylock返回0表示加锁成功,非0则表示加锁失败。

        示例代码:

pthread_mutex_t mutex;
pthread_mutexattr_t attr;

void* func(void){
        pthread_mutex_lock(&mutex);
        pthread_mutex_lock(&mutex);//可以申请多个锁不会造成死锁
        std::cout<<"thread : "<<pthread_self()<<" going to get lock 2st"<<std::endl;
        pthread_mutex_unlock(&mutex);
        pthread_mutex_unlock(&mutex);
        return NULL;
}

int main(void)
{
    int ret = 0;
    pthread_t p;

    if(( ret = pthread_mutexattr_init(&attr)) != 0){
        fprintf(stderr, "create mutex attribute error. msg:%s", strerror(ret));
        exit(1);
    }
    pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_RECURSIVE);
    pthread_mutex_init(&mutex, &attr);

    if((ret = pthread_create(&p, NULL, func, NULL)) != 0){
        fprintf(stderr, "create thread error. msg:%s", strerror(ret));
        exit(1);
    }

    return 0;
}

        注意:想要使用递归锁需要使用pthread_mutexattr_t 结构进行显式的属性设置,递归锁在一个线程中可以申请多把锁,但是申请锁就需要对应的释放多少锁。只有完全释放递归锁,才能被别的线程申请。

        所以,既然递归锁这么麻烦,又容易造成死锁为什么还会出现递归锁呢?

        首先明确递归锁的应用场景:嵌套函数调用,递归算法,代码重构和复用等。

        以递归函数为例:

int buf[5] = {1,2,3,4,5};

void func(int val)
{
        if(val >= 5)
                return;

        pthread_mutex_lock(&mutex);
        func(buf[val++]);
        pthread_mutex_unlock(&mutex);

        //其他线程处理模块

        return;
}

int main(void) {

        func(0);

        return 0;
}

        假设buf为共享资源,要对buf进行上锁是必然的,但是在递归函数中上锁如果使用非递归锁就会造成死锁,所以一般嵌套函数或者递归算法会使用递归锁进行临界区的保护。注意使用递归锁必须依次释放所有的锁不然会造成死锁。

        那么问题来了:那为什么不在递归算法外部:func(0)前后加锁,解锁呢?

        当然这样也可以;不过如果嵌套函数或递归算法中除了共享资源外还有其他处理,那么在最外部调用可能会延长解锁时间,导致程序效率降低;所以不同的锁要根据使用的场景决定到底使用什么锁。

### Linux 系统中的机制详解 #### 的基本概念 在多线程编程环境中,多个线程可能会尝试访问共享资源。为了防止数据竞争条件的发生,Linux 提供了多种同步原语来控制对这些资源的访问。主要通过加 `pthread_mutex_lock()`、解 `pthread_mutex_unlock()` 和测试加 `pthread_mutex_trylock()` 来管理定状态[^1]。 #### 不同类型的及其特点 - **普通 (Fast Mutex)** 此类适用于大多数场景,默认情况下允许同一进程内的任意线程执行解操作。 - **适应 (Error-checking Mutex)** 特殊之处在于仅限于最初成功申请该的那个特定线程才能对其进行释放动作;若违反此规定将会触发错误码 EPERM 返回给调用方表示权限不足。 - **递归 (Recursive Mutex 或 Nested Locks)** 尽管官方文档指出需遵循创建者负责解除的原则,但在实际测试中发现并不严格遵守这一规则——即非持有者的其他线程也可能完成解封工作而不报错。不过出于安全性和可预测性的考虑,还是应该坚持原始设计意图行事。 - **自旋 (Spinlocks)** 主要用在内核空间里保护临界区的数据结构免受并发修改的影响。其特点是当试图获取已被占用的时不会立即进入休眠而是持续循环检查直到可用为止。例如初始化未上的状态可以通过宏定义 `.lock = __SPIN_LOCK_UNLOCKED(&rcu_bh_ctrlblk.lock)` 实现[^2]。 #### 使用注意事项 考虑到程序健壮性,在用户态应用开发期间推荐优先选用带中断响应特性的互斥体版本`mutex_lock_interruptible`而非普通的`mutex_lock`,后者一旦遭遇外部信号干扰便无法中途退出从而可能导致死风险增加[^3]。 ```c // 推荐做法:使用带有中断处理能力的互斥锁 if (mutex_lock_interruptible(&my_mutex)) { printf("Lock acquisition was interrupted by a signal.\n"); } else { // Critical section here... mutex_unlock(&my_mutex); } ``` #### 唤醒等待队列成员的方法 除了上述提到的各种之外,还有专门用于唤醒处于睡眠状态的任务函数系列如`wake_up`, 它们依据传入参数的不同可以选择性激活符合条件的一个或全部等待者[^4]: ```c #define wake_up(x) __wake_up(x, TASK_NORMAL, 1, NULL) #define wake_up_all(x) __wake_up(x, TASK_NORMAL, 0, NULL) void example_wakeup(struct wait_queue_head *wq){ // 只唤醒单个匹配项 wake_up(wq); // 或者一次性叫醒所有人 wake_up_all(wq); } ``` #### 异常情况下的核心转储功能 最后值得一提的是,当应用程序遇到致命错误而意外终止的时候,操作系统会自动保存现场以便后续分析诊断问题所在。这就是所谓的 core dump 文件生成过程[^5]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

迷茫的蜉蝣

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值