ABA问题

CAS会导致"ABA"问题

CAS算法实现时会取出内存中某时刻的数据并在当下时刻比较并替换，那么在这个事件差内会导致数据的变化。例如：

1.线程1从内存中取出A，这时线程2也从内存中取出A

2.内存2进行了一些操作将值变成了B，然后线程2又将内存的数据变成A

3.这时线程1进行CAS操作发现内存中仍然是A，然后线程1操作成功

尽管线程1的CAS操作成功，但不代表这个过程是没有问题的

 

ABA问题的产生原因？

原子引用：AtomicReference<V>

（V代表泛型，可以自定义 ）

AtomicReference与AtomicInteger的区别是前者可以自定义参数，后者是Integer参数

AtomicReference<Integer> atomicReference=new AtomicReference<>(100);
//初始值为100
atomicReference.compareAndSet(100,101);
atomicReference.compareAndSet(101,100);

 

ABA问题的解决

原子版本号引用：AtomicStampedReference<V>

原理：

当T2发生了ABA后，版本号（类似时间戳）跟着变，当T1要更改时，发现版本号不一致，就知道发生了ABA问题

代码Demo：

public class ABADemo{
	//原子引用
	static AtomicReference<Integer> atomicReference=new AtomicReference<>(100);
	
	//原子版本号引用(初始值为100，版本号初始值为1)
	static AtomicStampedReference<Integer> atomicStampedReference=new AtomicStampedReference<>(100,1);
	
	public static void main(String[] args){
		//线程t1发生ABA
		new Thread(()->{
			atomicReference.compareAndSet(100,101);
			atomicReference.compareAndSet(101,100);
		},"t1").start();
		
		new Thread(()->{
			//暂停一秒钟t2线程，保证t1线程完成了一次ABA操作
			try{
			TimeUnit.SECONDS.sleep(1);
			}catch(InterruptException e){
				e.printStackTrace();
			}

		//线程t2操作一次			System.out.println(atomicReference.compareAndSet(100,2019)+"\t"+atomicReference.get());
			
		},"t2").start();
		
		/*======================以下解决ABA问题==========================*/
		
		new Thread(()->{
			int stamp=atomicStampedReference.getStamp();
			System.out.println(Thread.currentThread().getName()+"\t第1次版本号："+stamp);
			
		//暂停1秒钟t3线程，主要是使前面的先进行
		try{
			TimeUnit.SECONDS.sleep(1);
		}catch(InterruptException e){
				e.printStackTrace();
		}
		
	//参数是:期望值、更改之后的值、当前版本号、更改之后的版本号		atomicStampedReference.compareAndSet(100,101,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);

System.out.println(Thread.currentThread().getName()+"\t第2次版本号："+atomicStampedReference.getStamp());

atomicStampedReference.compareAndSet(101,100,atomicStampedReference.getStamp(),atomicStampedReference.getStamp()+1);

System.out.println(Thread.currentThread().getName()+"\t第3次版本号："+atomicStampedReference.getStamp());
			
		},"t3").start();
		
		new Thread(()->{
			int stamp=atomicStampedReference.getStamp();
			//t3,t4线程同时获得stamp，则都可以打印第一次的版本号
			System.out.println(Thread.currentThread().getName()+"\t第1次版本号："+stamp);
			//暂停3秒钟t4线程，保证t3线程之前的以及t3线程完成一次ABA操作
			try{
				TimeUnit.SECONDS.sleep(3);
			}catch(InterruptException e){
				e.printStackTrace();
			}
//注意这里的stamp不是像上面那样atomicStampedReference.getStamp(),这样就获得了真正的版本号，而stamp是自以为第1个版本号
			boolean result=atomicStampedReference.compareAndSet(100,2021,stamp,stamp+1);
			
			System.out.println(Thread.currentThread().getName()+"\t修改成功否:"+result+"\t当前版本号:"+atomicStampedReference.getStamp());
			
			System.out.println(Thread.currentThread().getName()+"\t当前实际最新值"+atomicStampedReference.getReference());
			
		},"t4").start();
	}
}