Atomic类如何保证原子性

CAS

全称是CompareAndSwap，它是一条CPU并发原语。用来判断内存某个位置的值是否为预期值，如果是则改为更新的值，这个过程是原子的。AtomicInteger之所以能保证原子性是依赖于UnSafe类，这个类是Java最底层的类之一，里面都是很屌的native方法，都是其他语言写的，咱看不见，Unsafe类可以执行以下几种操作：

分配内存，释放内存
可以定位对象的属性在内存中的位置，可以修改对象的属性值。使用objectFieldOffset方法
挂起和恢复线程，被封装在LockSupport类中供使用
CAS

CAS的缺点

如果循环时间长，CPU开销很大
只能保证一个共享变量的原子操作，对于多个共享变量操作时，循环CAS无法保证操作的原子性，这时候只能使用锁来保证
会有ABA问题

ABA

CAS算法是取出内存中某时刻的数据并在当下时刻比较并替换，这中间会有一个时间差导致数据变化。比如说有两个线程，一快一慢，同时从主内存中取变量A，快线程将变量改为B并写入主内存，然后又将B从主内存中取出再改为A写入主内存，这时候慢线程刚完成了工作，使用CAS算法，发现预期值还是A，然后慢线程将自己的结果写入主内存。虽然慢线程操作成功，但是这个过程可能是有问题的

原子引用

AtomicReference用来把特定对象编程原子类，AtomicReference和AtomicInteger非常类似，不同之处就在于AtomicInteger是对整数的封装，底层采用的是compareAndSwapInt实现CAS，比较的是数值是否相等，而AtomicReference则对应普通的对象引用，底层使用的是compareAndSwapObject实现CAS，比较的是两个对象的地址是否相等，也就是它可以保证你在修改对象引用时的线程安全性。

原子引用时间戳

对于ABA问题可以在比较值的同时加上版本号，或者说是时间戳。AtomicStampedReference
这个类在创建的时候要求指定一个初始的版本号，并且每次做CAS操作的时候要求对比版本号，且版本号需要自增

   /*** Creates a new {@code AtomicStampedReference} with the given* initial values.** @param initialRef the initial reference* @param initialStamp the initial stamp*/public AtomicStampedReference(V initialRef, int initialStamp) {pair = Pair.of(initialRef, initialStamp);}
/*** Atomically sets the value of both the reference and stamp* to the given update values if the* current reference is {@code ==} to the expected reference* and the current stamp is equal to the expected stamp.** @param expectedReference the expected value of the reference* @param newReference the new value for the reference* @param expectedStamp the expected value of the stamp* @param newStamp the new value for the stamp* @return {@code true} if successful*/public boolean compareAndSet(V   expectedReference,V   newReference,int expectedStamp,int newStamp) {Pair<V> current = pair;returnexpectedReference == current.reference &&expectedStamp == current.stamp &&((newReference == current.reference &&newStamp == current.stamp) ||casPair(current, Pair.of(newReference, newStamp)));}