高并发下的累加器:分析 LongAdder 的 sum() 结果在并发写入时的弱一致性特征

梦雪同学_8250

梦雪同学_8250

2026-05-08

477人浏览

原创

longadder 的 sum() 方法返回近似总和而非原子快照,因其遍历 base 和 cell[] 时无锁且不阻塞写入,导致结果弱一致;适用于监控、限流、埋点等写多读少场景,但不可用于库存扣减、余额校验等需强一致性的业务。

高并发下的累加器:分析 longadder 的 sum() 结果在并发写入时的弱一致性特征

LongAdder 的 sum() 方法返回的不是某个精确时间点的快照值,而是一个近似总和——它在并发写入场景下天然具备弱一致性特征。这不是 bug,而是为换取高吞吐所作的明确设计取舍。

sum() 为什么不是原子快照?

调用 sum() 时,LongAdder 会做两件事:读取 base 值 + 遍历当前所有已创建的 Cell 并累加它们的 value。但这个过程本身不加锁、不阻塞写入线程:

  • 遍历 Cell[] 是顺序进行的,期间其他线程可能正在向某个已被遍历过的 Cell 写入新值,也可能正往尚未遍历的 Cell 或新扩容的 Cell 中写入;
  • base 值在读取瞬间可能刚被另一个线程通过 CAS 更新,也可能还没反映到当前线程缓存中;
  • Cell[] 数组本身可能动态扩容(例如从 2 扩到 4),sum() 只看到调用开始时的数组引用,不会等待扩容完成。

弱一致性的具体表现

在高并发持续写入过程中,多次连续调用 sum() 可能出现以下现象:

  • 数值非单调递增:比如前一次 sum() 返回 1005,后一次反而返回 1003(因中间有 Cell 被 reset 或统计遗漏);
  • 相邻两次结果差值不等于实际增量:100 次 increment() 后,sum() 差值可能是 97 或 102;
  • sumThenReset() 后立即再调用 sum(),可能仍返回非零值——因为 reset 发生时,其他线程的写入可能尚未落地到该 Cell,或已写入但未被本次 sum() 捕获。

哪些场景能接受这种弱一致性?

只要业务逻辑不要求“严格计数”或“实时扣减”,sum() 的结果就足够可靠:

  • 监控大盘上的 QPS 曲线:波动几百分之一不影响趋势判断;
  • 限流器中的请求计数:允许短时略超阈值,配合滑动窗口或令牌桶可平滑误差;
  • 日志打点或埋点统计:用于分析用户行为路径,不要求单次精准;
  • 批处理任务的进度汇报:显示“已完成约 87%”,无需精确到个位数。

绝对不能用 sum() 的地方

一旦涉及状态变更依赖准确数值,LongAdder 就不再适用:

  • 库存扣减:sum() 返回 99 不代表真剩 99 件,可能已有其他线程刚写入但未汇总;
  • 账户余额更新:不能靠 sum() 判断是否足够支付;
  • 分布式幂等校验:不能用它生成唯一序列号或版本号;
  • 需要 compareAndSet 语义的条件更新:LongAdder 根本不提供这类 API。
PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

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

下载

相关标签:

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

相关专题

更多
PixTV官网入口地址合集
PixTV官网入口地址合集

本专题汇总了 PixTV AI 一站式视频创作平台的官方入口与使用教程。无需下载软件,浏览器直接访问即可使用。平台将剧本、图像、视频、声音与剪辑整合在“无限画布”中,接入 GPT Image 2.5、Seedance 2.5 等头部模型。本专题整理了从新建画布、角色锚定、分镜拆分到视频生成与导出的完整操作指南,助你快速上手 AI 短剧与漫剧创作。

2026.10.10

40

15

Kratos框架HTTP与gRPC服务开发教程
Kratos框架HTTP与gRPC服务开发教程

本专题围绕Kratos框架双协议服务开发,涵盖HTTP路由与处理器编写、参数获取、gRPC服务实现与客户端调用、metadata上下文传递、encoding编解码注册、统一响应封装、超时控制与流式响应实现方法。

2026.10.10

20

15

Kratos框架Protobuf接口定义与代码生成合集
Kratos框架Protobuf接口定义与代码生成合集

本专题讲解Kratos框架接口定义体系,涵盖proto编写规范、proto add/client/server生成命令、http注解路由、validate校验、OpenAPI文档生成、跨服务proto复用与兼容性设计。

2026.10.10

0

15

C++虚函数怎么定义和调用
C++虚函数怎么定义和调用

C++虚函数是实现运行时多态的重要机制。本专题从virtual关键字的基本用法入手,介绍基类与派生类之间的函数重写、基类指针调用派生类方法,以及动态绑定的执行过程,帮助初学者掌握虚函数的核心语法。

2026.10.10

20

26

C++类与对象的封装方法教程
C++类与对象的封装方法教程

C++封装是面向对象编程的核心特性之一,通过类将数据与操作数据的函数组织在一起,并利用访问权限控制外部访问。本专题介绍类的定义、成员变量、成员函数以及public、private和protected的使用方法,帮助初学者掌握封装的基本原理。

2026.10.10

20

32

C++构造函数定义与调用方法
C++构造函数定义与调用方法

C++构造函数用于初始化类对象,是面向对象编程的重要基础。本专题从构造函数的定义、声明和调用入手,介绍默认构造函数、带参数构造函数、拷贝构造函数及成员初始化列表,帮助初学者掌握对象创建与初始化的基本方法。

2026.10.10

20

16

Kratos框架零基础入门教程
Kratos框架零基础入门教程

本专题整理Kratos框架入门内容,涵盖Go环境准备、kratos CLI安装升级、new命令创建项目、目录结构分层说明、服务启动与双协议端口、依赖下载报错排查,帮助开发者快速跑通第一个Kratos框架微服务应用。

2026.10.10

20

15

C++条件判断语句怎么写
C++条件判断语句怎么写

C++条件判断是控制程序执行流程的重要基础。本专题介绍if、if-else、else if和switch等常见分支语句,结合条件表达式、比较运算符与代码示例,帮助初学者掌握不同场景下的判断逻辑。

2026.10.10

0

13

C++变量怎么声明和赋值
C++变量怎么声明和赋值

C++变量是编写程序和存储数据的基础。本专题围绕变量声明、定义、初始化、赋值和类型选择等内容展开,帮助初学者理解不同变量的用法,并掌握在实际代码中定义和使用变量的方法。

2026.10.10

20

20

热门下载

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

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.6万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.4万人学习