结合Hotspot源码谈谈：为什么CAS的比较和替换操作是原子性的？

本文前置知识: CAS算法原理和ABA问题

    之前提到，CAS的原理就是 在 将数据写入主内存的时候，将主内存的值与第一次读取到的值进行比较，如果两个值相同，则执行更新，否则，就继续循环。
     那么细心的人可能会思考，如果在 比较 -> 更新 这两个过程之间，有别的线程修改了主内存的数据，那么不是一样会出现并发问题吗？
    答案是，并不会出现并发问题。 原因是，CAS的比较和更新这两个操作是原子性的，中间不会被别的线程打断。

那么本篇文章来具体探讨一下，为什么CAS的 比较和更新 这两个步骤是原子性的。

我们还以AtomicInteger为例，从之前的文章，我们知道该类对数据的操作，底层依赖了CAS算法。 现在我们再去看一下。

首先看一下AtomicInteger类的getAndIncrement()方法， 该方法可以实现并发下对数据的自增操作。

public final int getAndIncrement() {
   
       return unsafe.getAndAddInt(this, valueOffset, 1);
}

我们看到该方法中调用了UnSafe类的getAndAddInt()方法， 我们去看一下。

public final int getAndAddInt(Object var1, long var2, int var4) {
   
      int var5;
      do {
   
          var5