用volatile可以保证共享变量的可见性,但是不能保证一次操作的原子性,因此在并发编程中,用Synchronized或者Lock或者CAS的方式都可以实现原子性操作;但是前面两种方式都是在同一时间内只允许一个线程通过,保证了原子性,但是并发性会下降;而CAS的实现是基于Unsafe类,基本都是本地方法,可以直接访问操作系统,因此它在保证原子性的同时还可以保证并发性,CAS也有缺点:会引起ABA问题;循环时间长,cpu开销大;一次只能保证一个共享变量的原子操作。
用AtomicInteger举例分析下i++操作
public final int getAndIncrement() {
//返回当前的值
return unsafe.getAndAddInt(this, valueOffset, 1);
}
/**
*var1当前的AtomicInteger对象;var2当前对象内存中的偏移量;var4 更新值
*var5根据当前对象和内存中的偏移量计算出主内存中的真实值
*当前对象的值和内存中的真实值相等时,取反为false跳出循环;反之,继续进行do while循环取出
*内存中的真实值进行比较,直到相等跳出循环...
*/
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));
return var5;
}
总结:CAS是利用cpu指令执行时不会被阻断而保证原子性,利用乐观锁的思想,当更新值时判断当前值和内存中的值是否相等,相等才更新,不等继续训循环比较(使用自旋锁的思想进行循环比较)。