理解CAS操作、ABA问题与解决

1. CAS（Compare and swap）：字面意思：“比较和交换”。

一个CAS涉及到以下操作：

我们假设内存中的原数据V，旧的预期值A，需要修改的新值B。

1. 比较 A 与 V 是否相等。（比较）

2. 如果比较相等，将 B 写入 V。（交换）

3. 返回操作是否成功。

下面一段伪代码可以帮助我们理解CAS

boolean CAS(address, expectValue, swapValue) {

if (&address == expectedValue) {

  &address = swapValue;

       return true;

  }

   return false;

}

当多个线程同时对某个资源进行CAS操作，只有一个线程能操作成功，但是不会阻塞其他线程，其他线程只是会收到操作失败的信号，然后继续下一次操作。（类似于乐观锁）

2.CAS有哪些应用？

1.实现原子类

标准库中提供了 java.util.concurrent.atomic 包, 里面的类都是基于这种方式来实现的. 典型的就是 AtomicInteger 类. 其中的 getAndIncrement 相当于 i++ 操作。

伪代码理解原理：

class AtomicInteger {

   private int value;

   public int getAndIncrement() {

       int oldValue = value;

       while ( CAS(value, oldValue, oldValue+1) != true) {

           oldValue = value;

      }

       return oldValue;

  }

}

过程分析：

注意：此处是两个线程一次getAndIncrement()操作。

2. 实现自旋锁，伪代码

public class SpinLock {

   private Thread owner = null;

   public void lock(){

       // 通过 CAS 看当前锁是否被某个线程持有.

       // 如果这个锁已经被别的线程持有, 那么就自旋等待.

       // 如果这个锁没有被别的线程持有, 那么就把 owner 设为当前尝试加锁的线程.

       while(!CAS(this.owner, null, Thread.currentThread())){

      }

  }

   public void unlock (){

       this.owner = null;

  }

}

3. CAS的ABA问题

1.什么是ABA问题？

假设存在两个线程 t1 和 t2. 有一个共享变量 num, 初始值为 A.

接下来, 线程 t1 想使用 CAS 把 num 值改成 Z, 那么就需要

先读取 num 的值, 记录到 oldNum 变量中.

使用 CAS 判定当前 num 的值是否为 A, 如果为 A, 就修改成 Z.

但是, 在 t1 执行这两个操作之间, t2 线程可能把 num 的值从 A 改成了 B, 又从 B 改成了 A。

这里是不是有点迷惑，好像这个ABA问题并没有产生什么影响。 但是在某种极限条件下，是可能出现bug的。

在此处，A的值是不变的，但是可能发生的情况是，本身t2线程是要阻止线程1进行操作的，但是因为值变化的太快了，线程1又进行了一次操作。

比如此处有个滑稽老哥：

他要去银行取钱，他的账户里有100，想取走50，在柜台操作的时候，系统创建了两个取钱的线程，我们希望一个成功一个失败，但是在线程1扣款成功的瞬间他的朋友滑稽二哥给他又转了50块。此时线程2依然会执行取款操作，与预期不符。

                                                                                                                        

2. 怎么解决ABA问题？

给要修改的值, 引入版本号. 在 CAS 比较数据当前值和旧值的同时, 也要比较版本号是否符合预期.

CAS 操作在读取旧值的同时, 也要读取版本号.

真正修改的时候,

如果当前版本号和读到的版本号相同, 则修改数据, 并把版本号 + 1.

如果当前版本号高于读到的版本号. 就操作失败(认为数据已经被修改过了).