在C++多线程开发过程中，当多个线程需要同时持有多个互斥锁才能执行临界区代码时，如果加锁顺序不一致，很容易出现死锁问题。死锁发生后，相关线程会永久阻塞，程序功能无法正常实现，因此掌握可靠的防死锁方案非常重要。
死锁的成因回顾
死锁的产生需要满足四个条件，分别是互斥、持有并等待、不可剥夺、循环等待。在多线程加锁场景中，最常见的就是循环等待条件被触发。比如线程A先获取互斥锁m1，再尝试获取互斥锁m2，而线程B先获取互斥锁m2，再尝试获取互斥锁m1，两个线程都在等待对方释放自己需要的锁，最终就会形成死锁。
std::lock的工作原理
std::lock是C++11引入的标准库函数，定义在<mutex>头文件中，它可以同时尝试获取多个互斥锁，并且内部采用了避免死锁的算法，保证要么所有互斥锁都获取成功，要么一个都不获取，不会出现部分获取的情况。它的基本用法是传入多个互斥锁的引用，函数会阻塞直到所有互斥锁都可用。
顺序加锁的具体实现方案
方案1：固定全局加锁顺序
所有线程都按照预先定义好的固定顺序获取互斥锁，从根本上消除循环等待条件。这种方式实现简单，只需要团队统一加锁顺序规范即可。
#include <mutex>
#include <thread>
#include <iostream>
std::mutex m1;
std::mutex m2;
// 固定先加m1，再加m2，所有线程都遵循这个顺序
void thread_func_a() {
std::lock_guard<std::mutex> lock1(m1); // 先获取m1
std::lock_guard<std::mutex> lock2(m2); // 再获取m2
std::cout << "线程A执行临界区代码" << std::endl;
}
void thread_func_b() {
std::lock_guard<std::mutex> lock1(m1); // 同样先获取m1
std::lock_guard<std::mutex> lock2(m2); // 再获取m2
std::cout << "线程B执行临界区代码" << std::endl;
}
int main() {
std::thread t1(thread_func_a);
std::thread t2(thread_func_b);
t1.join();
t2.join();
return 0;
}
方案2：使用std::lock配合std::adopt_lock同时获取多锁
当需要根据运行时的情况动态决定加锁顺序，或者需要同时获取多个锁时，可以使用std::lock同时锁定多个互斥锁，再配合std::adopt_lock标记让lock_guard接管已经获取的锁，避免手动解锁的麻烦。
#include <mutex>
#include <thread>
#include <iostream>
std::mutex m1;
std::mutex m2;
void thread_func() {
// 同时尝试获取m1和m2，内部会处理死锁问题
std::lock(m1, m2);
// 使用adopt_lock标记，说明互斥锁已经被当前线程获取，lock_guard只负责释放
std::lock_guard<std::mutex> lock1(m1, std::adopt_lock);
std::lock_guard<std::mutex> lock2(m2, std::adopt_lock);
std::cout << "线程执行临界区代码" << std::endl;
}
int main() {
std::thread t1(thread_func);
std::thread t2(thread_func);
t1.join();
t2.join();
return 0;
}
方案3：为互斥锁定义统一的大小顺序
给每个互斥锁定义一个唯一的优先级或者地址排序，所有线程都按照这个排序结果依次加锁，保证不同线程的加锁顺序一致。这种方式适合互斥锁数量较多或者动态场景。
#include <mutex>
#include <thread>
#include <iostream>
#include <algorithm>
std::mutex m1;
std::mutex m2;
std::mutex m3;
void thread_func() {
// 将需要获取的互斥锁放到数组中，按照地址排序得到固定顺序
std::mutex* mutex_arr[] = {&m1, &m2, &m3};
std::sort(std::begin(mutex_arr), std::end(mutex_arr));
// 按照排序后的顺序依次加锁
std::lock_guard<std::mutex> lock1(*mutex_arr[0]);
std::lock_guard<std::mutex> lock2(*mutex_arr[1]);
std::lock_guard<std::mutex> lock3(*mutex_arr[2]);
std::cout << "线程执行多锁临界区代码" << std::endl;
}
int main() {
std::thread t1(thread_func);
std::thread t2(thread_func);
t1.join();
t2.join();
return 0;
}
方案对比与注意事项
固定全局加锁顺序实现最简单，适合互斥锁数量少、场景固定的情况，缺点是需要团队严格遵守规范，新增锁时容易遗漏顺序。使用std::lock的方案通用性更强，不需要预先定义顺序，适合动态场景，但是需要注意搭配std::adopt_lock使用，避免重复加锁。地址排序方案适合互斥锁数量多的场景，但是排序逻辑会增加少量开销。
无论使用哪种方案，都要避免在一个线程中长时间持有互斥锁，尽量缩小临界区范围，同时不要在持有锁的情况下调用可能阻塞的操作，这样才能进一步降低死锁出现的概率。