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免费学习笔记（深入）”；
AtomicStampedReferenceatomicRef = 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问题最直接有效的工具。
