CAS原理
1.什么是CAS
CAS (compareAndSwap),中文叫比较交换,一种无锁原子算法。过程是这样:它包含 3 个参数 CAS(V,E,N),V表示要更新变量的值,E表示预期值,N表示新值。仅当 V值等于E值时,才会将V的值设为N,如果V值和E值不同,则说明已经有其他线程做两个更新,则当前线程则什么都不做。最后,CAS 返回当前V的真实值。CAS 操作时抱着乐观的态度进行的,它总是认为自己可以成功完成操作。
2.作用和优点
CAS实现稍微复杂,无锁,不存在阻塞,但是提高了效率,CPU的吞吐量,性能好
通过AtomicInteger来分析cas
在这里插入图片描述
Unsafe是CAS的核心类,Java无法直接访问底层操作系统,而是通过本地(native)方法来访问。不过尽管如此,JVM还是开了一个后门:Unsafe,它提供了硬件级别的原子操作。
内部调用unsafe的getAndAddInt方法,在getAndAddInt方法中主要是看compareAndSwapInt方法:
CAS可以保证一次的读-改-写操作是原子操作,在单处理器上该操作容易实现,但是在多处理器上实现就有点儿复杂了。
ABA问题
new Thread(()->{
try {
TimeUnit.SECONDS.sleep(1);
} catch (InterruptedException e) {
e.printStackTrace();
}
Boolean result = num.compareAndSet(100,110);
System.out.println(num.get());
}).start();;
new Thread(()->{
try {
TimeUnit.SECONDS.sleep(2);
} catch (InterruptedException e) {
e.printStackTrace();
}
Boolean result = num.compareAndSet(110,100);
System.out.println(num.get());
}).start();;
new Thread(()->{
try {
TimeUnit.SECONDS.sleep(3);
} catch (InterruptedException e) {
e.printStackTrace();
}
Boolean result = num.compareAndSet(100,120);
System.out.println(num.get());
}).start();
这时会输出110 100 120.虽然说结果是正确的,但是最后100修改成120却是有歧义的,这时候的100已经跟刚开始的100不一样了,程序并没有感知到这样的变化,这就是典型的ABA问题。
对于ABA问题其解决方案是加上版本号,即在每个变量都加上一个版本号,每次改变时加1,即A —> B —> A,变成1A —> 2B —> 3A,也就是使用AtomicStampedReference这个类。