1. 从乐观锁和悲观锁谈起

乐观锁和悲观锁是两种不同的解决并发问题的策略。悲观锁策略假定任何一次并发都会发生冲突,所以总是采用最严格的方式来进行并发控制。java中的独占锁(synchronized和重入锁)就是典型悲观锁实现,它只允许线程互斥的访问临界区,也就是阻塞式的同步方式。而乐观锁策略假定大部分情况下并发冲突不会发生,采用的是一种更为宽松的方式来进行并发控制。比如我们马上就要讲的CAS操作。它允许多线程非阻塞式地对共享资源进行修改,但同一时刻只有一个线程能够成功,其他线程被告知失败但并不会挂起,而是重新尝试。这是一种非阻塞式的同步方式。

2. CAS详解

Java中的CAS操作依赖于底层CPU的CAS指令。

2.1 CAS指令

CAS,即Compare-and-Swap(比较和交换),从语义上它需要两次操作,但只需要一条cpu指令就能完成,因而该操作具有原子性,像原子一样不可分割，要么成功，要么失败。CAS指令需要3个操作数,分别是V:变量的内存地址，A(预期值),B(更新值)。CAS指令执行时,只有当预期值A和V的值一样时才进行更新,否则更新失败。

2.3 Java中的CAS指令

java中给我们提供了本地方法来获得和CAS指令一样的执行效果。比如Unsafe类中

public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);

因为这些方法会被编译成平台相关的CAS指令，故而这些CAS操作都具有原子性。遗憾的是,这些CAS操作我们无法直接使用,因为只有Bootstrap ClassLoader加载的Class才能访问它。然而在JDK并发包的底层实现中，还是可以处处看到它的身影。如下图所示

2.4 CAS结合失败重试机制进行并发控制

CAS指令只是提供了一个更新变量的原子操作,要使用它进行并发控制,还需要结合失败重试机制。以AtomicInteger为例,对它进行累加操作是线程安全的,而普通的整型变量在多线程环境下执行类似i++的操作线程不安全。为什么？因为i++并非是一个原子操作,而AtomicInteger类的getAndIncrement底层的CAS操作是原子性的,故而能保证线程安全。下面是它的源码(基于JDK8)

/** * Atomically increments by one the current value. * * @return the updated value */public final int incrementAndGet() { return unsafe.getAndAddInt(this, valueOffset, 1) + 1;}

进入方法Unsafe类的getAndAddInt方法,

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)); //CAS失败则重新尝试直到成功为止 return var5;}

可以看到步骤可以概括为