Java中如何通过AtomicStampedReference解决ABA问题-java教程-PHP中文网

Java中如何通过AtomicStampedReference解决ABA问题

P粉602998670

发布： 2025-11-21 10:53:41

原创

426人浏览过

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

java中如何通过atomicstampedreference解决aba问题

在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不同，就能识别出发生过修改。

核心方法包括：

立即学习“Java免费学习笔记（深入）”；

Kotlin Android 中文开发帮助文档 PDF版

这本书并不是一本语言参考书，但它是一个Android开发者去学习Kotlin并且使用在自己项目中的一个工具。我会通过使用一些语言特性和有趣的工具和库来解决很多我们在日常生活当中都会遇到的典型问题。这本书是非常具有实践性的，所以我建议你在电脑面前跟着我的例子和代码实践。无论何时你都可以在有一些想法的时候深入到实践中去。这本书适合你吗？写这本书是为了帮助那些有兴趣使用Kotlin语言来进行开发的Android开发者。如果你符合下面这些情况，那这本书是适合你的：你有相关Android开发和Andro

查看详情

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<String> 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();
    }
}

登录后复制

输出结果中，t1的CAS操作会失败，因为尽管值还是"A"，但stamp已从0变为2，与预期不符。这样就有效防止了ABA带来的误判。