c++oding="utf-8" ?>
死锁是多线程程序卡死的主因,必须同时满足互斥、持有并等待、不可剥夺、循环等待四个条件;解决核心是破坏任一条件,常用策略包括固定加锁顺序、std::lock原子锁定、超时机制和锁层级检测。

卡死不是崩溃,gdb attach 之后看到线程全在 futex 或 pthread_mutex_lock 上?
大概率是死锁或资源争用导致的无限等待。生产环境复现难,核心在于「随机」——说明触发条件依赖特定时序或状态组合。别指望日志里直接看到“deadlock”字样,得从阻塞点反推。
- 先用
ps -T -p $PID看线程状态,STAT列出现SL+(可中断睡眠+优先级提升)或DL(不可中断睡眠)要警惕 -
gdb attach $PID后执行info threads,再对每个线程跑bt,重点关注卡在__lll_lock_wait、sem_wait、std::mutex::lock()的栈帧 - 如果多个线程都卡在同一个
std::mutex或pthread_mutex_t的 lock 调用上,且持有者线程栈里没 unlock 调用——基本坐实死锁
怎么让“随机卡死”变得可复现?
靠压测 + 时序扰动。C++ 多线程问题本质是竞态,不控制调度就等于靠运气。
- 用
LD_PRELOAD注入轻量级调度干扰库,比如librace或自写 hook,在pthread_mutex_lock/std::this_thread::yield()前插入随机 usleep(1~100),放大竞态窗口 - 关闭编译器优化:
-O0编译,避免指令重排掩盖问题;加-D_GLIBCXX_DEBUG开启 libstdc++ 调试模式,捕获非法迭代器、未初始化 mutex 等 UB - 用
stress-ng --cpu 4 --io 2 --timeout 60s在目标机器制造 CPU/IO 压力,改变线程调度节奏,常能稳定复现原本偶发的卡死
std::mutex 和 std::shared_mutex 混用会出什么问题?
不会直接报错,但极易引发隐式死锁。特别是读多写少场景下,有人图省事把 std::shared_mutex 当普通锁用,结果 shared_lock 和 unique_lock 之间形成环路等待。
- 检查所有
std::shared_mutex使用点:是否所有shared_lock都配对了unlock_shared()?有没有在持shared_lock期间又尝试获取unique_lock? -
std::shared_mutex不支持递归锁,同一线程重复调用lock_shared()会导致未定义行为(常见表现就是卡在内核 futex) - 更隐蔽的是 RAII 对象生命周期:比如
std::shared_lock<:shared_mutex> lk(mtx)</:shared_mutex>被临时赋值给另一个变量,原对象析构时提前释放锁,后续访问就变成裸奔
生产环境不能停机,怎么拿到有效现场?
别等卡死后再抓,要提前埋点。关键不是 dump 内存,而是记录锁持有关系和线程状态快照。
- 用
perf record -e sched:sched_switch -p $PID -g --call-graph=dwarf录制调度事件,卡住后perf script能看出哪些线程长期得不到 CPU,配合栈回溯定位阻塞源头 - 定期写入
/proc/$PID/stack到文件(每秒一次),这个文件反映内核态真实等待状态,比用户态gdb bt更可信 - 在关键 mutex 构造/析构处打 tracepoint(用
libbpf或systemtap),记录谁 lock、谁 unlock、耗时是否异常(>100ms 就报警)
真正麻烦的不是复现,是确认“卡死”到底是死锁、活锁还是优先级反转。很多 case 最后发现是第三方库用了 pthread_mutex_timedlock 但没处理超时返回,逻辑卡在重试循环里——这种得顺着调用链一层层扒符号。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











