CAS的底层原理

CAS是什么

CAS的全程为Compare-And-Swap,它是一条CPU并发原语。
它的功能是判断内存某个位置的值是否为预期值,如果是则更改为新的值,这个过程是原子的。

CAS并发原语体现在JAVA语言中就是sun.misc.Unsafe类中的各个方法。调用UnSafe类中的CAS方法,JVM会帮我们实现出CAS汇编指令。这是一种完全依赖于硬件的功能,通过它实现了原子操作。再次强调,由于CAS是一种系统原语,原语属于操作系统用语范畴,是由若干条指令组成的,用于完成某个功能的一一个过程,并且原语的执行必须是连续的,在执行过程中不允许被中断,也就是说CAS是一条CPU的原子指令,不会造成所谓的数据不一致问题。

Unsafe类

Unsafe

是CAS的核心类,由于Java方法无法直接访问底层系统,需要通过本地(native) 方法来访问,Unsafe相当于一个后门,基于该类可以直接操作特定内存的数据。Unsafe类存在于sun.misc包中,其内部方法操作可以像C的指针一样直接操作内存,因为Java中CAS操作的执行依赖于Unsafe类的方法。
注意Unsafe类中的所有方法都是native修饰的,也就是说Unsafe类中的方法都直接调用操作系统底层资源执行相应任务。
这样才能保证原子性。

valueOffset

表示该变量值在内存中的偏移地址,因为Unsafe就是根据内存偏移地址获取数据的。
在这里插入图片描述

CAS底层原理

在这里插入图片描述

①中点进去,到②,②为.class文件,③为②的源码。
①的this是指这个对象,valueOffset是内存偏移量(比较底层的东西,就是假如老师想叫班上一个同学,但是不知道那个同学叫什么,就可以直接叫“第三排第四列的同学站起来”,这样就可以直接根据地址找到相应的对象,而不是通过名称。),1是指如果期望值和实际值相同就加1。
③的var1是对象,var2是地址值,var4是增量,进入方法内do-while循环,先根据var1和var2获取到内存中的值,并赋值给var5,然后进入while判断,如果对象var1的地址偏移量var2内获取的值和var5相同(就是这个线程在获取到var5之后,内存中对应的值没有被其他线程所改变),就将var5+var4,并返回true。注意前面有一个取反,就是当返回true时,循环判断变量实际为false,跳出循环,并返回var5。当判断不一致,也就是compareAndSwapInt返回是false时,取反为true,再次进入循环,重新取对象地址对应的值,然后在while判断,这样就能保证多线程下也能保证数据的一致性。
在这里插入图片描述
在这里插入图片描述
上图中,输出为
true current data:2019
false current data:2019
在这里插入图片描述
在这里插入图片描述

CAS优缺点

优点
相比于synchronize,即保证了一致性,又提高了并发性。

缺点
循环时间长,开销很大。
在这里插入图片描述
只能保证一个共享变量的原子操作。
在这里插入图片描述
引出来ABA问题。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值