浅谈CAS

浅谈CAS

CAS的出现

• 多线程的编程下出现了Synchronized和volatile来保证线程安全，但是Synchronized降低性能，volatile不能保证原子性。因此出现JUC（java.util .concurrent）。CAS（compareAndSwap比较和交换）是一种无锁的原子算法。锁分为悲观锁（认为写多读少，由Lock控制）和乐观锁（认为读多写少，由版本号控制）。

CAS思想

• 给一个期望值，与现有的值比较，如果相等再修改，不相等则不作处理。CAS（V,E,N）V为拿到的值，和E比较，相等则能修改，则改为N，否则不能修改。

CAS作用

• CAS多了期望值比较和交换，但是为无锁，没有加锁和减锁的过程，提高效率，提高CPU吞吐量，性能好。

源码分析

/**
*   atomicInteger.incrementAndGet() 的源码分析-----原子性自增
*/

//AtomicInteger.java
 private static final Unsafe unsafe = Unsafe.getUnsafe();     //后门类，调用CPU指令
    private static final long valueOffset;  //地址偏移量：就是地址，起始地址+偏移量就是它的地址

    static {
        try {
            valueOffset = unsafe.objectFieldOffset
                (AtomicInteger.class.getDeclaredField("value"));
        } catch (Exception ex) { throw new Error(ex); }
    }

    private volatile int value;       //要修改的值，修改要其他线程知道，加入volatile保证可见性


//Unsafe.java
public final int getAndAddInt(Object var1, long var2, int var4) { //var1要修改的值 ，var2期望值  var4最终目标值
        int var5; 
        do {
            var5 = this.getIntVolatile(var1, var2);
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));  
        return var5;
    }
 // 进入compareAndSwapInt()  方法
 public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);//native本地方法栈，CPU

    @CallerSensitive
    public static Unsafe getUnsafe() {
        Class var0 = Reflection.getCallerClass();
        if (!VM.isSystemDomainLoader(var0.getClassLoader())) { //调用底层指令
            throw new SecurityException("Unsafe");
        } else {
            return theUnsafe;
        }
    }

整体的调用流程：incrementAndGet()–>unsafe.java–>unsafe.cpp–>汇编cmpxchg (汇编为一条指令无法分割，所以有原子性保证。需要硬件支持)。

ABA问题

• CAS需要检查操作值有没有发生改变，如果没有发生改变则更新。但是存在这样一种情况：如果一个值原来是A，变成了B，然后又变成了A，那么在CAS检查的时候会发现没有改变，但是实质上它已经发生了改变，这就是所谓的ABA问题。对于ABA问题其解决方案是加上版本号，即在每个变量都加上一个版本号，每次改变时加1，即A —> B —> A，变成1A —> 2B —> 3A。java.util.concurrent.atomic的AtomicStampedReference解决CAS的ABA问题

适用场景
应用于简单的数据计算
适合线程冲突少的场景

创作不易，转载请注明出处！