std::recursive_mutex被两线程锁定及多线程多次锁定是否会死锁？

Hey there! Great question—let's break down how std::recursive_mutex behaves when multiple threads are involved, since its "recursive" superpower is easy to misinterpret.

两个线程锁定时会不会死锁？ #

Short answer: 不会死锁，但会出现线程阻塞等待的情况。

std::recursive_mutex的核心本质还是个互斥量——同一时间只能被一个线程持有，不管这个线程对它加了多少次锁。举个场景：

• 线程A先调用mtx.lock()两次（因为是递归锁，同一线程多次加锁完全安全，不会死锁）
• 此时线程B尝试调用mtx.lock()，它会立刻进入阻塞状态，不会继续执行
• 直到线程A调用mtx.unlock()两次（解锁次数必须和加锁次数匹配），释放掉这个互斥量的所有权，线程B才能获取到锁，继续执行

死锁的前提是两个线程互相持有对方需要的锁，形成循环等待，比如线程A拿了锁1等锁2，线程B拿了锁2等锁1。但这里只有一个递归互斥量，不存在循环等待的条件，所以不会触发死锁。

多线程多次锁定时会不会死锁？ #

同样的逻辑，单纯多个线程争抢同一个std::recursive_mutex的话，不会死锁。

不管有多少个线程，只要这个递归互斥量被某一个线程持有（哪怕该线程对它加了N次锁），其他所有线程尝试加锁都会进入等待队列，直到持有线程完全释放锁（解锁次数=加锁次数）。

只有当你在多线程场景中引入了多个不同的锁，并且线程间的锁获取顺序不一致时，才有可能触发死锁——比如线程A先拿锁A再等锁B，线程B先拿锁B再等锁A。这种死锁和是不是递归互斥量无关，是多线程锁管理的通用问题，和std::recursive_mutex本身的特性没关系。

举个简单的安全示例：

#include <iostream>
#include <thread>
#include <mutex>

std::recursive_mutex mtx;

void recursive_op(int depth) {
    mtx.lock();
    std::cout << "Thread " << std::this_thread::get_id() << " locked, depth: " << depth << "\n";
    if (depth > 0) {
        recursive_op(depth - 1);
    }
    mtx.unlock();
}

int main() {
    std::thread t1(recursive_op, 2);
    std::thread t2(recursive_op, 1);
    
    t1.join();
    t2.join();
    return 0;
}

在这个代码里，t1会先拿到锁，递归加锁3次，然后逐步解锁；t2会一直等待，直到t1完全释放锁后才会开始执行，全程不会死锁。

内容的提问来源于stack exchange，提问作者SSteven