CAS原理分析

CAS原理

1.什么是CAS

CAS （compareAndSwap），中文叫比较交换，一种无锁原子算法。过程是这样：它包含 3 个参数 CAS（V，E，N），V表示要更新变量的值，E表示预期值，N表示新值。仅当 V值等于E值时，才会将V的值设为N，如果V值和E值不同，则说明已经有其他线程做两个更新，则当前线程则什么都不做。最后，CAS 返回当前V的真实值。CAS 操作时抱着乐观的态度进行的，它总是认为自己可以成功完成操作。

2.作用和优点

CAS实现稍微复杂，无锁，不存在阻塞，但是提高了效率，CPU的吞吐量，性能好

通过AtomicInteger来分析cas

在这里插入图片描述
Unsafe是CAS的核心类，Java无法直接访问底层操作系统，而是通过本地（native）方法来访问。不过尽管如此，JVM还是开了一个后门：Unsafe，它提供了硬件级别的原子操作。
内部调用unsafe的getAndAddInt方法，在getAndAddInt方法中主要是看compareAndSwapInt方法：
CAS可以保证一次的读-改-写操作是原子操作，在单处理器上该操作容易实现，但是在多处理器上实现就有点儿复杂了。

ABA问题

new Thread(()->{
    try {
        TimeUnit.SECONDS.sleep(1);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    Boolean result = num.compareAndSet(100,110); 
    System.out.println(num.get());
}).start();;
new Thread(()->{

    try {
        TimeUnit.SECONDS.sleep(2);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    Boolean result = num.compareAndSet(110,100);        
    System.out.println(num.get());
}).start();;
new Thread(()->{

    try {
        TimeUnit.SECONDS.sleep(3);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
    Boolean result = num.compareAndSet(100,120);       
    System.out.println(num.get());
}).start();

这时会输出110 100 120.虽然说结果是正确的，但是最后100修改成120却是有歧义的，这时候的100已经跟刚开始的100不一样了，程序并没有感知到这样的变化，这就是典型的ABA问题。
对于ABA问题其解决方案是加上版本号，即在每个变量都加上一个版本号，每次改变时加1，即A —> B —> A，变成1A —> 2B —> 3A，也就是使用AtomicStampedReference这个类。