侧边栏壁纸
  • 累计撰写 119 篇文章
  • 累计创建 281 个标签
  • 累计收到 11 条评论
标签搜索
隐藏侧边栏

CAS问题简述

骐骏
2019-05-20 / 0 评论 / 0 点赞 / 109 阅读 / 0 字 / 正在检测是否收录...
温馨提示:
本文最后更新于 2021-09-27,若内容或图片失效,请留言反馈。部分素材来自网络,若不小心影响到您的利益,请联系我们删除。

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代码
0

评论区