JAVA------探索CAS

概念

什么是CAS，它的全称为compare and swap，比较并且交换。

他会进行如下一波操作:

假设，当前内存中有原始数据A，当前数据V，更新后的数据S，

1. 比较原始数据A和当前数据V是否相等；（比较）
2. 若相等，则将S写入V的内存地址；（交换）
3. 返回操作是否成功；

那么它会产生什么效果？

在多个线程同时操作一个共享数据时，它能保证每次只有一个线程对数据进行操作，但是其他线程不会阻塞。因为每个线程在更新数据前都要进行一次比较，若数据已被其他线程修改，则操作失败。

原理

在java中，CAS是通过java提供的native方法实现。由于java语言不能直接操作内存，java提供了一个sun.misc.Unsafe类，里面提供而一系列的本地方法，调用其他语言（c/c++）实现的方法。

以public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5)为例，

它是个native方法，下载openJDK,查找可以看到它的实现代码:

实际调用：

 进入Atomic::cmpxchg方法：

 从代码可以看出，判断当前计算机是否是多处理器，若是多处理器，则需要加锁，再调用的cmpxchg指令。

应用

在java.util.concurrent.atomic包中，提供了一系列具有原子操作的类。以AtomicInteger的getAndIncrement方法为例，就是调用Unsafe的getAndAddInt方法。

public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }

 归纳

• 在多线程中，一般与while循环结合使用，如果一直未操作成功，则一直不断地循环执行；
• 不会造成线程阻塞；

 缺点

ABA问题：如果原始数据A被另一线程修改为B,又被另一线程修改回了A，那么比较检查是则认为值并没有发生改变。虽然最后结果并没有发生改变，但是过程是由问题的。

解决方式：在变量之前增加版本号，每次在更新的是对版本号+1.如AtomicStampedReference/AtomicMarkableReference，都是对数据增加标记来进行区分。

AtomicStampedReference的成员变量如下：

 private static class Pair<T> {
        final T reference;
        final int stamp;
        private Pair(T reference, int stamp) {
            this.reference = reference;
            this.stamp = stamp;
        }
        static <T> Pair<T> of(T reference, int stamp) {
            return new Pair<T>(reference, stamp);
        }
    }

    private volatile Pair<V> pair;

性能问题：一般使用CAS会集合while true对数据进行操作,直到操作成功。当线程数增加时，每个线程都会执行，如果长时间不成功，会造成比较大的cpu开销。