CAS详解

CAS(Compare And Swap)是一种基于硬件指令的乐观锁实现方式,用于无锁编程。通过比较预期值和真实值来实现原子性的更新操作。在Java中,AtomicInteger等原子类利用CAS实现原子自增等操作。然而,CAS存在ABA问题,即值在修改过程中经历了A-B-A的过程,可能导致错误判断。为解决这个问题,JUC提供了AtomicStampedReference,通过添加版本戳来确保更新的正确性。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

CAS是什么?

CAS算法,Compare And Swap,比较并交换。其实现方式是基于硬件平台的汇编指令,在intel的CPU中,使用的是cmpxchg指令。也就是说这个硬件指令是一个满足原子性的最小动作,程序语言中就可以合理利用这个满足原子性的最小动作来做一些事情。

CAS硬件指令的具体逻辑就是:传入三个值:V,E,N,返回布尔值。简而言之,V是真实值,E是预期值(快照值),N是新值,如果预期值等于真实值,那么就将真实值替换为新值,返回true,否则返回false。而且这段逻辑是封装在了一个原子性的硬件命令里面!

好像很简单,但是真实值并不是那么简

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值