longaccumulator 是 java 8 提供的高性能无锁累加器，支持自定义二元运算（如 max/min/gcd），基于 cas、线程哈希槽和 cell 分段实现高并发聚合，要求函数满足结合律且指定正确单位元。
LongAccumulator 是 Java 8 引入的高性能无锁累加器，适用于高并发场景下的自定义聚合计算。它不局限于加法，而是通过函数式接口 LongBinaryOperator 支持任意二元运算（如 max、min、gcd、幂模、位运算等），底层基于 CAS + 失败重试 + cell 分段，避免了 AtomicLong 在高争用下的性能瓶颈。
核心原理：分段累加 + 函数合成
LongAccumulator 内部维护一个 base 值和一组 Cell 数组（类似 LongAdder）。每次 accumulate 时：
- 先尝试用 CAS 更新 base；失败则定位到线程私有哈希槽（ThreadLocalRandom.getProbe() 映射）
- 在对应 Cell 上执行 CAS 更新；若 Cell 为空或竞争激烈，会扩容 Cell 数组
- 最终
get()返回base + 所有非空 cell.value的函数折叠结果 —— 注意：不是简单求和，而是按你传入的accumulatorFunction逐个合并
编写带自定义数学函数的累加器（3 个典型例子）
构造器签名：new LongAccumulator(LongBinaryOperator accumulatorFunction, long identity)
关键点：identity 必须是该二元运算的单位元（neutral element），即满足 f(x, identity) == f(identity, x) == x。否则 get() 结果不可靠。
✅ 示例 1：并发求最大值
LongAccumulator maxAcc = new LongAccumulator(Math::max, Long.MIN_VALUE); maxAcc.accumulate(10); // → 10 maxAcc.accumulate(25); // → 25 maxAcc.accumulate(-5); // → 25 System.out.println(maxAcc.get()); // 25
单位元是 Long.MIN_VALUE，因为 Math.max(x, Long.MIN_VALUE) == x。
✅ 示例 2：并发求最小值
LongAccumulator minAcc = new LongAccumulator(Math::min, Long.MAX_VALUE); minAcc.accumulate(42); minAcc.accumulate(7); minAcc.accumulate(100); System.out.println(minAcc.get()); // 7
✅ 示例 3：并发计算 GCD（最大公约数）
LongBinaryOperator gcd = (a, b) -> a == 0 ? Math.abs(b) : gcd.applyAsLong(Math.abs(b % a), a); LongAccumulator gcdAcc = new LongAccumulator(gcd, 0L); // gcd(x, 0) == |x|，且 gcd(0, 0) 定义为 0 <p>gcdAcc.accumulate(48); gcdAcc.accumulate(18); // gcd(48,18)=6 gcdAcc.accumulate(30); // gcd(6,30)=6 System.out.println(gcdAcc.get()); // 6</p>
注意：GCD 单位元是 0L，因 gcd(x, 0) == |x|，且累积过程需保证结合律（GCD 满足）。
必须遵守的约束条件
要保证结果正确性和线性一致性，自定义函数必须满足：
- 结合律：f(a, f(b, c)) == f(f(a, b), c)，否则多线程下 cell 合并顺序不同会导致结果不一致
- 不变性：函数体不能修改参数对象（Long 是基本类型，天然满足）
- 无副作用：不能读写共享状态、不能抛异常、不能阻塞
- 单位元正确指定：identity 值必须满足 f(identity, x) == f(x, identity) == x
常见合规函数：+、×、max、min、&、|、^、gcd、lcm（需自定义）、某些模幂（如 (a * b) % MOD）——但要注意溢出与单位元设计。
性能优化与使用建议
- 避免频繁调用
get()：它需遍历所有 cells，适合最终汇总，不适合循环内轮询 - 初始化时预估并发度：可通过
new LongAccumulator(..., identity, true)启用“竞争感知”模式（Java 9+），让系统更激进地扩容 cells - 不要混用不同类型操作：例如不能在一个 Accumulator 中既 accumulate 又试图 set，也不支持 reset（可重建新实例）
- 替代方案对比：比
synchronized + long高 10–100 倍吞吐；比AtomicLong.updateAndGet在 >4 线程时更稳定；但比纯AtomicLong.addAndGet在低争用下略重
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
