c++ 多线程死锁调试
c++标准库中的锁
- std::mutex:最基本的互斥对象
- std::recursive_mutex:可以递归使用(重入)的互斥对象,递归调用不会导致死锁
- std::timed_mutex:带有超时功能,可以提供一个等待时间,如果超过这个时间则不会继续等待,返回失败
- std::recursive_timed_mutex:超时可重入互斥对象
RAII
- std::lock_gurad
- std::unique_lock
- std::shared_lock
std::mutex
std::mutex _mutex;
std::lock_guard<std::mutex> lock1(_mutex);
std::lock_guard<std::mutex> lock2(_mutex);
std::timed_mutex
如果使用超时功能,需要调用try_lock_for
方法
std::timed_mutex _mutex;
int get()
{
if(_mutex.try_lock_for(std::chrono::milliseconds(2000)))
{
_mutex.unlock();
}
}
void get(int data)
{
if(_mutex.try_lock_for(std::chrono::milliseconds(2000)))
{
_mutex.unlock();
}
}
recursive_mutex和recursive_timed_mutex的使用方法与前面的mutex和timed_mutex一一对应,只是recursive版本可以重入,可以递归调用。只需要将mutex替换成recursive_mutex,将timed_mutex替换成recursive_timed_mutex即可。
死锁调试(Linux)
/*test.cpp*/
#include <thread>
#include <iostream>
#include <mutex>
using namespace std;
mutex _mutex1;
mutex _mutex2;
int data1;
int data2;
int
do_work_1()
{
std::cout << "线程函数do_work_1开始\n" << std::endl;
lock_guard<mutex> locker1(_mutex1);
//模拟做一些事情
data1++;
std::this_thread::sleep_for(std::chrono::seconds(1));
lock_guard<mutex> locker2(_mutex2);
data2++;
std::cout << "线程函数do_work_1结束 " << std::endl;
return 0;
}
int
do_work_2()
{
std::cout << "线程函数do_work_2开始\n" << std::endl;
lock_guard<mutex> locker2(_mutex2);
//模拟做一些事情
data2++;
std::this_thread::sleep_for(std::chrono::seconds(1));
lock_guard<mutex> locker1(_mutex1);
data1++;
std::cout << "线程函数do_work_2结束 " << std::endl;
return 0;
}
int
main()
{
thread t1(do_work_1);
thread t2(do_work_2);
t1.join();
t2.join();
cout << "线程运行结束" << endl;
return 0;
}
调试思路(4.4.2):
gdb ./test
(gdb) r #程序卡住
(gdb) ctrl + c #使程序中断
(gdb) bt #查看当前调用栈情况
(gdb) f 3 #将栈帧切换到main函数
#初步预测是死锁,接下来查看线程执行了什么操作
(gdb) i threads #查看当前进程中包含哪些线程
(gdb) t 2 #切换到2号线程
(gdb) bt #查看2号线程的堆栈信息,找到代码所在的栈帧
(gdb) f 5 #切换到代码所在栈帧
(gdb) l #查看源码
#确实发生死锁,需要看其它线程进一步确认
(gdb) t 3
(gdb) bt
(gdb) f 5
(gdb) l
死锁条件
- 互斥条件
- 保持和请求条件
- 不可剥夺条件
- 循环等待条件
解决办法
- 多个线程按照相同的顺序来使用锁
- 减少锁的使用范围,尽量把锁的使用范围局限于最小作用域中
- 使用超时机制
- 使用
RAII
机制