0

0

C++的std::lock如何一次性锁定多个互斥量以避免死锁? (锁顺序算法)

裘德小鎮的故事

裘德小鎮的故事

发布时间:2026-02-18 17:23:46

|

153人浏览过

|

来源于php中文网

原创

能,std::lock通过内部试错回退策略协调多锁顺序,配合std::defer_lock构造的std::unique_lock可避免死锁;手动地址排序不可靠,易因内存布局和竞态导致运行时失效。

c++的std::lock如何一次性锁定多个互斥量以避免死锁? (锁顺序算法)

std::lock 能否避免死锁?能,但必须配合 std::defer_lock

直接调用 std::lock 本身不会自动规避死锁——它只是按“死锁安全顺序”尝试加锁。真正起作用的是你**不手动调用 mutex.lock()**,而是先用 std::defer_lock 构造 std::unique_lock,再把它们传给 std::lock。否则你手动画锁顺序,反而容易翻车。

常见错误现象:std::lock(m1, m2) 直接传裸 std::mutex 会编译失败(std::mutex 不可拷贝、不可移动,且无默认构造);有人误以为传引用就行,结果触发未定义行为。

  • 必须用 std::unique_lock<:mutex></:mutex>(或 std::shared_lock)包装互斥量,且构造时指定 std::defer_lock
  • std::lock 内部使用试错+回退策略:它可能多次尝试不同顺序加锁,直到全部成功或全部失败
  • 如果某个 std::unique_lock 已处于锁定状态,再传给 std::lock 会导致未定义行为
std::mutex m1, m2;
std::unique_lock<std::mutex> lk1{m1, std::defer_lock};
std::unique_lock<std::mutex> lk2{m2, std::defer_lock};
std::lock(lk1, lk2); // 安全:内部协调顺序,不会死锁

为什么不能自己排序 mutex 指针再逐个 lock?

靠地址排序(比如 if (&m1 )看似简单,但实际极不可靠。问题不在逻辑,而在**对象生命周期和内存布局的不确定性**。

  • 全局/静态 std::mutex 的地址在不同编译器、不同构建模式下可能变化,导致跨模块锁序不一致
  • 栈上临时 std::mutex(虽然少见)地址完全不可预测
  • 多个线程同时做地址比较 + 加锁,中间存在竞态窗口:A 线程刚比完地址,B 线程就完成了两个锁,A 接着按旧判断执行,照样死锁

换句话说:手写排序是纸面正确,运行时失效。而 std::lock 的算法在标准库层面保证了原子性协调。

editGPT
editGPT

一款浏览器插件,让ChatGPT修改、校对英语文章

下载

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

std::lock 的异常安全性与失败处理

std::lock 在任意一个互斥量加锁失败(如被 std::defer_lock 包装的锁已损坏,或系统资源不足)时,会自动释放所有已成功的锁,并抛出 std::system_error。这点常被忽略,导致资源泄漏或状态不一致。

  • 不要假设 std::lock 总是成功;必须用 try-catch 或确保后续逻辑能容忍失败
  • 若需非阻塞尝试,应改用 std::try_lock,它返回 -1 表示全部失败,非负值表示首个失败位置索引
  • std::lock 是阻塞式;没有超时版本,如需超时,请用 std::chrono 配合 std::unique_lock::try_lock_for 手动实现
try {
    std::lock(lk1, lk2);
} catch (const std::system_error& e) {
    // e.code() 可能是 std::errc::resource_unavailable_try_again
    // 此时 lk1 和 lk2 仍为 unlocked 状态,可重试或降级
}

std::scoped_lock 是更现代的替代方案吗?是,但要注意 C++ 标准版本

std::scoped_lock(C++17 起)本质是 std::lock + RAII 的封装,语法更简洁,且自动管理生命周期。但它不是“升级版”,而是“更少出错的写法”。

  • std::scoped_lock 构造即加锁,析构自动解锁,无法像 std::unique_lock 那样延迟或转移所有权
  • 如果你需要中途手动 unlock 再 relock,或者要传递锁对象,仍得用 std::unique_lock + std::lock
  • C++14 及更早必须用 std::unique_lock + std::lock;混用新旧写法时注意编译器支持
// C++17+
std::scoped_lock lk{m1, m2}; // 简洁、安全、自动释放

真正容易被忽略的是:哪怕用了 std::scoped_lock,如果多个线程对同一组互斥量以不同顺序传入(比如线程 A 写 scoped_lock{m1,m2},线程 B 写 scoped_lock{m2,m1}),std::scoped_lock 依然能防死锁——因为它的底层仍是调用 std::lock 做顺序协商。但前提是,所有地方都统一用它,而不是一部分用 scoped_lock,另一部分还手写 m1.lock(); m2.lock();

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

817

2023.08.22

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

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

419

2023.07.18

堆和栈区别
堆和栈区别

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

594

2023.08.10

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

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

675

2023.08.10

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

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

455

2023.08.14

pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法

本专题系统整理pixiv网页版官网入口及登录访问方式,涵盖官网登录页面直达路径、在线阅读入口及快速进入方法说明,帮助用户高效找到pixiv官方网站,实现便捷、安全的网页端浏览与账号登录体验。

473

2026.02.13

微博网页版主页入口与登录指南_官方网页端快速访问方法
微博网页版主页入口与登录指南_官方网页端快速访问方法

本专题系统整理微博网页版官方入口及网页端登录方式,涵盖首页直达地址、账号登录流程与常见访问问题说明,帮助用户快速找到微博官网主页,实现便捷、安全的网页端登录与内容浏览体验。

158

2026.02.13

Flutter跨平台开发与状态管理实战
Flutter跨平台开发与状态管理实战

本专题围绕Flutter框架展开,系统讲解跨平台UI构建原理与状态管理方案。内容涵盖Widget生命周期、路由管理、Provider与Bloc状态管理模式、网络请求封装及性能优化技巧。通过实战项目演示,帮助开发者构建流畅、可维护的跨平台移动应用。

64

2026.02.13

TypeScript工程化开发与Vite构建优化实践
TypeScript工程化开发与Vite构建优化实践

本专题面向前端开发者,深入讲解 TypeScript 类型系统与大型项目结构设计方法,并结合 Vite 构建工具优化前端工程化流程。内容包括模块化设计、类型声明管理、代码分割、热更新原理以及构建性能调优。通过完整项目示例,帮助开发者提升代码可维护性与开发效率。

20

2026.02.13

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 9.7万人学习

C 教程
C 教程

共75课时 | 4.8万人学习

C++教程
C++教程

共115课时 | 18.3万人学习

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

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