Java中如何通过AtomicStampedReference解决ABA问题_技术教程

ABA问题指变量值从A变为B再变回A，导致CAS误判未修改；AtomicStampedReference通过“值+版本号”机制，确保即使值恢复为A，也能因版本号变化而识别出中间修改，从而解决该问题。

在Java并发编程中，CAS（Compare-And-Swap）操作虽然高效，但可能遭遇ABA问题。简单来说，ABA问题指的是：一个变量从A变为B，又变回A，此时CAS操作会误认为它从未被修改过，从而导致数据不一致。为解决这个问题，AtomicStampedReference 提供了一种带版本号（时间戳）的原子引用类，通过“值+版本号”双重校验来避免ABA问题。

什么是ABA问题？

假设有一个共享变量初始值为A，线程1读取了该值准备进行CAS更新。在这期间，线程2将A改为B，随后又改回A。当线程1执行CAS时，发现值仍是A，于是成功更新。但实际上这个A已经经历过中间状态变化，直接通过值判断是不安全的。

AtomicStampedReference如何工作？

AtomicStampedReference 不仅保存对象引用，还维护一个整型的“stamp”（版本号或时间戳）。每次修改引用时，同时更新stamp。即使引用值回到A，只要stamp不同，就能识别出发生过修改。

核心方法包括：

compareAndSet(V expectedReference, V newReference, int expectedStamp, int newStamp)：只有当当前引用和stamp都匹配预期值时，才更新引用和stamp。
get(int[] stampHolder)：获取当前引用，并通过数组传出当前stamp。

使用示例：避免ABA问题

下面是一个模拟ABA问题并用AtomicStampedReference解决的代码片段：

import java.util.concurrent.atomic.AtomicStampedReference;

public class ABASolution {
    private static final AtomicStampedReference ref = 
        new AtomicStampedReference<>("A", 0);

    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(() -> {
            String prev = ref.getReference();
            int stamp = ref.getStamp();
            System.out.println("t1: 准备更新，当前值=" + prev + ", stamp=" + stamp);

            // 模拟耗时操作
            try { Thread.sleep(1000); } catch (InterruptedException e) {}

            boolean success = ref.compareAndSet(prev, "C", stamp, stamp + 1);
            System.out.println("t1: 更新" + (success ? "成功" : "失败"));
        });

        Thread t2 = new Thread(() -> {
            ref.compareAndSet("A", "B", 0, 1);
            System.out.println("t2: A -> B");
            ref.compareAndSet("B", "A", 1, 2);
            System.out.println("t2: B -> A");
        });

        t1.start();
        t2.start();
        t1.join(); t2.join();
    }
}