CAS

1. 什么是CAS

CAS全称CpmpareAndSwap，比较并交换。CAS操作包含三个参数——内存位置（V）、旧的期望值（A）、新值（B），如果内存位置的值与A一致，则用新值代替。值得一提的是该操作是具有原子性的。

2. Java中支持的CAS操作

	// 修改引用类型的属性
   	public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);
	//修改int类型的属性
    public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);
	//修改long类型的属性
    public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);

参数var1：表示要操作的对象
参数var2：表示要操作的对象中属性地址的偏移量
参数var3：表示要修改数据的旧期望值
参数var4：表示要修改为的新值

3. Java中CAS的实现原理

CAS通过调用JNI的代码实现。而compareAndSwapXXX系列方法的实现是借助C语言调用cpu低层指令实现的。最终调用的底层指令为cmpxchg，这是一个原子指令。

---

Q：cmpxchg如何保证多核CPU下的线程安全？
A：系统底层进行CAS操作的时候，会判断系统是否为多核心系统。如果是则给总线加锁，只有一个线程会对总线加锁成功，加锁成功后才会进行CAS操作，也就是说CAS的原子性是平台级别的。

4. CAS的缺陷

1. 在高并发的情况下，会导致大量CPU时间浪费在循环上。
2. ABA问题
   解决方法：加入版本号（Java中提供AtomicStampedReference）

	public boolean compareAndSet(V   expectedReference,
                                 V   newReference,
                                 int expectedStamp,
                                 int newStamp) {
        Pair<V> current = pair;
        return
            expectedReference == current.reference && //期望引用与当前引用一致
            expectedStamp == current.stamp &&		  //期望版本与当前版本一致
            ((newReference == current.reference &&	  
              newStamp == current.stamp) ||
             casPair(current, Pair.of(newReference, newStamp)));
    }