JAVA中的CAS算法

在这里插入图片描述
java 中的线程之间的栈空间是相互独立,堆空间是共享的
在这里插入图片描述在这里插入图片描述

V:内存值就是主内存中i值
A:预估值(期望值)就是子线程拿到主内存的值(读取到高速缓存中的值)
B:更新值是子线程拿到i值后,修改i的值

假设有两个线程同时要修改i的值,此时i为临界资源,若其中一个线程对其修改,另外一个线程就会修改失败。
假设主内存中i值为(V)5。线程数为二。
线程一拿到的值是(A)5,同时线程二拿到的值也是(A)5。此时线程将值(B)6赋值给了主内存中的i,此时i的值为(V)6。线程二在此时也开始对(V)I值进行修改,但线程二预估值是(A)5,目前的内存值是(V)6,预估值不等于内存值,则不满足条件无法修改。

ABA问题:

在CAS算法中,需要取出内存中某时刻的数据(由用户完成),在下一时刻比较并替换(由CPU完成,该操作是原子的)。
这个时间差中,会导致数据的变化。
假设如下事件序列:
线程 1 从内存位置V中取出A。
线程 2 从位置V中取出A。
线程 2 进行了一些操作,将B写入位置V。
线程 2 将A再次写入位置V。
线程 1 进行CAS操作,发现位置V中仍然是A,操作成功。

尽管线程 1 的CAS操作成功,但不代表这个过程没有问题——对于线程 1 ,线程 2 的修改已经丢失。

aba解决方法:加版本号而不是根据值判断

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值