CAS(Compare-And-Swap),它是CPU的并发原语。原语属于操作系统的范畴,是由若干条指令组成,用于完成某个功能的一个过程。原语的执行必须是连续的,在执行过程中不允许被中断。也就是说CAS不会造成数据不一致的问题,CAS是线程安全的。
CAS的作用是比较当前工作内存中的值和主物理内存中的值,如果相同则更新为我们规定的值,否则继续比较直到工作内存和主物理内存的值一致。我们通常称它为:比较并交换
CAS中有两个参数,第一个是预期值,第二个是更改后的值。
代码示例:
public class CASDemo {
public static void main(String[] args) {
AtomicInteger atomicInteger = new AtomicInteger(5);
System.out.println(atomicInteger.compareAndSet(5, 2019)+"\t current data:"+atomicInteger.get());
System.out.println(atomicInteger.compareAndSet(5, 2014)+"\t current data:"+atomicInteger.get());
}
}
运行结果:
CAS底层原理:
这里说一下Atomic,它是一个包装类,可以保证原子性
在AtomicInteger中有一个方法:getAndIncrement(),我们先看一下这个方法的源码:
我们可以看到,底层调用了一个unsafe类的getAndAddInt方法
getAndAddInt()方法有三个参数:this是当前对象,valueOffset是内存偏移量,也就是内存地址。通过内存地址获取到值,然后进行+1的操作。
unsafe是CAS的核心类,由于java需要通过本地(Native)方法才能访问底层系统,unsafe就是这个后门,通过unsafe可以直接操作特定的内存数据。
unsafe类存在于sun.misc包中,其内部方法操作可以像C的指针一样直接操作内存。
unsafe类的所有方法都是native修饰的,也就是说unsafe类中的方法都直接调用操作系统底层资源执行相应的任务。
Atomic能够保证原子性,依靠的就是底层的unsafe类。
我们再来看一下getAndAddInt()的源码:
var5:从主内存中拷贝到工作内存中的值
我们主要说一下while()里面的compareAndSwapInt方法:
var1:AtomicInteger对象本身
var2:对象值的引用地址
var4:变动的数量
var5:用当前对象的值和var5进行比较,如果相同,更新为var5+var4并返回true,如果不同,继续取值比较,直到更新完成。
unsafe类+CAS的底层思想:自旋
CAS的缺点:
-
循环时间长,开销大(do{}while()可能无限循环)
-
只能保证一个共享变量的原子操作,如果是多个共享变量的话,就需要加锁来保证原子性。
-
会引出ABA问题