解决ABA问题:引入原子引用!
并发1在修改数据时,虽然还是A,但已经不是初始条件的A了,中间发生了A变B,B又变A的变化,此A已经非彼A,数据却成功修改,可能导致错误,这就是CAS引发的所谓的ABA问题。
带版本号的原子引用!
package com.liao.cas;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicStampedReference;
public class ABADemo {
public static void main(String[] args) {
//注意,如果泛型是一个包装类,注意引用问题,Integer的范围是-128 ~ 127,太大的数不行
AtomicStampedReference<Integer> reference = new AtomicStampedReference<>(1, 1);//带版本号的原子值
new Thread(()->{
int stamp = reference.getStamp();//获得版本号
System.out.println("a1获得的版本是:=>"+stamp);
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
reference.compareAndSet(1, 2, reference.getStamp(), reference.getStamp() + 1);
System.out.println("a2更新后的版本是:"+stamp);
System.out.println(reference.compareAndSet(2, 1, reference.getStamp(), reference.getStamp() + 1));
System.out.println("a3换太子后的版本是:"+reference.getStamp());
},"a").start();
new Thread(()->{
int stamp = reference.getStamp();//获得版本号
System.out.println("b1获得的版本是:=>"+reference.getStamp());
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(reference.compareAndSet(1, 6, reference.getStamp(), reference.getStamp() + 1));
System.out.println("b2更新后的版本是:"+reference.getStamp());
},"b").start();
}
}
所有的相同类型的包装类对象之间值的比较,全部使用 equals 方法比较。
说明:对于 Integer var = ? 在-128 至 127 范围内的赋值,Integer 对象是在
IntegerCache.cache 产生,会复用已有对象,这个区间内的 Integer 值可以直接使用== 进行
判断,但是这个区间之外的所有数据,都会在堆上产生,并不会复用已有对象,这是一个大坑,
推荐使用 equals 方法进行判断。