cas学习笔记

cas是什么

比较并交换

实例

、、、 以下这个对象进行示例:
AtomicInteger atomicInteger = new AtomicInteger(); //这是具有原子性的integer
atomicInteger.copareAndSet() ; //比较并交换—这个api这就是cas的缩写,第一个参数是比较是否在自己操作时,主内存里的值发生了变化,第一个参数进行对比的,第二个参数时第一个参数对比成功后修改后的值
、、、

为什么AtomicInteger 多线程做自增,不会有线程安全问题,因为用的cas,主要依赖于unsafe类,可以直接操作内存地址来操作数据

在这里插入图片描述

在这里插入图片描述

下面图的api的解释:(当前对象,物理偏移地址,做增加的(写死1))

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述上面这个图的compareAndSwapInt的api解释第一个参数对象第二个位置上的值和第三个参数进行对比,是,否一致,如果一致就做改变,通过unsafe直接操作的,如果不一致就再次从第一个参数(对象)的第二个参数(地址)的拿到最新值直到循环比较成功为止=
==依赖于unsafe类的cpu指令原语来操作

cas原理流程

在这里插入图片描述

底层原语==了解

在这里插入图片描述

cas缺点

在这里插入图片描述

在这里插入图片描述
第二个

在这里插入图片描述### 重点说一下cas缺点中的ABA问题
这里仍然拿AtomicInteger类来说,这个原子类就可以扯出来下面一堆问题
CAS—>UnSafe—>CAS底层思想—>ABA—>源自更新引用—>如何规避ABA问题
ABA是什么:狸猫换太子

如果你需要的业务只看开始和结果则可以不考虑ABA产生的影像。否则需要考虑这些问题

ABA产生原因解释:多个不同线程操作了主内存,假如主内存值为100,假如A线程cas对比的之前,B线程先执行完了。B将主内存的值修改为200, 但是又修改回去100了,这是B执行完了走人,但是A回来继续执行对比发现主内存的值仍然是100,就误认为未改变过,所以继续做操作。如下图

在这里插入图片描述

解放方式就是原子引用,自定义类进行原子包装,使用AtomicReference类

在这里插入图片描述

ABA解决方案:ABA原子问题。使用AtomicReference类

这里使用AtomicReference类来保证原子引用,操作过程中不允许其他线程动我的数据。保证原子性。
在这里插入图片描述
解决ABA问题怎么办呢。新增一种机制,修改版本号(类似时间戳,用于区分。具体怎么实现呢,使用AtomicStampedReference来实现。相当于每次修改增加了一个版本号,每次都验证一下这个版本,看看中间是否有被操作过,而不仅仅比较值
在这里插入图片描述
在这里插入图片描述
结果
在这里插入图片描述

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值