透彻分析Atomic包下的类是如何保证原子性的？

Atomic包下的类是如何保证原子性的？

我们知道普通的基本类型以及包装类，在多线程情况下如果自增操作不加锁，将会出现数据不一致现象，而我们可以用java.util.concurrent.atomic包下，诸如AtomicInteger这样的原子类自增操作来解决数据不一致现象。 那他们是如何保持原子性的呢？ 是通过CAS方式实现的，我们来透彻分析一下。

getAndIncrement方法

根据上图我们可以看出：

1.getAndIncrement方法调用了unsafe的getAndAddInt方法，把当前对象，以及偏移量，增量作为参数传了过去（unsafe类可以理解为可以直接操作内存的类，类似c语言的指针）
2.在getAndAddInt方法中，var1为AtomicInteger对象，var2位偏移量，var4为增量，var5是根据var1和var2得到内存中的快照值var5
这个方法的意思是从主存中得到快照值，知道修改成功
3.this.compareAndSwapInt方法是个本地方法，是由c语言实现的，其功能是：判断主存的实际值和快照值相等吗？如果相等就执行自增操作，然后返回true，否则返回false，进入下一轮循环。

CAS实际上是一种自旋锁