AtomicStampedReference通过“值-版本号”对解决ABA问题:当变量从A→B→A时,因版本号变化使CAS失败,避免误判;需手动管理stamp,每次更新值时同步更新版本号。

AtomicStampedReference 通过引入版本号(stamp)来区分同一值的多次修改,从而解决 ABA 问题。
什么是ABA问题
ABA问题发生在多线程环境中:一个变量初始值为A,被线程1读取;线程2将它改为B又改回A;线程1执行CAS时发现值仍是A,就误认为没被修改过,从而完成操作——但其实中间发生了变化。这在某些场景(比如基于栈/链表的无锁结构)可能导致逻辑错误。
AtomicStampedReference的基本原理
它内部维护一个“值-版本号”对,每次更新都要求值和版本号同时匹配才能成功。即使值变回原样,只要版本号不同,CAS就会失败。
- 构造时需传入初始值和初始版本号(通常为0)
- compareAndSet(oldRef, newRef, oldStamp, newStamp) 是核心方法,四个参数缺一不可
- get() 返回的是包含引用和stamp的数组,需用 getReference() 和 getStamp() 分别获取
典型使用示例
以下是一个安全的计数器递增片段:
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式,或要求按照代码注释规范处理 Java 文件时,使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则,并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括:补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
立即学习“Java免费学习笔记(深入)”;
AtomicStampedReference<Integer> atomicRef = new AtomicStampedReference<>(0, 0);
// 线程中尝试递增
int[] stampHolder = {0};
Integer current = atomicRef.getReference();
int stamp = atomicRef.getStamp();
while (!atomicRef.compareAndSet(current, current + 1, stamp, stamp + 1)) {
current = atomicRef.getReference();
stamp = atomicRef.getStamp();
}
注意:不能只靠循环重试就万事大吉,必须在每次循环中重新读取当前值和stamp,否则可能因stamp过期导致无限失败。
使用注意事项
- 版本号不是自动递增的,需要你手动管理(一般每次修改+1即可)
- stamp 用 int 类型,存在溢出风险(但实际极少遇到,可忽略)
- 如果业务不关心中间是否被改过,只是确保最终状态一致,则不一定需要它——普通 AtomicInteger 更轻量
- 相比 AtomicReference,它多了内存开销和操作复杂度,仅在确实存在ABA隐患时才启用
基本上就这些。用对了场景,AtomicStampedReference 就是解决ABA问题最直接有效的工具。

















