Java中的CAS指令

1. 什么是CAS指令

CAS全称 compare and swap，比较和交换，操作对象是 内存 和 寄存器 中的内容。

CAS是CPU的一条指令，能够以原子操作的方式来完成比较和赋值操作。通过这条指令来代替部分情况下的“加锁”操作，可以使得系统开销更小。

CAS(M,A,B)，M是内存中的内容，A是寄存器1的内容，B是寄存器2的内容。

这条指令要做的事情是 比较M和A：

若M == A，就将B的值赋给M，即M=B操作，并返回true；

若M != A，就无事发生，并返回false。

代码1：

很显然，代码1是线程不安全的，sum++操作是非原子操作，完成sum++操作有三条指令（load,add,save），t1，t2线程同时执行，这三条指令极大可能会被穿插执行，从而导致输出结果与逻辑结果不一致，线程是不安全的。我们可以通过对部分代码加锁，让部分操作变成原子的，就能保证线程是安全的了。

 通过加锁的方式，就可以使得代码1实现线程安全，但有加锁，也就意味着大的系统开销。还有更好的办法，使用更轻量化的操作，能达到同样的效果。那就是使用CAS指令了。

CAS的指令逻辑：

CAS是一条指令，一条指令是原子操作，要应用CAS指令，需要借助其他类来实现。

AtomicInteger类是一个基于CAS指令实现的原子类，借助这个类的getAndIncrement()方法，完成int型变量的自增操作，最后可通过get()方法获取到最终结果。

AtomicInteger类是以不加锁的方式实现代码1线程安全。

public class Demo2 {
    public static AtomicInteger sum = new AtomicInteger(0);
    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(() -> {
            for (int i = 0; i < 10000; i++) {
                sum.getAndIncrement();
            }
        });
        Thread t2 = new Thread(() -> {
            for (int i = 0; i < 10000; i++) {
                sum.getAndIncrement();
            }
        });
        t1.start();
        t2.start();

        t1.join();
        t2.join();
        System.out.println(sum.get());
    }
}

AtomicInteger类和getAndIncrement()源码： 

输出结果表明，这个以CAS指令实现的原子类 可以通过不加锁的方式完成int型变量自增操作，是线程安全的。

AtomicInteger类除了getAndIncrement(完成后置++)，还有incrementAndGet(前置++）,getAndDecrement(后置--),decrementAndGet(前置--)等方法。

AtomicInteger类都是针对int型数据的一系列操作，还有其他基于CAS实现的原子类 针对 其他类型数据的操作，比如AtomicBoolean等类。

2. CAS指令存在的问题

通过以上过程，我们了解到有些操作是可以不加锁，借助CAS指令就能实现线程安全。但是，CAS指令也存在一定的问题，称之为ABA问题

【ABA问题】

CAS的逻辑是比较内存和寄存器中的值是否相等，来判断是否有其他线程穿插执行。

但有一种情况，在线程1执行CAS指令之前，有线程2将内存中的值改变了，然后迅速将值还原了。这就导致在线程1执行CAS的时候，发现内存中的值没有发生变化，于是就认为没有其他线程穿插执行过。但其实已经有其他线程穿插执行过了，只不过其他线程将值改变后又迅速将值还原了，也就是A->B->A这么一个过程。

一般情况下，即使说CAS存在ABA问题，但也没什么影响，因为你改过这个值，又改回去了，我本身线程没受到什么影响。但是在一些极端情况下，CAS的ABA问题就不能忽视了。

比如，去银行取钱，本来账户有1000元，我想取500，但不小心按了两次取款500按钮，但按照CAS逻辑，线程是安全的，只会扣款一次，账户应该还剩500。但在线程1取款完成之前，线程3又给账户汇入500。那么，线程2，3完成之后，线程1又会扣款了，这就导致账户本应该还有1000，实际却还剩500了。这就是CAS存在的问题。

总的来说，大部分ABA问题是不影响的，但存在一些极端问题，会使得代码出现BUG。因此，若要防止一些极端情况，就可以让CAS 不去比较 变量值，而是引入一个新的变量，去比较 版本号，约定每修改一次变量，就让版本号+1，这样就能在一定程度上避免CAS的ABA问题了。