从高考保险柜案例解析AtomicStampedReference如何根治CAS的ABA隐患-CSDN博客

1. 从高考保险柜到你的代码：一个价值连城的ABA隐患

大家好，我是老张，在并发编程这个坑里摸爬滚打了十几年，见过太多因为“想当然”而引发的线上血案。今天我们不聊那些高大上的架构，就聊一个看似简单、却可能让你程序逻辑彻底崩盘的“小”问题——CAS操作中的ABA问题。你可能在面试中被问过，也可能在书上看过，但你真的知道它会在什么情况下咬你一口吗？

咱们先从一个听起来有点“刺激”的场景说起：高考命题。想象一下，存放绝密高考试卷的保险柜，有且只有两个人（比如张三和李四）有权限打开。为了绝对保密，规定在指定时间后，两人竞争开柜，但保险柜有且只能被成功打开一次，打开的人负责护送试卷。这个规则很明确吧？问题来了，如果用我们程序员最直觉的“原子布尔值”来控制开关，会出什么幺蛾子？我当年第一次接触这个案例时，后背都惊出了一身冷汗，因为它完美复现了ABA问题的破坏力：张三可以抢先打开柜门，窃取试卷，然后再关上柜门。等李四来检查时，柜门状态依然是“关闭”，和他最初看到的一样，于是他也能“成功”打开柜门。结果就是，试卷被偷了一份，却有两个“无辜”的护送者。这责任，根本说不清。

这个“高考保险柜”案例，就是ABA问题的经典写照。而解决它的钥匙，就是今天要深扒的 AtomicStampedReference。很多文章一上来就讲原理，但我觉得，不搞清楚“什么时候该用”，原理就是空中楼阁。这篇文章，我就带你从“案发现场”出发，亲手复现这个BUG，再用 AtomicStampedReference 把它治得服服帖帖。你会发现，根治ABA隐患，关键不在于记住一个类名，而在于掌握一种判断业务场景的“嗅觉”。

2. 拆解CAS与ABA：不只是值，更是“历史”

2.1 CAS：乐观锁的基石，也是ABA的温床

咱们先快速统一一下认知。CAS（Compare and Swap），比较并交换，是乐观锁的核心实现。它的动作可以概括为：“我认为内存里的值现在应该是A，如果是，我就把它改成B；如果不是，说明有人动过了，那我这次操作就放弃，通常重试。”

在Java里，AtomicInteger、AtomicBoolean 这些原子类，底层就是靠CAS撑腰。比如 AtomicBoolean.compareAndSet(false, true)，意思就是“如果当前值是false，我就把它改成true”。这个操作是原子的，线程安全，性能也比传统的synchronized锁高出一大截，所以在高并发场景下备受青睐。

但是，CAS有个天生的“盲区”：它只检查“值”是否相同，不关心这个值“经历过什么”。这就引出了ABA问题：假设线程1读到内存值V是A，准备将它改为B。但在它“读”和“改”之间的间隙，线程2把值从A改成了B，然后又改回了A。等线程1满怀信心地执行CAS时，它发现内存值V还是A（和它当初读到的预期值一样），于是CAS操作成功！对于线程1来说，它感知不到中间发生过“A->B->A”这个轮回。

注意：这里很多新手会懵，觉得“值最后没变，不是好事吗？” 问题恰恰出在这里。值没变，但“状态的历史”变了。有些业务，历史很重要。

2.2 什么情况下ABA才是真问题？一个判断方法论

这是最核心、最容易被忽略的一点。不是所有用CAS的地方都要提防ABA。我总结了一个简单的判断方法，你可以在设计时问自己两个问题：

我的业务逻辑，是否只关心变量的“最终值”？
我的业务逻辑，是否关心这个值“被修改的次数”或“中间状态的变化过程”？

如果答案是“只关心最终值”，那么ABA通常无害。我举个真实的例子：一个全局的计数器，用来统计网站总访问量。线程A读到计数是100，准备累加到101。中间线程B增加了10又减少了10（可能因为某些统计修正）。最终线程A执行CAS时，值还是100，它成功加1变成101。总访问量从100变成101，这个结果是正确的，中间B的增减操作本身也是合理的业务逻辑，我们并不关心计数在极短时间内波动过。这里的ABA就不是问题。

反之，如果答案是“关心修改次数或过程”，ABA就是致命的。回到“高考保险柜”案例：我们关心的根本不是柜门“最终是开是关”，而是它被打开的次数。规则是“只能打开一次”。张三的“开-关”操作，让打开次数从0变成了1（虽然状态回归关闭），这个“1次”的历史记录是至关重要的。李四的CAS操作因为感知不到这次历史，导致规则被破坏。

再扩展几个必须警惕ABA的场景：

金融交易流水号生成：流水号必须单调递增且唯一。如果因为ABA导致一个流水号被重复使用，账就全乱了。
设备状态机：比如一台设备的生命周期是“关机->启动->运行->故障->维修->关机”。如果用简单的原子值表示状态，一个ABA操作可能让设备从“运行”状态，经历一个未被记录的“故障-维修”轮回后，又变回“运行”，这会跳过重要的告警和日志记录。
链表操作的栈顶指针：这是数据结构教材里的经典例子。你准备弹出栈顶元素A，但中间另一个线程先弹出A，又压入一个新元素B，接着再把A压回去。你CAS操作栈顶指针时发现还是A，以为没问题，但实际上整个链表结构已