CAS原理和CAS引发的问题及解决方案

最新推荐文章于 2023-07-21 01:42:31 发布

遇见更好的自己、

最新推荐文章于 2023-07-21 01:42:31 发布

阅读量678

点赞数

分类专栏： Java基础文章标签： java 多线程

本文链接：https://blog.csdn.net/weixin_44399827/article/details/117934782

版权

Java基础专栏收录该内容

31 篇文章 0 订阅

订阅专栏

1、CAS（Compare And Swap 比较然后替换）乐观锁的一种，JUC中很多工具类都是用CAS来实现的

CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做。

2.查看JUC 中的AtomicInteger原子类


    /**
     * Atomically increments by one the current value.
     *
     * @return the updated value
     */
    //原子操作每次更新+1后返回更新后的值    
    public final int incrementAndGet() {
        return unsafe.getAndAddInt(this, valueOffset, 1) + 1;
    }

    public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
           	//var1表示变量的对象，var2表示内存地址，
            //该方法表示从内存地址var2获取对象var1的值，
		    //相当于从主内存拷贝数据到工作内存，
		    //并赋值给工作内存中变量的副本
            var5 = this.getIntVolatile(var1, var2);
          // 循环比较 直到比较成功 
          // var1 预期的值
          // Var2 对象的内存地址
          // var5 内存中的值
          // var1=var5时，将var5+var4更新到内存中，返回true 否则循环比较
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));
        
        return var5;
    }

3.CAS引发的问题

3.1 ABA问题

假设有个变量 M ，目前的值是A 同时又3个线程同时去对变量M进行操作，

线程1和线程2 读到的最开始的M的值为A

线程2cas比较成功后，将M的值更新为B

此时线程3 读取到值B CAS 成功后，将 M的值又重新更新为A

此时线程1 再去读的时候内存中的值还是A ，在更新。

可是此时变量M已经发生过ABA的更新过程了。显然是不允许这样的。那么我们如何去解决这个问题勒

解决方案：1.加标志位，例如搞个自增的字段，操作一次就自增加一，或者搞个时间戳，比较时间戳的值。

update table set value = newValue ，vision = vision + 1 where value = #{oldValue} and vision = #{vision}
// 判断原来的值和版本号是否匹配，中间有别的线程修改，值可能相等，但是版本号100%不一样

2、JUC提供了原子时间戳引用类AtomicStampedReference，可以解决ABA问题

   
 //expectedReference 期望的值  newReference 需要更新的值
 // expectedStamp 期望的时间戳  需要更新的时间戳
 //  current.referenc 当前的值  current.stamp 当前的时间戳
 public boolean compareAndSet(V   expectedReference,
                                  V   newReference,
                                 int expectedStamp,
                                 int newStamp) {
        Pair<V> current = pair;
        return
            expectedReference == current.reference &&
            expectedStamp == current.stamp &&
            ((newReference == current.reference &&
              newStamp == current.stamp) ||
             casPair(current, Pair.of(newReference, newStamp)));
    }