CAS（compare and swap）详解，追溯到HOTSPOT源码

最新推荐文章于 2024-04-21 20:26:05 发布

suixinghero

最新推荐文章于 2024-04-21 20:26:05 发布

阅读量237

点赞数

分类专栏： java 文章标签： java hotspot

本文链接：https://blog.csdn.net/killerofjava/article/details/114173767

版权

java 专栏收录该内容

17 篇文章 0 订阅

订阅专栏

在这里插入图片描述
问：但是大家有没有想过一个问题就是其他线程修改过后的值与修改之前的值一样，就会出现ABA问题。
答：只需要加个版本号就行，在修改值的时候相应的版本号加一就行，读取比较的时候随带比较以下版本好就行。

问：大家想一下，一个线程在比较N和E，而且N和E相等正准备更新值为V的时候，另外一个线程正好把值改成了H，在预想中这是会出现的，但是为什么没有出现呢？
答：我们可以从AtomicInteger中寻找答案，如下图：
在这里插入图片描述

上面的方法换成上面我们设想的值如下：

public final int getAndAddInt(Object var1, long E, int var4) {
        int N;
        do {
            N = this.getIntVolatile(var1, E);
        } while(!this.compareAndSwapInt(var1, E, N, N + var4));

        return var5;
    }

但是我们在源码中看到compareAndSwapInt方法是一个native方法，所以我们在追到hotspot源码中，如下：
在这里插入图片描述
在unsafe.cpp源码中我们看到最总是调用Atomic的cmpxchg方法来实现的，我们在追到Atomic的cmpxchg方法中，如下：

asm表示是汇编语言，cmpxchg(compare and exchange)是一条汇编指令，这个表明cas在硬件上就能直接支持的。LOCK_IF_MP是什么意思呢，这个就是我们要寻找的答案，MP(MultiProcessors)表示是多个CPU或者多核。如果是多个CPU或者多核下的情况就会进行加锁。