Java面试题集锦(2)：CAS是什么？

CAS是什么？

一、CAS：比较并交换（Compare-And-Swap）。

class CASDemo {
    public static void main(String[] args){
        AtomicInteger atomicInteger = new AtomicInteger(5);
        System.out.println(atomicInteger.compareAndSet(5,2019)+"\t current data: "+atomicInteger.get());
        System.out.println(atomicInteger.compareAndSet(5,1024)+"\t current data: "+atomicInteger.get());
    }
}

运行结果

cas的第一个数是期望值，第二个数是想要设置（修改为）是数。如果拿到的数没有被其他线程修改过，就不会被修改。有点类似于github中的提交，如果被别人捷足先登了，就提交失败（产生了conflict）。

二、CAS底层原理

问题：为什么AtomicInteger使用CAS不适用sychronized？

	//AtomicInteger中保证原子性的 +1操作（源码）
    public final int getAndIncrement() {
        return unsafe.getAndAddInt(this, valueOffset, 1);
    }

1.源码中调用了Unsafe类。Unsafe是CAS的核心类，由于Java方法无法直接访问底层系统，需要通过本地（native）方法来访问，Unsafe相当于一个后门，基于该类可以直接操作特定内存的数据。Unsafe类存在于sum.misc包中，其内部方法操作可以像C的指针一样直接操作内存，因为Java中CAS操作的执行依赖于Unsafe类的方法。

Unsafe类中的所有方法都是native修饰的，也就是说Unsafe类中的方法都直接调用操作系统底层资源执行相应任务。

2.原子整型在多线程环境下能保证线程安全，是因为他使用的是Unsafe类。valueOffset是内存偏移量，表示该变量值在内存中的偏移地址，是因Unsafe就是根据内存偏移地址获取数据的。

3.而变量value是用volatile修饰，保证了多线程之间的内存可见性

CAS的全称为Compare-And-Swap，是一条CPU的并发原语。它的功能是判断内存中某个位置的值是否为预期值，如果是则更改为新的值，这个过程是原子的。
CAS并发原语体现在JAVA语言中就是sun.misc.Unsafe类中的各个方法，调用Unsafe类中的CAS方法，JVM会帮我们实现出CAS汇编指令，这是一种完全依赖于硬件的功能，通过它实现了原子操作。
由于CAS是一种系统原语，原语属于操作系统用语范畴，是由若干条指令组成的，用于完成某个功能的一个“过程”。并且原语的执行必须是连续的，在执行过程中不允许被中断，也就是说CAS是一条CPU原子指令，不会造成所谓的数据不一致（也就是线程安全）。

CAS的底层实现
unsafe.getAndAddInt

//val1 AtomicInteger对象本身
//val2 该对象值的引用地址
//val4 需要变动的值
//val5 是用过val1 val2找出的主内存中真实的值
//用该对象当前的值和val5比较，如果相同则更新val5+val4并返回true，如果不同，则继续取值然后比较，值到更新完成

//unsafe.getAndAddInt
public final int getAndAddInt(Object val1,long val2,int var4){
	int val5;
	do{
		val5 = this.getIntVolatile(val1,val2);
	}while(!this.compareAndSwapInt(val1,val2,val5,val5+val4));
}

回到最初的问题：为什么AtomicInteger使用CAS不适用sychronized？
因为sychronized会加锁，同一时间只有一个线程访问；而使用CAS可以保证数据一致性的情况下，提高并发行。

三、底层汇编

Unsafe类中的compareAndSwapInt，是一个本地方法，该方法的实现位于unsafe.cpp中。

(Atomic::cmpxchg(x,addr,e))==e;

先想办法拿到变量value在内存中的地址，
通过Atomic::cmpxchg实现比较替换，其中参数x是即将更新的值，参数e是原内存的值。

四、小总结

CAS比较当前工作内存中的值和主内存中的值，如果相同则执行规定操作，否则继续比较直到主内存和工作内存的值一致为止（自旋锁的思想）。
CAS有3个操作数，内存值V，旧的预期值A，要修改的更新值B。当且仅当预期值Ahead内存值V相等，才将V修改为B，否则什么都不做。

五、CAS的缺点

sychronized加锁，保证一致性，并发性下降。
CAS没有加锁，保证一致性，并发性加强
CAS的的缺点：

1. 底层有do-while，循环时间长，导致开销过大。
2. 只能保证一个共享变量的原子操作。
3. 会导致ABA问题。