浅谈CAS的实现

         用volatile可以保证共享变量的可见性，但是不能保证一次操作的原子性，因此在并发编程中，用Synchronized或者Lock或者CAS的方式都可以实现原子性操作；但是前面两种方式都是在同一时间内只允许一个线程通过，保证了原子性，但是并发性会下降；而CAS的实现是基于Unsafe类，基本都是本地方法，可以直接访问操作系统，因此它在保证原子性的同时还可以保证并发性，CAS也有缺点：会引起ABA问题；循环时间长，cpu开销大；一次只能保证一个共享变量的原子操作。

       用AtomicInteger举例分析下i++操作

    public final int getAndIncrement() {
        //返回当前的值
        return unsafe.getAndAddInt(this, valueOffset, 1);
    }

    
    /**
     *var1当前的AtomicInteger对象；var2当前对象内存中的偏移量；var4 更新值
     *var5根据当前对象和内存中的偏移量计算出主内存中的真实值
     *当前对象的值和内存中的真实值相等时，取反为false跳出循环；反之，继续进行do while循环取出
     *内存中的真实值进行比较，直到相等跳出循环...
     */
    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;
    }
    

       总结：CAS是利用cpu指令执行时不会被阻断而保证原子性，利用乐观锁的思想，当更新值时判断当前值和内存中的值是否相等，相等才更新，不等继续训循环比较（使用自旋锁的思想进行循环比较）。