原子引用与ABA问题

第一、常用的原子引用类
JUC开发包提供了:
AtomicReference：是对”对象”进行原子操作。
AtomicMarkableReference：不关心引用变量更改了几次，只是单纯关心是否更改过。
AtomicStampedReference：可以给引用加上版本号，追踪引用的整个变化过程，可以知道引用变量中途被更改了几次。
原子引用提供了一种读和写都是原子性的对象引用变量。原子意味着多个线程试图改变同一个AtomicReference(例如比较和交换操作)将不会使得AtomicReference处于不一致的状态。AtomicReference和AtomicInteger非常类似.
第二、ABA问题

import java.util.concurrent.atomic.AtomicReference;
/**
 * ABA问题 
 */
public class TestABA {
	public static void main(String [] args) throws InterruptedException {
		AtomicReference<String> ref=new AtomicReference<String>("A");
		String prev=ref.get();
		new Thread(()-> {
			System.out.println("change A->B "+ref.compareAndSet("A", "B"));
            //盲区，do sth
			System.out.println("change B->A "+ref.compareAndSet("B", "A"));
		}).start();
		Thread.sleep(1000);
		System.out.println("change A->C "+ref.compareAndSet(prev, "C"));
	}
}

执行结果

change A->B true
change B->A true
change A->C true

线程1准备用CAS修改变量值A，在此之前，其它线程将变量的值由A替换为B，又由B替换为A，然后线程1执行CAS时发现变量的值仍然为A，所以CAS成功。但实际上这时的现场已经和最初不同了。
第三、解决ABA问题

import java.util.concurrent.atomic.AtomicStampedReference;
/**
 * 解决ABA问题 
 */
public class TestABA {
	public static void main(String [] args) throws InterruptedException {
		AtomicStampedReference<String> ref=new AtomicStampedReference<String>("A",0);
		String prev=ref.getReference();
		int mstamp=ref.getStamp();
		new Thread(()-> {
			int stamp=ref.getStamp();
			System.out.println("change A->B "+ref.compareAndSet("A", "B",stamp,1));
			//不再是盲区    do sth unknown.....
			stamp=ref.getStamp();
			System.out.println("change B->A "+ref.compareAndSet("B", "A",stamp,1));
		}).start();
		Thread.sleep(1000);
		System.out.println("change A->C "+ref.compareAndSet(prev, "C",mstamp,1));
	}
}

执行结果

change A->B true
change B->A true
change A->C false

解决ABA最简单的方案就是给值加一个修改版本号，每次值变化，都会修改它版本号，CAS操作时都对比此版本号。

欢迎大家积极留言交流学习心得，点赞的人最美丽，谢谢！