JUC-5.0-CAS-核心概念

上文中介绍了原子类,在原子类中有一个常用的方法就是 compareAndSet() 这个方法,这个方法其实就是一个 CAS 方法, CAS(Compare-and-Swap) 字面意思比较并替换,是一种实现并发算法时常用的技术

CAS

CAS有三个操作数: 内存值,预期值,要修改的值,当且仅当预期值和内存值相同的时候,才将内存值修改为要修改的值。

通俗点来说,就是判断内存值和预期值是否相当,如果是的话,那我就把内存值改成要修改的值,如果不是的话,说明这个值已经被别人修改过了,就不会去改了,避免多个人修改出错

他其实就是乐观锁的实现原理

伪代码理解CAS

根据上面的描述,写一个伪代码来理解CAS操作,代码如下:

public class CasTest {
    
    private volatile int value;

    public synchronized int compareAndSwap(int expectedValue, int newValue) {
       if (value==expectedValue){
            value=newValue;
        }
        return value;
    }
}

CAS其实是先拿内存值跟预期值对比,如果相等,设置成新的值,但是真正的CAS并不是上面代码这样操作的,真实的操作应该是去调用CPU的原子指令的

应用场景

乐观锁
并发容器
原子类

缺陷

CAS虽然很高效的解决了原子操作的问题但同时他也有一些缺陷

  1. 循环时间长开销大,它就是个自旋锁,会一直占着CPU
  2. ABA问题

什么是ABA问题呢?

如果内存地址V初次读取的值是A,并且在准备赋值的时候检查到它的值仍然为A,那我们就能说它的值没有被其他线程改变过了吗?
如果在这段期间它的值曾经被改成了B,后来又被改回为A,那CAS操作就会误认为它从来没有被改变过。这个漏洞称为CAS操作的“ABA”问题。Java并发包为了解决这个问题,提供了一个带有标记的原子引用类“AtomicStampedReference”,它可以通过控制变量值的版本来保证CAS的正确性。因此,在使用CAS前要考虑清楚“ABA”问题是否会影响程序并发的正确性,如果需要解决ABA问题,改用传统的互斥同步可能会比原子类更高效。

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值