java Atomic怎样实现原子性

在 Java 中，Atomic 类（如 AtomicInteger、AtomicLong、AtomicReference 等）实现原子性，核心依靠的是：

底层硬件支持的原子指令 + CAS（Compare And Swap） + volatile 保证可见性

下面分层说明。

一、Atomic 类是什么

Java 在 java.util.concurrent.atomic 包中提供了一组原子类，例如：

• AtomicInteger
• AtomicLong
• AtomicBoolean
• AtomicReference
• AtomicIntegerArray

它们的特点是：

• 多线程环境下，操作具有原子性
• 不需要使用 synchronized
• 性能通常优于锁

二、核心实现原理：CAS（重点）

1. 什么是 CAS

CAS 全称：Compare And Swap（比较并交换）

它是一种 CPU 级别的原子指令，语义是：

if (当前值 == 期望值) {
    当前值 = 新值
    返回成功
} else {
    返回失败
}

整个过程是不可中断的。

2. Java 中的 CAS 体现

以 AtomicInteger 为例：

AtomicInteger count = new AtomicInteger(0);
count.incrementAndGet();

incrementAndGet() 内部逻辑类似（简化）：

public final int incrementAndGet() {
    for (;;) {
        int current = get();
        int next = current + 1;
        if (compareAndSet(current, next)) {
            return next;
        }
    }
}

其中：

compareAndSet(expect, update)

最终调用的是：

Unsafe.compareAndSwapInt(...)

三、Unsafe 与底层支持

1. Unsafe 是什么

Unsafe 是 Java 提供的底层操作类，可以直接：

• 操作内存
• 调用 native 方法
• 执行 CPU 原子指令

Atomic 类内部大量使用 Unsafe。

2. 硬件层面如何支持

不同 CPU 提供不同指令：

• x86：LOCK CMPXCHG
• ARM：LL/SC（Load-Link / Store-Conditional）

这些指令在硬件层面保证原子性。

四、volatile 保证可见性（非常重要）

Atomic 类中的值通常用：

private volatile int value;

volatile 的作用：

1. 保证可见性
   • 一个线程修改，其他线程立刻可见
2. 禁止指令重排序

⚠️ 注意：

volatile 不保证原子性
但 Atomic 类用 CAS + volatile 组合实现原子性

五、为什么不用 synchronized？

Atomic 更适合：

• 计数器
• 状态标记
• 简单并发变量

六、CAS 的问题与解决

1. ABA 问题

一个值：

A → B → A

CAS 会认为“没变”。

✅ 解决：

AtomicStampedReference
AtomicMarkableReference

通过版本号 / 标记解决。

2. 自旋开销

CAS 失败会重试，高并发下可能 CPU 消耗大。

七、一句话总结

Java 的 Atomic 类通过 volatile 保证可见性，通过 Unsafe 调用底层 CAS 指令，在 CPU 硬件层面实现原子操作，从而避免使用锁也能保证线程安全。

如果你愿意，我也可以：

• 画 CAS 执行流程图
• 对比 synchronized 和 Atomic 源码
• 讲 LongAdder 为什么比 AtomicLong 快