0

0

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

冰火之心

冰火之心

发布时间: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 延迟构造等复杂情况。

Tome
Tome

先进的AI智能PPT制作工具

下载

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

  • 传入的 mutex 必须支持 try_lock()std::mutexstd::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工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
堆和栈的区别
堆和栈的区别

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

443

2023.07.18

堆和栈区别
堆和栈区别

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

605

2023.08.10

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

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

765

2023.08.10

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

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

497

2023.08.14

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

74

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

38

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

83

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

97

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

223

2026.03.05

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
国外Web开发全栈课程全集
国外Web开发全栈课程全集

共12课时 | 1万人学习

进程与SOCKET
进程与SOCKET

共6课时 | 0.4万人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号