AtomicStampedReference 通过“引用+版本号”原子打包实现ABA可检测，CAS需同时校验二者；必须成对读取值与stamp、双条件更新，stamp由业务严格管理并每次结构变更递增。
AtomicStampedReference 不是消除 ABA，而是让 ABA 可被检测和拦截。它通过把“引用值 + 版本号（stamp）”打包成一个不可分割的原子单元，在 CAS 操作时强制同时校验二者——值对且 stamp 也对，才允许更新。只要中间发生过 A→B→A，stamp 就已变化，CAS 自然失败，调用方必须重读最新状态再决策。
ABA 问题的本质是状态失真，不是数值错误
比如无锁栈中，头节点从 A → B → A，表面引用没变，但 B 可能已被回收、复用或指向无效内存；又如保险柜开关从 false → true → false，第二次打开看似合法，实则违反“仅允许开一次”的业务约束。普通 AtomicReference 只比最终值，无法感知中间是否“动过”，这就导致逻辑误判。
核心用法：成对读取 + 双条件 CAS
必须严格使用 get(int[] stampHolder) 一次性获取当前值和 stamp，不能分开调用 getReference() 和 getStamp()——否则拿到的不是同一时刻快照，CAS 会失效或误成功。
- 声明 int[] stamp = new int[1]，调用 String cur = ref.get(stamp)，此时 cur 和 stamp[0] 严格对应
- CAS 必须传四个参数：compareAndSet(oldRef, newRef, oldStamp, newStamp)
- newStamp 通常为 oldStamp + 1，但必须基于本次读到的 stamp 计算，不能复用缓存值或硬编码
- 失败后需循环重试：重新 get() 获取最新值和 stamp，再尝试
stamp 管理要由业务逻辑严格控制
AtomicStampedReference 不自动递增 stamp，它只负责校验。真正起作用的是你怎么用：
立即学习“Java免费学习笔记（深入）”；
- 每次结构性变更（如 push/pop 栈、入队/出队、指针重连）都必须更新 stamp，哪怕值回到原样
- 推荐用自增整数，避免仅用 0/1 交替——否则两次 A→B→A 可能撞上相同 stamp，漏判
- stamp 溢出（Integer.MAX_VALUE → Integer.MIN_VALUE）虽罕见，但若系统超长生命周期且高频更新，需评估 wrap-around 是否可接受
- 不要用时间戳或随机数代替 stamp，它们不可预测、不单调，无法支撑 CAS 的确定性校验
它不是银弹，适用场景有边界
AtomicStampedReference 主要防范“引用被复用”类 ABA，典型如无锁数据结构中的节点、对象池、链表指针等。如果业务上 A→B→A 是合法且无副作用的状态切换（例如开关反复 toggling），加版本号反而增加开销。它也不替代锁做复合操作，仅保障单次 CAS 的状态可信性。
