java Atomic原子性怎么实现

在 Java 中，Atomic 原子类（如 AtomicInteger、AtomicLong、AtomicReference 等）的“原子性”并不是通过 synchronized 锁来实现的，而是依赖底层硬件和 JVM 提供的 CAS（Compare And Swap，比较并交换）机制。

下面从 原理 → 实现 → 示例 → 注意事项 详细说明。

一、Atomic 原子性的核心原理：CAS

1. 什么是 CAS

CAS 是一种 无锁（lock-free） 的原子操作，包含三个操作数：

CAS(内存地址 V, 期望值 A, 新值 B)

逻辑是：

• 如果 当前内存值 == 期望值 A
  • 就把内存值改成 B
  • 返回成功
• 否则
  • 不做修改
  • 返回失败

整个过程是 CPU 级别的原子指令，不会被线程切换打断。

2. Java 中 CAS 的底层支持

Java 的 Atomic 类最终调用的是：

Unsafe.compareAndSwapInt / compareAndSwapLong / compareAndSwapObject

这些方法：

• 由 sun.misc.Unsafe 提供
• 在 x86 上通常对应 cmpxchg 指令
• 由 CPU 保证原子性

二、AtomicInteger 是如何实现的（源码角度）

以 AtomicInteger 为例：

public class AtomicInteger extends Number implements java.io.Serializable {
    private volatile int value;

    public final int incrementAndGet() {
        return unsafe.getAndAddInt(this, valueOffset, 1) + 1;
    }
}

关键点

1. value 使用 volatile
   • 保证可见性
2. 实际自增逻辑在 Unsafe 中：

public final int getAndAddInt(Object o, long offset, int delta) {
    int v;
    do {
        v = getIntVolatile(o, offset);
    } while (!compareAndSwapInt(o, offset, v, v + delta));
    return v;
}

执行流程

1. 读取当前值 v
2. 计算新值 v + delta
3. 使用 CAS 尝试更新
4. 如果失败（被别的线程改了），自旋重试

这就是 原子性的来源。

三、为什么 Atomic 是“原子”的？

Atomic 之所以线程安全：

• CAS 保证更新操作不可中断
• volatile 保证值对其他线程可见

四、常见 Atomic 类及用途

五、CAS 的问题与解决

1. ABA 问题

• 值从 A → B → A
• CAS 认为没变，其实变过

✅ 解决：

AtomicStampedReference<T>

通过版本号解决。

2. 自旋开销

• 高并发下可能频繁重试

✅ 解决：

• LongAdder
• 减少竞争（分段）

3. 只能保证一个变量原子

• 多变量原子性需要：
  • AtomicReference 包装对象
  • 或 synchronized

六、总结一句话

Java 的 Atomic 原子性是通过 volatile + Unsafe + CAS（CPU 原子指令）实现的，是一种无锁的线程安全机制。

如果你愿意，我也可以：

• 画 CAS 执行流程图
• 对比 synchronized vs Atomic
• 讲 LongAdder 为什么更快
• 结合并发场景选型建议