讲师中心 微信公众号
AI工具推荐 视频效率加速

C++中的std::lock是如何防止死锁的?(采用死锁规避算法同时加锁)

冬芳君_9277

冬芳君_9277

发布时间:2026-01-20 15:34:45

|

727人浏览过

|

来源于php中文网

原创

std::lock通过固定内存地址升序加锁策略避免死锁,原子性协调多锁获取,失败时释放已获锁并重试;而手动加锁易因顺序不一致导致死锁。

c++中的std::lock是如何防止死锁的?(采用死锁规避算法同时加锁)

std::lock 是怎么做到“同时加锁还不死锁”的

std::lock 本身不检测死锁,也不在运行时动态规避;它靠的是**固定顺序加锁策略**——对多个 std::mutex 对象,按内存地址升序尝试加锁。这个顺序是确定的、跨线程一致的,从而从根源上消除循环等待条件。

关键点在于:它不是“先抢一个再抢另一个”,而是原子性地协调多个互斥量的获取过程。如果某个锁已被其他线程持有,std::lock 会释放已成功获取的锁,并重试(内部使用回退+重试机制),避免单个锁长期占用导致的间接阻塞。

std::lock 和手写 lock1 + lock2 的区别在哪

手动顺序加锁(比如先 mtx1.lock() 再 mtx2.lock())极易因不同线程采用不同顺序而引发死锁。而 std::lock 强制所有调用者遵循同一顺序:

  • 它把所有传入的 mutex 指针转为地址,排序后依次尝试 try_lock()
  • 只要任一锁失败,就对已成功的锁调用 unlock(),然后短暂让出(如 std::this_thread::yield()),再重试整组
  • 这个过程对用户透明,无需关心重试逻辑
std::mutex mtx1, mtx2;
// 安全:std::lock 自动排序,不会因调用顺序不同而死锁
std::lock(mtx1, mtx2);

// 危险:以下两行在不同线程中交叉执行极易死锁
mtx1.lock(); mtx2.lock();  // 线程 A
mtx2.lock(); mtx1.lock();  // 线程 B

std::lock 的局限性和常见误用

它只解决“多 mutex 同时加锁”场景下的死锁问题,不适用于嵌套锁、递归锁、或混合使用 std::unique_lock 延迟构造等复杂情况。

C++14
C++14

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

下载

立即学习“C++免费学习笔记(深入)”;

  • 传入的 mutex 必须支持 try_lock()(std::mutex、std::timed_mutex 可以,但 std::recursive_mutex 不行)
  • 不能传入已处于锁定状态的 mutex,否则行为未定义
  • 若某 mutex 被 std::unique_lock 持有且处于 defer_lock 状态,需先确保其未被 lock,再传给 std::lock
  • 性能上比单个 lock() 略高开销,因为涉及地址比较、多次 try_lock() 和可能的重试

std::scoped_lock 是更现代的替代方案吗

是的。std::scoped_lock(C++17 起)在构造时调用 std::lock,并在析构时自动释放所有锁,兼具安全性和 RAII 语义。它比裸用 std::lock 更不容易出错:

  • 无需手动配对 unlock(),避免异常路径下漏解锁
  • 同样基于地址排序,死锁规避能力一致
  • 模板参数推导更严格,编译期就能捕获不支持 try_lock() 的类型
std::mutex mtx1, mtx2;
{
    std::scoped_lock lk(mtx1, mtx2); // 构造即 lock,作用域结束自动 unlock
    // ... 临界区
} // 这里自动 unlock,即使抛异常也安全

真正容易被忽略的是:地址排序依赖的是 mutex 对象本身的地址,不是指针值或包装器地址;如果通过指针或引用传入不同位置的 mutex 实例,排序结果依然稳定——但若在栈上临时构造 mutex 并传地址,就可能引入未定义行为。

热门AI工具

更多
二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

相关专题

更多
C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

359

2026.04.23

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

5927

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

2528

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

4258

2023.08.10

页面置换算法
页面置换算法

页面置换算法是操作系统中用来决定在内存中哪些页面应该被换出以便为新的页面提供空间的算法。本专题为大家提供页面置换算法的相关文章,大家可以免费体验。

6036

2023.08.14

讯飞绘文AI选题与热点策划合集
讯飞绘文AI选题与热点策划合集

本专题介绍讯飞绘文选题中心与AI选题方法,涵盖热点发现、赛道筛选、选题评估和内容规划,解决创作者找灵感难题。

0

2026.10.22

Playwright 测试失败怎么办
Playwright 测试失败怎么办

Playwright测试失败专题汇集超时、定位器匹配、浏览器提前关闭、依赖与插件配置、文件上传、SSL及Docker启动等故障文章,并介绍通过截图、报告和Trace定位错误。

20

2026.10.21

Playwright 页面操作指南
Playwright 页面操作指南

Playwright页面操作专题汇集元素定位、点击与输入、等待响应、多页面切换、Iframe、事件监听及文件处理的已审核文章,便于按操作场景查阅示例与常见问题。

0

2026.10.21

Playwright 入门教程
Playwright 入门教程

Playwright入门专题汇集测试框架安装、VS Code配置、录制脚本、编写首个用例、运行调试及查看报告的已审核文章,帮助初学者搭建端到端测试流程。

0

2026.10.21

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
GDB Reference Card
GDB Reference Card

共0课时 | 0人学习

《Debugging with GDB》用户手册
《Debugging with GDB》用户手册

共0课时 | 0人学习

Valgrind FAQ
Valgrind FAQ

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn