CAS自旋原理

最新推荐文章于 2025-03-31 15:30:01 发布

卡肤卡

最新推荐文章于 2025-03-31 15:30:01 发布

阅读量4.5k

点赞数

分类专栏：高并发算法文章标签：算法并发

本文链接：https://blog.csdn.net/CSDNzhangtao5/article/details/78836634

版权

高并发同时被 2 个专栏收录

13 篇文章

订阅专栏

算法

2 篇文章

订阅专栏

本文深入剖析了Java并发包中CAS算法的工作原理及其在AtomicInteger类中的具体应用。通过解读源码，揭示了compareandswap（比较并交换）如何确保并发安全，以及自旋算法在其中的作用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

CAS是Java并发包工具类底层使用的算法，他有效的避免了并发，像AtomicInteger、Semaphore、ReentrantLock底层都采用了CAS算法

cas即compare and swap(比较与交换)，它涉及到三个操作数：内存值、预期值、新值。当且仅当预期值和内存值相等时才将内存值修改为新值。

这里写图片描述
其中比较与交换是原子操作。

下面对着例子来说：
分析AtomicInteger的addAndGet()方法，这个方法是基于CAS写的。

看下源码

public class AtomicInteger extends Number implements java.io.Serializable {
    private static final long serialVersionUID = 6214790243416807050L;

    // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();
    private static final long valueOffset;

    static {
        try {
            //得到value这个值在内存中的偏移量即地址
            valueOffset = unsafe.objectFieldOffset
                (AtomicInteger.class.getDeclaredField("value"));
        } catch (Exception ex) { throw new Error(ex); }
    }

 /**
     * Atomically adds the given value to the current value.
     *
     * @param delta the value to add
     * @return the updated value
     */
    public final int addAndGet(int delta) {
        return unsafe.getAndAddInt(this, valueOffset, delta) + delta;
    }

其中Unsafe类
封装了一系列JNI,提供了一系列CAS算法。
我们无法直接调用native方法。需要用Unsafe这个类提供的api去操作

再来看下unsafe.getAndAddInt(this, valueOffset, delta)源码：

 public final int getAndAddInt(Object var1, long var2, int var4) {
        int var5;
        do {
            //得到此时var2这个偏移量在内存中的值，即期望值var5
            var5 = this.getIntVolatile(var1, var2);

         //compareAndSwapInt通过var1, var2得出实际值，然后和var5进行    对比，如果相同则把var5 + var4（新值写入内存），如果不相同不断do，while循环（自旋）直到相同。
        } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));

        return var5;
    }

do{
}while(){
}
代码块就是自旋算法，其中compareAndSwapInt是原子操作，不会产生并发安全问题。