CAS问题简述

java cruise 2年前 (2019-05-20) 687次浏览 已收录 0个评论 扫描二维码
  1. 什么是CAS
    1. compareAndSwap 对比并交换,是一条CPU原语,执行必须是连续的不能够被打断。Atomic类使用CAS原理实现
    2. java语言中利用,sun.misc.Unsafe类实现了CAS
      1. java8中里有do…while循环实现了CAS

        public final int getAndSetInt(Object paramObject, long paramLong, int paramInt)
        {
        int i;
        do
        i = getIntVolatile(paramObject, paramLong);
        while (!(compareAndSwapInt(paramObject, paramLong, i, paramInt)));
        return i;
        }

      其中compareAndSwapInt方法调用native方法,保证了comparedandSwap不能被打断,即保证了操作的原子性

  2. CAS有什么优点

    1. 不使用锁,可以增大并发量
  3. CAS有什么缺点
    1. 由于利用do…while循环实现的cas所以在一直操作不成功的时候会造成CPU消耗过高
    2. ABA问题
  4. 什么是ABA问题
    1. 线程T1,T2将主内存中的变量x的值A拷贝到各自的工作内存中,但T1的执行速度比T2要快。
    2. 此时T1先将变量x更改为B,然后写回到主内存,然后继续执行,将变量x值再改为A写回到主内存。
    3. 此时如果线程T1更改变量x值,是可以更改成功的,这是因为T1在compareAndSwap的时候主内存中的值仍然是A
    4. 这就情况便是ABA问题,即虽然一个线程可以通过比较并设置值(也就是可以获取到和当时从主内存拷贝的值相同的值),但变量的值有可能在这之前被修改过
  5. 怎么解决ABA问题
    1. 增加一个版本号或者时间戳属性,先判断版本号或者时间戳是否相等
    2. jdk自带的AtomicStampedReference,添加了版本号对比
  6. 原子引用
    1. 除了jdk自带的Atomic,如果我们自定义的类要实现CAS,可以使用AtomicReference,使用示例见github代码
    2. 带stamp的原子引用使用示例,见github代码

原创不易,请勿随意转载丨如未注明 , 均为原创丨本网站采用BY-NC-SA协议进行授权
转载请注明原文链接:CAS问题简述
喜欢 (0)
[]
分享 (0)
发表我的评论
取消评论
表情 贴图 加粗 删除线 居中 斜体 签到

Hi,您需要填写昵称和邮箱!

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址