1.CAS是什么
比较并交换,在多线程环境下尽量不要用i++,要用getAndIncrement()
首先想一个场景当多线程操作同一个数据时,不同的线程都要从中拿到这个数据的副本,然后进行修改之后放回去。
看下面一个例子:
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, 1024) + "\t current data: " + atomicInteger.get());
}
}
看下结果:
用图来解释一下这个结果
两个工作线程(其实都是main线程的,演示方便就当两个看吧)都想修改主物理内存的值,调用compareAndSet()函数首先工作线程1拿到主物理内存的5然后拷贝一个副本放在自己这然后把这个副本与期望值相比发现相等所以返回true并将5改成2019写会主物理内存并通知其他线程可见,工作线程2再去拿到主物理内存的值2019作为拷贝副本将这个副本与实际的期望值相比不是5所以返回false主物理内存的值也无法得到有效更改。
2. CAS底层原理
首先我们先来探讨一下为什么atomicInteger.getAndIncrement();能够保证线程安全先看一下他的源码
它会调用unsafe类的getAndAddInt方法CAS能保证原子性靠的就是底层的unsafe类这个东西是打娘胎里带的在D:\jdk\jre\lib\rt.jar里面在sun.misc这个包下。CAS是JAVA的核心类,JAVA不能直接和操作系统打交道,需要靠本地方法的帮助,其中的方法可以向C的指针一样直接操作内存。unsafe类的几乎所有方法都是native修饰的,直接调用底层资源执行相应任务。这个方法会拿到当前对象和当前对象的地址,然后加一。
CAS全称是Compare-And-Swap,它是一条CPU并发原语,它的功能是判断内存某个位置是否为预期值如果是则更改为新的值,这个过程是原子的。原语是操作系统的语言是由若干条指令组成的,用于完成某一个功能的过程,原语执行必须是连续的不能被打断也就是说CAS操作是原子的所以atomicInteger.getAndIncrement()能保证线程安全。那为什么CAS原子操作就能保证不被中断呢这涉及到了底层的一些东西Unsafe类中的compareAndSwapInt,是一个本地方法该方法位于unsafe.cpp中其中的Atomic::cmpxchg(x,addr,e)只要有Atomic那他就不可被中断一定是原子的x是新值和addr上之前的值e作比较如果相等则替换不然就不换。
看一下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,</