JUC——CAS与ABA问题

最新推荐文章于 2024-06-21 17:14:47 发布

少歌

最新推荐文章于 2024-06-21 17:14:47 发布

阅读量246

点赞数 1

分类专栏： JUC 文章标签： java 并发编程

本文链接：https://blog.csdn.net/weixin_43415201/article/details/111053833

版权

JUC 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

什么是CAS？

这是 compareAndSet() 方法的首字母缩写。CAS是CPU的并发原语。

而这个方法的作用也能从名字看出来。

比较并赋值

举个例子：

public static void main(String[] args) {
        // 参数：默认值
        AtomicInteger atomicInteger = new AtomicInteger(2020);
        //如果期望的值为 2020， 则把他修改成 2021，，否则不更新
        System.out.println(atomicInteger.compareAndSet(2020, 2021));
        System.out.println(atomicInteger.get());
        atomicInteger.getAndIncrement();//相当于 num++；
        System.out.println(atomicInteger.compareAndSet(2020, 2021));
        System.out.println(atomicInteger.get());
    }

这里的 AtomicInteger 是原子性的 Integer。

也是 java.util.concurrent 包下的。

执行结果：

true
2021
false
2022

有两个参数：

compareAndSet(“期望的值”，“要变更为的值”);

接下来说一下ABA问题，这个问题就是伴随着CAS而生的。

什么是ABA问题？

就拿刚刚那个例子来说，如果有两个线程来，就有可能出现问题。

上图理解：
CAS_ABA问题

这里有同学可能会说，结果”没变”，感觉问题不大。

这难道就是我们想要的结果吗？

说明这个问题之前，我们先从文字含义角度理解一波，来仔细体会一下 “期望” 和 “修改”，这两个词。

先说 “修改”：

修改所带来的影响是深远的，改了就是改了，没有说改了一段时间自己又变回去了。这是一个持久的过程。
相对的另一个词：“期望”，也必须是持久的期望，不能只是在判断的那一时刻。

这意思就是说：很多时候我们不能只是判断变量的值，还要保证变量的状态。这是两个维度的事儿，忽略哪一个都会出现问题。

如何解决ABA问题

在各种乐观锁的实现中，都采用了 version 版本号来加以区分。

在 Java 中 AtomicStampedReference 实现了这种思想。

上代码感受一下：

import java.util.concurrent.TimeUnit;
import java.util.concurrent.atomic.AtomicStampedReference;

//经典的ABA问题解决方案
//其思想 和 乐观锁很像（可以说是一样）
public class ABA {
    public static void main(String[] args) {

        int stamp = 1;
        AtomicStampedReference<Integer> reference = new AtomicStampedReference<>(1,stamp);

        new Thread(()->{
            //期待值为1 修改为2 ；期待版本号为 stamp 修改版本号为 stamp+1
            System.out.println("线程A："+reference.compareAndSet(1, 2
                    , stamp, stamp + 1));
            System.out.println("线程A："+reference.getReference());//获得引用值
            //再把值该回去
            System.out.println("线程A："+reference.compareAndSet(2, 1
                    , reference.getStamp(), reference.getStamp() + 1));
            System.out.println("线程A："+reference.getReference());//获得引用值
        },"线程A").start();

        new Thread(()->{
            //让 线程A 先搞完。
            try {
                TimeUnit.SECONDS.sleep(1);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            //期待值为1 修改为2 ；期待版本号为 stamp 修改版本号为 stamp+1
            System.out.println("线程B："+reference.compareAndSet(1, 6
                    , stamp, stamp + 1));
            System.out.println("线程B："+reference.getReference());//获得引用值
        },"线程B").start();
    }
}