Java的CAS操作

• CAS(Compare and Swap),其实就是 JDK提供的非阻塞原子性操作，它通过硬件保证了比较--》更新操作的原子性。JDK 里面的 Unsafe类提供了 compareAdnSwap 方法。
  boolean compareAndSwapLong(Object obj,Long valueOffset,long expect,long update);
  compareAndSwap：比较并交换。
  参数:对象内存位置，对象中的变量的偏移量，变量预期值，新值。
  其操作含义：如果对象 obj中内存偏移量为 valueOffset的变量值为 expect,则使用新的值 update替换旧值 expect。这是处理器提供的一个原子性操作。
• CAS经典 ABA 问题。
  • 假如线程1使用 CAS修改初始值为 A的变量 X，那么线程1会首先去获取当前变量 X的值(为A)，然后使用 CAS操作尝试修改 X的值为 B，如果使用 CAS操作成功了，那么程序运行一定是正确吗？其实未必，这是因为有可能在线程1获取变量 X的值为 A后，在执行 CAS前，线程2使用 CAS修改了变量 X的值为 B，然后又使用 CAS修改了变量 X的值为 A。虽然线程1执行 CAS时 X的值为 A，但是这个 A已经不是线程1获取的 A了。这就是 ABA问题。
  • ABA 问题的产生是因为变量的状态值产生了环形转换，就是变量的值可以从 A到 B，然后再从 B到 A。如果变量的值只能朝着一个方向转换，比如 A到 B，B到 C，不构成环形，就不会存在问题。JDK中的 AtomicStampedReference类给每个变量的状态值都配了一个时间戳，从而避免了 ABA问题的产生。

Java并发编程之美