什么是CAS及保障原子性操作的原理

1. CAS（Compare And Swap）：比较并交换

在CAS中，有这样三个值：

• V：要更新的变量(var)
• E：预期值(expected)
• N：新值(new)

比较并交换的过程如下：

• 判断V是否等于E，如果等于，将V的值设置为N；
• 如果不等，说明已经有其它线程更新了V，则当前线程放弃更新，什么都不做。

比如AtomicInteger原子类中的incrementAndGet()方法调用CAS操作自增1：

public final int incrementAndGet() {
        for (;;) {
            int current = get();
            int next = current + 1;
            if (compareAndSet(current, next))
                return next;
        }
    }

public final boolean compareAndSet(int expect, int update) {
        return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
    }

2. CAS原子性操作的原理：

上述栗子可见，最终java调用的是Unsafe类的CAS方法，该方法是native方法，它的实现是C++写的（unsafe.cpp）

public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);

在unsafe.cpp中找到该方法编码：

UNSAFE_ENTRY(jboolean, Unsafe_CompareAndSwapInt(JNIEnv *env, jobject unsafe, jobject obj, jlong offset, jint e, jint x))
  UnsafeWrapper("Unsafe_CompareAndSwapInt");
  oop p = JNIHandles::resolve(obj);
  jint* addr = (jint *) index_oop_from_field_offset_long(p, offset);
  return (jint)(Atomic::cmpxchg(x, addr, e)) == e;
UNSAFE_END

inline jint     Atomic::cmpxchg    (jint     exchange_value, volatile jint*     dest, jint     compare_value) {
  int mp = os::is_MP();
  __asm__ volatile (LOCK_IF_MP(%4) "cmpxchgl %1,(%3)"
                    : "=a" (exchange_value)
                    : "r" (exchange_value), "a" (compare_value), "r" (dest), "r" (mp)
                    : "cc", "memory");
  return exchange_value;
}

在第三行可以看到，是通过cmpxchgl这个指令在CPU级完成CAS操作的，该指令在多核情况下依旧不能保证原子性

LOCK_IF_MP(%4)：在多核的情况下添加一条lock指令；所以多核下相当于lock cmpxchgl ，有了它就能保证原子性了

lock指令会锁定CPU的缓存行或者锁总线

概括：

 CAS操作调用的是unsafe类的CAS方法，该方法是native方法，底层实现通过cmpxchgl这个指令在CPU级完成CAS操作的

在多核下还需添加一条lock指令；即lock cmpxchg 来保障原子性；lock指令会锁定CPU的缓存行或者锁总线