17370845950

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() 分别获取

典型使用示例

以下是一个安全的计数器递增片段：

AtomicStampedReference 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问题最直接有效的工具。