并发编程原理与实战（三十一）从原子类到CPU原子指令，CAS实现全链路拆解

关注

VIP免费原创 2025-12-02 17:39:53 1.2k 阅读 AI 写同款· GEO 优化 ›

线程安全的本质：从CPU缓存到JVM重排序的全链路解析线程安全是多线程编程中最基础也最易被误解的核心概念，其本质并非简单加锁，而是对原子性、可见性与有序性三大执行特性的协同保障。它根植于硬件层的CPU缓存一致性协议（如MESI）、JVM内存模型中的happens-before规则、以及编译器与处理器的重排序行为。理解这些底层原理，才能准确识别竞态条件、规避volatile误用、合理选型synchronized/AtomicInteger/无锁结构。本文聚焦高并发系统中真实可复现的线程安全问题，结合字节码分析、JMH压测、Arthas诊断与JFR追踪，将抽象概念阅读详情

在前面学习原子类的核心API过程中，CAS方法compareAndSet(int expect, int update)是每个原子类的核心方法，本文来深入这一核心算法底层的实现原理。

CAS底层原理（JDK1.8）

以AtomicInteger为例，我们分析下compareAndSet(int expect, int update)的源码。

/**
 * Atomically sets the value to the given updated value
 * if the current value {@code ==} the expected value.
 *
 * @param expect the expected value
 * @param update the new value
 * @return {@code true} if successful. False return indicates that
 * the actual value was not equal to the expected value.
 */
public final boolean compareAndSet(int expect, int update) {
   
   
    return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}

该方法传入两个参数，当原子对象的当前值等于传入的期望值expect的时候，原子对象的值被设置为传入的更新值update，更新成功返回true，更新失败返回false，表示原子对象的当前值不等于传入的期望值expect。

其内部调用unsafe变量的compareAndSwapInt(this, valueOffset, expect, update)方法，那么问题来了？什么是unsafe，参数valueOffset又是什么？

认识Unsafe

我们发现，每个原子类里面都Unsafe类型的变量unsafe和long类型的变量valueOffset。

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 {
   
   
            valueOffset = unsafe.objectFieldOffset
                (AtomicInteger.class.getDeclaredField("value"));
        } catch (Exception ex) {
   
    throw new Error(ex); }
    }    
    ...
}

public class AtomicBoolean implements java.io.Serializable {
   
   
    private static final long serialVersionUID = 4654671469794556979L;
    // setup to use Unsafe.compareAndSwapInt for updates
    private static final Unsafe unsafe = Unsafe.getUnsafe();
    private static final long valueOffset;
    ...
}

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

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