C++如何防止多线程程序中的死锁风险 _ 资源排序加锁与scoped_lock【干货】

阿杰同学_5127

阿杰同学_5127

2026-04-30

868人浏览

原创

固定锁顺序能破循环等待,因为其直接消除死锁四条件中的“循环等待”:按地址、ID或字典序统一加锁,使线程A等B、B等A的闭环无法形成。

c++如何防止多线程程序中的死锁风险 _ 资源排序加锁与scoped_lock【干货】

死锁不是“会不会发生”,是“什么时候触发”——只要两个线程以不同顺序申请同一组 std::mutex,且都已持有一个再等另一个,程序就会永久卡在 lock() 或 std::scoped_lock 构造里,CPU 占用归零,gdb 显示停在 __pthread_mutex_lock。

为什么固定锁顺序能破循环等待

死锁的四个必要条件中,“循环等待”最易被工程手段打破。而固定顺序(比如始终先锁地址小的、ID 小的、或按变量名字典序)直接让“线程 A 等 B、B 等 A”这个环无法形成。

  • 所有跨资源操作前,对锁指针做 std::less<:mutex>{}(p1, p2) 比较,统一按升序加锁
  • 避免用裸指针/引用跨函数传锁——容易在调用链中丢失顺序控制权
  • 不要依赖“逻辑上应该先动哪个”,而要用可判定、可复现的规则(如内存地址)
  • 注意:std::recursive_mutex 不支持 std::scoped_lock 默认构造,若混用会编译失败

std::scoped_lock 是怎么防住顺序错误的

std::scoped_lock 不是靠“猜顺序”,而是内部调用 std::lock 实现的原子加锁:它会对传入的所有 std::mutex 指针排序(通常用地址),再按序尝试获取;若某一步失败,就释放已得锁并重试,直到全部成功或线程被中断。

  • 写 std::scoped_lock lock(mtx_b, mtx_a); 和 std::scoped_lock lock(mtx_a, mtx_b); 效果完全一样
  • 它不支持 std::timed_mutex 或 std::shared_mutex(除非显式指定策略模板参数)
  • 析构时自动释放全部锁,没有 unlock() 接口——想提前释放?说明你该拆分临界区了
  • 和 std::unique_lock 混用要小心:std::unique_lock 可延迟加锁、可转移,但一旦和 scoped_lock 共享同一把锁,RAII 生命周期就难对齐

std::try_lock 适合什么场景,又容易栽在哪

当锁来自不同模块、无法约定全局顺序(比如插件系统或回调注入),std::try_lock 是唯一可控的退路。但它不是“加锁失败就跳过”,而是要求你手动管理回滚。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • std::try_lock 返回 -1 表示至少一个锁失败,其余成功获取的锁**不会自动释放**,必须你显式调用 mtx.unlock()
  • 别用 std::timed_mutex::try_lock_for 替代——它只管单个锁,多个锁之间无协调,仍可能部分成功、部分阻塞
  • 重试时建议搭配 std::chrono::steady_clock 做指数退避,避免活锁;最多试 3–5 次,之后应记录告警或降级处理
  • 常见误用:在持有 std::shared_lock 期间调用 std::try_lock 写锁——读锁未释放,写锁等不到,新读请求又在排队,直接堵死

调试阶段必须开的检测开关

生产环境靠设计预防,调试阶段靠工具暴露隐患。ThreadSanitizer(TSan)是目前最实用的运行时辅助工具。

  • 编译加 -fsanitize=thread -O0(开启 TSan 必须关优化,否则漏报)
  • 它不防止死锁,但会在复现路径中报告 potential deadlock due to inconsistent lock ordering
  • 注意:TSan 对 std::shared_mutex 的混合读写场景敏感度较低,这种情况下要靠人工审查锁升级路径
  • 线上禁用 TSan——它有 5–10 倍性能开销,且会干扰 futex 调度行为

最容易被忽略的点是:std::scoped_lock 只解决“同一批锁”的顺序问题,它不管锁的粒度是否合理、不管函数内是否调用了可能间接持锁的第三方代码(比如日志库、序列化函数)、也不管跨线程对象生命周期——这些地方才是真实项目里死锁反复冒头的温床。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

3829

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2508

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1440

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1378

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1456

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2438

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

4080

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

19575

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

569

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习