1.前提条件
在了解CAS机制之前,我们先要对Unsafe类的熟悉;原因是CAS需要拿到内存地址对应的值进行比较。Unsafe类使Java拥有了像C语言的指针一样操作内存空间的能力,一旦能够直接操作内存,这也就意味着
(1)不受jvm管理,也就意味着无法被GC,需要我们手动GC,稍有不慎就会出现内存泄漏。
(2)Unsafe的不少方法中必须提供原始地址(内存地址)和被替换对象的地址,偏移量要自己计算,一旦出现问题就是JVM崩溃级别的异常,会导致整个JVM实例崩溃,表现为应用程序直接crash掉。
(3)直接操作内存,也意味着其速度更快,在高并发的条件之下能够很好地提高效率。
Unsafe详情具体内容:请点击Unsafe源码深究
2.基础部分
CAS机制中使用了3个基本操作数:内存地址V,旧的预期值A,要修改的新值B。意思是:更新一个变量的时候,只有当变量的预期值A和内存地址V当中的实际值相同时,才会将内存地址V对应的值修改为B。如果不相等,那么就重复上述操作直到成功为止。
举个例子
1. 在内存地址V当中,存储着值为10的变量。
2. 此时线程1想把变量的值增加1.对线程1来说,旧的预期值A=10,要修改的新值B=11.
3. 在线程1要提交更新之前,另一个线程2抢先一步,把内存地址V中的变量值率先更新成了11。
4. 线程1开始提交更新,首先进行A和地址V的实际值比较,发现A不等于V的实际值,提交失败。
5. 线程1 重新获取内存地址V的当前值,并重新计算想要修改的值。此时对线程1来说,A=11,B=12。这个重新尝试的过程被称为自旋。
6. 这一次比较幸运,没有其他线程改变地址V的值。线程1进行比较,发现A和地址V的实际值是相等的。
7. 线程1进行交换,把地址V的值替换为B,也就是12
3.CAS的缺点
1.CPU开销过大: 在并发量比较高的情况下,如果许多线程反复尝试更新某一个变量,却又一直更新不成功,循环往复,会给CPU带来很到的压力。
2.不能保证代码块的原子性: CAS机制所保证的知识一个变量的原子性操作,而不能保证整个代码块的原子性。比如需要保证3个变量共同进行原子性的更新,就不得不使用synchronized了。
3.ABA问题: 这是CAS机制最大的问题所在。
4.CAS的问题
1.ABA问题
问题描述:如果一个变量初次读取的时候是 A 值,它的值被改成了 B,后来又被改回为 A,那 CAS 操作就会误认为它从来没有被改变过。例如:一个小偷,把别人家的钱偷了之后又还了回来,还是原来的钱吗?ABA问题也一样,如果不好好解决就会带来大量的问题。最常见的就是资金问题,也就是别人如果挪用了你的钱,在你发现之前又还了回来。但是别人却已经触犯了法律。
问题解决:
1.互斥同步锁synchronized
2.如果项目只在乎数值是否正确, 那么ABA 问题不会影响程序并发的正确性。
3.J.U.C 包提供了一个带有时间戳的原子引用类 AtomicStampedReference
来解决该问题,它通过控制变量的版本来保证 CAS 的正确性。
代码实战
package lzy.thread.solveCAS;
import lzy.thread.base.ThreadPoolManager;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicStampedReference;
import static sun.misc.PostVMInitHook.run;
/**
* @program: demo
* @description:
* @author: lzy
* @create: 2021-01-19 14:12
*/
public class SolveCAS {
/**
* 版本号
*/
private static Integer version = 1;
/**
* 初始共享资源
*/
private static Integer initNum = 1;
private static AtomicStampedReference atomicStampedReference = new AtomicStampedReference(initNum, version);
public static void own(String name){
// 查余额
int stamp = atomicStampedReference.getStamp();
System.out.println(name +":查询银卡余额为:"+atomicStampedReference.getReference() + ", 余额的修改时间是:" + stamp);
// 休眠5s,确保t2执行完ABA操作
try {
System.out.println(name + ":突然有人在ATM机门口喊我,我去去就回来。。。。");
TimeUnit.SECONDS.sleep(5);
} catch (InterruptedException e) {
e.printStackTrace();
}
// t2将时间戳改为了3,cas失败
boolean b = atomicStampedReference.compareAndSet(1, 10, stamp, stamp + 1);
System.out.println(name +":回来AMT机,按下取钱按钮");
if (b){
System.out.println(Thread.currentThread().getName()+" 当前最新时间戳:"+atomicStampedReference.getStamp()+" 最新值为:"+atomicStampedReference.getReference());
}else{
System.out.println("ATM机:当前页面异常时,请重新刷新。");
System.out.println(name +":查询银卡余额为:"+atomicStampedReference.getReference() + ", 余额的修改时间是:" + atomicStampedReference.getStamp());
System.out.println(name + ":啊,有人修改过金额了,还好钱还在");
}
}
public static void thief(String name){
// 第一次拿到的时间戳
int stamp = atomicStampedReference.getStamp();
System.out.println(name +" :居然有人把卡插在ATM机上,得看看才行;查询银卡余额为:"+atomicStampedReference.getReference() + ", 余额的修改时间是:" + stamp);
// 休眠,修改前确保t1也拿到同样的副本,初始值为1
try {
System.out.println(name +" :连忙按下全部取款, 银行ATM机正在处理中。。。");
TimeUnit.SECONDS.sleep(1);
atomicStampedReference.compareAndSet(1, 0, stamp, stamp + 1);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(name + " :开心,银行ATM机已吐钱,剩余金额为:"+atomicStampedReference.getReference()+" 余额的修改时间是:"+ atomicStampedReference.getStamp());
System.out.println(name + ":钱也太少了吧,算了,还是存回去吧!");
atomicStampedReference.compareAndSet(0, 1, atomicStampedReference.getStamp(), atomicStampedReference.getStamp() + 1);
System.out.println("ATM机正在处理。。。。");
System.out.println(name +" :查询银卡余额为:"+atomicStampedReference.getReference() + ", 余额的修改时间是:" + atomicStampedReference.getStamp());
System.out.println(name + ":钱给回去了,穷鬼要回来了,赶紧跑路。");
}
public static void main(String[] args) {
new Thread(() -> {
own("老婆");
}).start();
new Thread(() -> {
thief("小偷");
}).start();
}
}
5.面试常见考题