ABA问题 发生在使用 CAS(Compare And Swap) 进行原子更新时:
- 线程 A 读取变量 X 的值为
A
。 - 线程 B 在此期间 将 X 从 A 改成 B,再改回 A。
- 线程 A 进行 CAS 检查,发现 X 仍然是
A
,误以为 X 没有变化,CAS 成功。
import java.util.concurrent.atomic.AtomicReference;
public class ABAProblem {
static AtomicReference<String> atomicString = new AtomicReference<>("A");
public static void main(String[] args) {
Thread t1 = new Thread(() -> {
try { Thread.sleep(1000); } catch (InterruptedException e) { }
boolean success = atomicString.compareAndSet("A", "C");
System.out.println("T1修改成功?" + success);
});
Thread t2 = new Thread(() -> {
atomicString.compareAndSet("A", "B");
atomicString.compareAndSet("B", "A");
System.out.println("T2完成ABA操作");
});
t1.start();
t2.start();
}
}
运行结果
T2完成ABA操作
T1修改成功?true // 线程 T1 误以为值没变
解决方案
AtomicStampedReference
:增加 版本号,避免 ABA。AtomicMarkableReference
:标记引用,防止意外修改。