java cas 同步_无锁的同步策略——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;

}

可以看到步骤可以概括为

1.获得变量当前的值var5

2.使用CAS操作进行更新:若var5与当前的值不一样,说明1,2操作间有其他线程作了修改,此次更新失败,重新实行步骤1;否则用 var5+var4的值进行更新,并返回更新前的值。

多个线程同时使用CAS指令去更新变量,失败的线程将会不断重新尝试，直到更新成功。

3. CAS操作的优势和劣势

3.1 CAS相比独占锁的优势

没有线程阻塞唤醒带来的性能消耗问题。

3.2 CAS的缺点

ABA问题。在CAS操作时，我们以变量的当前值和预期值一致来判定变量未被其他线程修改，这样是不用严谨的，因为变量可能被修改成其他值后又被改了回来，大部分时候这是个可以忽略的小问题，如果要规避这个问题,可以使用AtomicStampedReference,它会额外使用一个时间戳来判断变量是否被修改过。

无法直接使用CAS来进行并发控制，相比同步锁的方式适用范围较窄。

4. 总结

CAS是CPU的一条指令,用来对变量进行原子更新。java中使用CAS技术结合失败重试机制，可以非阻塞的实现多线程对共享资源的并发修改，很多时候具有比独占锁更好的性能。