如何通过 ConcurrentLinkedQueue 的 Wait-Free 算法理解高并发队列的无锁化设计

夏宇君_4978

夏宇君_4978

2026-05-02

507人浏览

原创

wait-free要求每个线程操作在有限步内完成,lock-free仅保证至少一个线程能进步;concurrentlinkedqueue是lock-free而非wait-free,其offer/poll可能无限重试,因采用延迟更新head/tail以提升吞吐。

如何通过 concurrentlinkedqueue 的 wait-free 算法理解高并发队列的无锁化设计

Wait-Free 是什么,和 Lock-Free 有什么区别

Wait-Free 指每个线程的操作都能在有限步内完成,不依赖其他线程进度;Lock-Free 只保证“至少一个线程能进步”,但单个线程可能无限重试。ConcurrentLinkedQueue 实际是 Lock-Free,不是 Wait-Free —— 它的 offer() 和 poll() 都可能因 CAS 失败而循环重试,没有步数上限。

很多人误以为它 Wait-Free,是因为 Doug Lea 在注释里提过“wait-free algorithm”,但那是指 Michael & Scott 原始论文中的理想模型;JDK 实现做了简化:用延迟更新 head/tail 换取吞吐量,代价就是单次操作不可预测耗时。

关键点在于:它不阻塞、不挂起、不 yield,失败就立刻重读重试 —— 这才是你看到“高并发不卡死”的底层原因。

为什么 tail 不总在队尾,head 不总指有效元素

这是延迟更新策略的直接结果,不是 bug,而是性能权衡:

  • tail 只在必要时推进:比如当前 tail.next != null,说明已有线程把新节点连上去了,这时才用 CAS 把 tail 跳到那个节点(hop two nodes)
  • head 更保守:只在 poll() 成功删除一个节点后才推进;中间可能卡在傀儡节点(item == null),而真实数据节点已在链表中
  • 多线程同时 poll() 时,某个线程删掉节点后会把原 head 的 next 设为自引用(p == q),触发其他线程回退到 head 重新扫描

所以 size() 遍历全链表计数时,可能数出 5 个节点;而此时 poll() 返回 null,只是因为 head 还没推进过去 —— 两者完全异步,不能互推。

AI舌诊面诊问诊医疗系统+诊疗商城系统源码
AI舌诊面诊问诊医疗系统+诊疗商城系统源码

AI 舌诊面诊问诊医疗系统 + 诊疗商城系统源码是一套结合 AI 辅助诊断与商品转化的健康类程序,基于浩创云、ThinkPHP(PHP)开发,支持微信服务号与 H5 端,适合做中医舌诊面诊问答、健康建议推送以及配套诊疗商品的运营。

下载

CAS 失败后重试逻辑怎么写才不丢数据

源码里所有重试都围绕两个核心动作展开,必须严格遵循其模式:

  • 在 offer() 循环中,每次 CAS 失败后先检查 p.next:若为 null,说明 p 仍是尾,继续重试;若不为 null,说明别人已连上新节点,那就先帮着把 tail 推进(casTail(t, q)),再重来
  • 在 poll() 循环中,若 head.item == null,要尝试用 CAS 把 head 推到 head.next;失败则重读 head,而不是直接返回 null
  • 永远不要在 CAS 失败后直接 return 或 throw,除非明确知道操作已无意义(比如 poll() 碰到自引用节点且 head == head.next)

漏掉“帮别人推进”这步,就会导致 tail 长期滞留,后续线程反复在旧位置竞争 CAS,实际吞吐反而下降。

什么时候不该用 ConcurrentLinkedQueue

它快,但快得有前提:

  • 写多读少、或读写均衡场景下表现好;但纯读场景(比如只调 peek())几乎无优势,因为 peek() 仍要处理傀儡节点逻辑
  • 不允许 null 元素 —— offer(null) 直接抛 NullPointerException,这点和 LinkedList 不同,容易在线上踩坑
  • size() 是 O(n) 遍历,高并发下调用会严重拖慢性能;需要长度建议改用 AtomicInteger 单独计数
  • 内存占用比 ArrayBlockingQueue 高:每个元素额外带一个 Node 对象 + volatile 字段开销,在堆压力敏感场景需评估

真正难的是理解“无锁”不等于“无同步”——它把锁的开销转成了 CPU 循环和内存屏障,而这些成本在 GC 日志、火焰图里并不显眼,却实实在在吃掉了 L3 缓存带宽。

相关文章

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

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

下载

相关标签:

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

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

10857

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

7982

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

6912

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1164

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

948

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1416

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2869

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20151

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1255

8

热门下载

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

精品课程

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