CAS(Compare-and-Swap),即比较并替换;在并发编程中是经常用到的技术,很多并发包中能够看到CAS的影子。
在并发编程中,就拿简单的变量自增操作来说,由于多个线程相互间的切换,即使把自增的变量声明为volatile类型,但也不能保证自增的原子性,往往与预期的值不一致。若想解决这个问题,有以下解决方法:
1、给相应的方法加上同步关键字:synchronized;
2、使用Java并发包原子操作类(Atomic开头)。
而这里通过方法调用,我们可以查看AtomicInteger.getAndIncrement()函数源码,CAS自旋volatile变量,是一种很经典的用法。
CAS需要有3个操作数:内存地址V,旧的预期值A,即将要更新的目标值B。CAS指令执行时,当且仅当内存地址V的值与预期值A相等时,将内存地址V的值修改为B,否则就什么都不做。整个比较并替换的操作是一个原子操作。
AtomicInteger类的getAndIncrement的源代码如下:
public final int getAndIncrement() {
for (;;) {
int current = get(); // 取得AtomicInteger里存储的数值
int next = current + 1; // 加1
if (compareAndSet(current, next)) // 调用compareAndSet执行原子更新操作
return current;
}
}
这段代码解读思路,compareAndSet方法首先判断当前值是否等于current;如果当前值 = current ,说明AtomicInteger的值没有被其他线程修改;如果当前值 != current,说明AtomicInteger的值被其他线程修改了,这时会再次进入循环重新比较。在getAndIncrement方法中,它的做法是:先获取到当前的 value 属性值,然后将 value 加 1,赋值给一个局部的 next 变量,然而,这两步都是非线程安全的,但是内部有一个死循环,不断去做compareAndSet操作,直到成功为止,也就是修改的根本在compareAndSet方法里面。
我们可以看到在compareAndSet()方法中调用的是sun.misc.Unsafe.compareAndSwapInt(Object obj, long valueOffset, int expect, int update)方法,compareAndSwapInt 基于的是CPU 的 CAS指令来实现的。所以基于 CAS 的操作可认为是无阻塞的,一个线程的失败或挂起不会引起其它线程也失败或挂起。并且由于 CAS 操作是 CPU 原语,所以性能比较好。这就保证了多个线程调用getAndIncrement方法对 value 值得更新都是有效的。所利用的是基于冲突检测的乐观并发策略。 但是可以推演出,这种乐观在线程数目非常多的情况下,失败的概率会指数型增加。