当前位置: 首页 > news >正文

高并发计数器LongAdder 实现原理与使用场景详解

LongAdder 原理与应用详解


一、设计背景与核心思想

1. 传统原子类的性能瓶颈

  • AtomicInteger/AtomicLong 基于 CAS 实现
  • 高并发场景缺陷
    • CAS 失败率随竞争加剧指数上升
    • CPU 空转消耗大量资源
    • 缓存一致性流量(MESI协议)导致总线风暴

2. LongAdder 设计目标

  • 降低竞争:通过数据分片分散写压力
  • 空间换时间:牺牲部分内存换取更高吞吐
  • 最终一致性:允许读取结果存在短暂误差

二、实现原理剖析

1. 核心数据结构

// 基础值(无竞争时直接操作)
transient volatile long base;// 分片单元数组(应对高并发)
transient volatile Cell[] cells;// 分片单元结构(避免伪共享)
@jdk.internal.vm.annotation.Contended
static final class Cell {volatile long value;Cell(long x) { value = x; }
}

2. 分段累加流程

无竞争
成功
失败
有竞争
存在
成功
失败
不存在
调用 add 方法
是否存在竞争?
尝试 CAS 更新 base
操作完成
进入分片逻辑
获取当前线程的哈希值
对应 Cell 是否存在?
尝试 CAS 更新 Cell
扩容 cells 数组
新建 Cell 并插入数组

3. 伪共享解决方案

  • 问题根源:不同线程的变量共享同一缓存行(通常 64 字节)
  • 优化方案
    • 使用 @Contended 注解自动填充
    • 每个 Cell 独占缓存行
    • 内存布局示意:
      | Cell1 (64字节) | Cell2 (64字节) | ... |
      

三、关键操作解析

1. 累加操作(add)

public void add(long x) {Cell[] cs; long b, v; int m; Cell c;if ((cs = cells) != null || !casBase(b = base, b + x)) {boolean uncontended = true;if (cs == null || (m = cs.length - 1) < 0 ||(c = cs[getProbe() & m]) == null ||!(uncontended = c.cas(v = c.value, v + x)))longAccumulate(x, null, uncontended);}
}
  • 执行策略
    1. 优先尝试更新 base
    2. 失败后定位到线程对应的 Cell
    3. 多级失败后触发数组扩容

2. 取值操作(sum)

public long sum() {Cell[] cs = cells;long sum = base;if (cs != null) {for (Cell c : cs)if (c != null) sum += c.value;}return sum;
}
  • 特点
    • 非原子快照(可能包含进行中的更新)
    • 时间复杂度 O(n)(需遍历所有 Cell)

四、示例

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.LongAdder;public class SimpleLongAdderExample {public static void main(String[] args) throws InterruptedException {// 1. 创建LongAdder实例LongAdder counter = new LongAdder();// 2. 创建线程池(模拟并发请求)ExecutorService executor = Executors.newFixedThreadPool(10);// 3. 提交100个累加任务for (int i = 0; i < 100; i++) {executor.submit(() -> {// 每个任务累加1000次for (int j = 0; j < 1000; j++) {counter.increment(); // 等同于add(1)}});}// 4. 关闭线程池并等待任务完成executor.shutdown();executor.awaitTermination(1, TimeUnit.MINUTES);// 5. 输出最终结果System.out.println("最终计数: " + counter.sum()); // 应输出100000}
}

五、性能对比数据

测试环境:

  • CPU:8 核 Intel i9-9900K
  • 内存:32GB DDR4
  • JVM:OpenJDK 17
  • 测试用例:32 线程执行 1 亿次累加
实现方案耗时 (ms)吞吐量 (ops/ms)内存占用
synchronized4,52022,123
AtomicLong1,28078,125
LongAdder235425,531
ThreadLocal 优化182549,450

六、应用场景指南

1. 推荐使用场景

场景类型典型用例优势说明
高频计数器网站 PV/UV 统计分散写竞争
监控指标采集QPS/TPS 统计允许最终一致性
分布式限流令牌桶算法实现避免 CAS 失败风暴
大数据聚合实时计算中间结果支持快速并行累加

2. 不适用场景

场景类型典型用例问题分析
精确原子操作库存扣减sum() 非原子快照
读多写少配置项更新AtomicLong 更高效
内存敏感场景海量独立计数器Cell 数组内存开销大

六、实现原理总结

设计要点实现方案解决的问题
竞争分散分片 Cell 数组降低 CAS 失败率
伪共享预防@Contended 注解提升缓存利用率
动态扩容按需创建 Cell平衡性能与内存
延迟初始化初始使用 base 变量减少内存开销
最终一致性sum() 合并所有 Cell保证最终结果正确性

通过理解 LongAdder 的设计哲学和实现细节,开发者可以在高并发场景中做出更优的技术选型,在保证线程安全的前提下实现 5-10 倍的性能提升。关键是要根据实际业务场景的读写比例、一致性要求和资源限制进行合理选择。

相关文章:

  • LeetCode 543 二叉树的直径
  • 【模型显著性分析】配对样本 t 检验
  • uniapp小程序开发,判断跳转页面是否需要登录方法封装
  • 从SEO到GEO:搜索范式迁移的三大断层
  • 教师申报书课题——项目名称: 基于DeepSeek-R1与飞书妙记的课堂话语智能分析实践计划
  • 遥控器主副控设计运行要点分析!
  • 即插即用!全新记忆回溯策略:一种元启发式算法的进化更新机制,含完整免费MATLAB代码
  • 便携式遥测自跟踪天线
  • 第十五届蓝桥杯大赛软件赛国赛Python 大学 C 组试做【本期题单: 设置密码、栈】
  • 第十章 Java基础-Static静态变量
  • Unity数字人开发笔记——讯飞超拟人语音
  • Python人工智能算法学习 禁忌搜索算法求解旅行商问题(TSP)的研究与实现
  • 央国企迁移国产数据库:数据迁移5步法与4项管理准则
  • 【周输入】517周阅读推荐-3
  • opencv + jpeg_turbo(启用SIMD加速)
  • 【每天一个知识点】LangChain
  • 消息队列从入门到实战:用外卖订单理解高并发系统的核心设计
  • AMBA-AHB的控制信号
  • 水域应急救援可视化平台
  • Ai书签管理工具开发全记录(一):项目总览与技术蓝图
  • 网站引导页是什么意思/网站大全软件下载
  • 网站建设费是宣传费用吗/seo推广优化培训
  • 网络营销上的网站建设流程/爱站网站
  • 网站规划与设计案例/免费收录平台
  • 蓬莱网站建设价格/手机建站系统
  • 企业建站公司实力对比/公司营销策划方案案例