C++如何实现基于原子变量的非阻塞读写锁(Read-Write Lock)

酷涛君_8041

酷涛君_8041

2026-06-27

145人浏览

原创

不能直接用 std::atomic 模拟读写锁,因其缺乏等待和条件阻塞能力,无法解决写者饥饿及读写状态原子协调问题;需组合 std::atomic_flag 与 std::atomic reader count 并严格控制内存序。

c++如何实现基于原子变量的非阻塞读写锁(read-write lock)

为什么不能直接用 std::atomic 模拟读写锁

原子变量本身不提供“等待”或“条件阻塞”能力,而读写锁的核心语义之一是:当写者活跃时,新读者需等待;当读者活跃时,新写者需等待。单纯靠 std::atomic<int></int> 计数器(比如读者计数)无法安全处理“写者正在等待但读者持续涌入”的饥饿问题,也无法原子地协调读/写状态切换。常见错误是只用一个 std::atomic<int></int> 表示读者数 + 写者标志,结果在写者尝试获取锁时被新读者抢先递增,导致写者永远等不到读者数归零。

std::atomic_flag 搭配 reader count 的最小可行实现

可行方案是分离两个原子状态:一个 std::atomic_flag 专用于写者独占控制(test-and-set),一个 std::atomic<int></int> 统计当前活跃读者数。关键在于写者获取锁前必须先设置 flag,再等待读者数归零;读者则需先检查 flag 是否被设,再递增计数——且这两步必须有正确内存序保证可见性。

  • 写者入口:while (writer_flag.test_and_set(std::memory_order_acquire)) {},然后 while (reader_count.load(std::memory_order_acquire) != 0) {}
  • 读者入口:先 if (writer_flag.test(std::memory_order_acquire)) return false;(快速失败),再 reader_count.fetch_add(1, std::memory_order_relaxed)
  • 读者退出:仅 reader_count.fetch_sub(1, std::memory_order_relaxed),无需释放 barrier
  • 写者退出:writer_flag.clear(std::memory_order_release)

注意:fetch_add 和 fetch_sub 用 relaxed 是安全的,因为 reader count 本身不用于同步,只供写者轮询;但 writer flag 的 acquire/release 是必须的,否则读者可能看到过期的 reader count 值。

C++14
C++14

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

下载

实际使用中容易漏掉的三个细节

这个模式看似简单,但落地时极易出错:

  • 读者路径里必须两次检查 writer_flag:一次在递增前(避免写者已上锁还继续进),一次在临界区入口(防止写者已在等待、但 reader_count 尚未归零)
  • reader_count 必须初始化为 0,且不能被写者修改——写者只读,读者只写,否则破坏线性一致性
  • 如果要求写者优先(避免读者饿死写者),需额外引入一个 std::atomic<bool></bool> 表示“写者已在排队”,并在读者检查时一并判断;否则读者可能无限涌入,让写者一直卡在 while 循环里

比起 std::shared_mutex,它到底省了什么又丢了什么

自建原子锁唯一优势是无系统调用、纯用户态、极低延迟(适合微秒级临界区);但它完全放弃公平性和唤醒机制——没有 waiter queue,写者靠忙等,高竞争下 CPU 利用率飙升。而 std::shared_mutex(C++17)底层依赖 futex 或类似机制,能真正挂起线程,但每次 lock/unlock 至少一次系统调用开销。如果你的读操作占比 >95%、临界区执行时间 std::shared_mutex 更稳妥,也更难写错。

真正难的是写者等待期间如何不被新读者插队——这需要精确的内存序组合和额外的状态位,不是加几个 atomic 就能解决的事。

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

相关文章

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

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

下载

相关标签:

c++

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

相关专题

更多
c++和c语言的区别有哪些
c++和c语言的区别有哪些

c++和c语言的区别:1、面向对象编程(OOP)支持不同;2、新增特性不同;3、标准库不同;4、编译方式不同;5、命名空间不同等等。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.14

2228

9

c++和python学习顺序推荐
c++和python学习顺序推荐

一般建议先学习C++,再学习Python,因为这样可以逐步从较为底层的编程语言向更高级的语言过渡。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

999

6

python和c++学习性价比分析
python和c++学习性价比分析

Python易于学习,广泛应用于Web开发、数据科学和人工智能等领域,但性能较低。C语言性能高,适用于对性能要求较高的场景,如游戏开发和系统编程,但学习曲线陡峭,错误处理复杂。想了解更多python的相关内容,可以阅读本专题下面的文章。

2024.03.14

427

5

c语言和c++一样吗
c语言和c++一样吗

c语言和c++是两种不同的编程语言,虽然有相似之处,但存在显著差异。c语言专注于过程式编程和系统级开发,以简洁、高效著称。c++作为c语言的超集,引入了面向对象编程,增强了代码组织和管理能力,但学习曲线也更陡峭。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

327

5

c语言和c++先学哪个好
c语言和c++先学哪个好

初学者选择学习c语言还是c++语言,需要根据个人学习目标、背景以及编程兴趣和预期应用方向来决定。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

406

5

c语言和c++的区别和联系
c语言和c++的区别和联系

c语言和c++是计算机科学领域应用广泛的编程语言。虽然它们有着相似的基础,但它们在语言类型、语法功能和内存管理方面存在着显著差异。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.03.14

580

5

c++软件中文更改教程
c++软件中文更改教程

对于 ide,可通过打开设置,找到语言设置,选择中文,并保存更改。对于非 ide 应用程序,可查找设置或选项,选择语言设置,更改为中文,并保存更改。想了解更多c++的相关内容,可以阅读本专题下面的文章。

2024.03.21

1389

9

python和java和c++学习性价比分析
python和java和c++学习性价比分析

Python以其易学性、丰富的库和活跃的社区而著称,适合数据科学、人工智能和Web开发。Java以其跨平台性、企业级应用开发和Android应用开发而闻名。C++以其底层控制能力、高效性能和游戏开发而著称。选择哪种语言取决于个人兴趣、职业方向和特定需求。想了解更多python和java和c++的相关内容,可以阅读本专题下面的文章。

2024.03.22

1197

7

c++和c语言学习顺序推荐
c++和c语言学习顺序推荐

对于初学者,建议先学习C语言,掌握编程基础后再转入C++,便于理解面向对象编程概念。有编程经验者可直接学习C++,快速接触高级编程技术。想了解更多c++和c语言的相关内容,可以阅读本专题下面的文章。

2024.03.25

1325

9

热门下载

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

精品课程

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

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

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

共0课时 | 0人学习