CAS之ABA问题的解决方法

运行结果:

true stu=Student{name=‘blue’, age=19}

但是和原来使用AtomicInteger一样，CAS的时候仍旧会产生ABA问题

产生ABA问题的代码

---

public class ABADemo {

public static void main(String[] args) {

//ABA问题的代码

AtomicReference atomicReference = new AtomicReference<>();

atomicReference.set(100); //原来的值是100

new Thread(() -> {

boolean res1 = atomicReference.compareAndSet(100, 101);

boolean res2 = atomicReference.compareAndSet(101, 100);

System.out.println(“res1=” + res1);

System.out.println(“res2=” + res2);

}).start();

new Thread(() -> {

boolean res3 = atomicReference.compareAndSet(100, 200);

System.out.println(“res3=” + res3);

}).start();

}

}

运行结果:res1,res2,res3都是true,这说明虽然线程t1修改了atomicReference中的值，但是由于修改后值与原来的一样，所以线程t2在判断的时候认为该值没有被修改过CAS操作成功。

AtomicStampedReference解决ABA问题

---

为了解决ABA问题,引入了AtomicStampedReference,AtomicStampedReference它内部不仅维护了对象值，还维护了一个时间戳（版本号）。当AtomicStampedReference对应的数值被修改时，除了更新数据本身外，还必须要更新时间戳。

AtomicStampedReference的构造器

在初始化的时候传入两个参数，初始化的引用值和版本号

public AtomicStampedReference(V initialRef, int initialStamp) {

pair = Pair.of(initialRef, initialStamp);

}

AtomicStampedReference的compareAndSet方法

public boolean compareAndSet(V expectedReference,

V newReference,

int expectedStamp,

int newStamp) {

Pair current = pair;

return

expectedReference == current.reference &&

expectedStamp == current.stamp &&

((newReference == current.reference &&

newStamp == current.stamp) ||

casPair(current, Pair.of(newReference, newStamp)));

}

• expectedReference : 期望值

• newReference : 想要更新成的新的值

• expectedStamp : 期望的版本号

• newStamp : CAS操作成功要更新成的版本号

然后每次操作的时候都会先比较版本号，版本号一致才能操作成功，每次操作成功后都将版本号增加+1（版本号只加不减）

测试代码

import java.util.concurrent.TimeUnit;

import java.util.concurrent.atomic.AtomicReference;

import java.util.concurrent.atomic.AtomicStampedReference;

public class ABASolve {

public static void main(String[] args) {

AtomicStampedReference atomicStampedReference = new AtomicStampedReference<>(100, 1);

int stamp = atomicStampedReference.getStamp();

new Thread(() -> {

System.out.println(“t1线程拿到的初始版本号:” + stamp);

System.out.println(“t1线程拿到的初始值:” + atomicStampedReference.getReference());

//

boolean res1 = atomicStampedReference.compareAndSet(100, 101, stamp, atomicStampedReference.getStamp() + 1);

System.out.println(“修改结果:” + res1);

System.out.println(“t1线程修改之后的版本号:” + atomicStampedReference.getStamp());

System.out.println(“t1线程修改之后的值:” + atomicStampedReference.getReference());

boolean res2 = atomicStampedReference.compareAndSet(101, 100, 2, atomicStampedReference.getStamp() + 1);

System.out.println(“修改结果:” + res2);

}).start();

new Thread(() -> {

System.out.println(“t2线程拿到的初始版本号:” + stamp);

try { TimeUnit.SECONDS.sleep(1); } catch (InterruptedException e) { e.printStackTrace(); }

boolean b1 = atomicStampedReference.compareAndSet(100, 101, stamp, atomicStampedReference.getStamp() + 1);

最后

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数Java工程师，想要提升技能，往往是自己摸索成长，自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上Java开发知识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！
识点，不论你是刚入门Java开发的新手，还是希望在技术上不断提升的资深开发者，这些资料都将为你打开新的学习之门！**

如果你觉得这些内容对你有帮助，需要这份全套学习资料的朋友可以戳我获取！！

由于文件比较大，这里只是将部分目录截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且会持续更新！