Java中原子操作的实现原理详解

最新推荐文章于 2025-03-12 20:26:15 发布

haoshenwan

最新推荐文章于 2025-03-12 20:26:15 发布

阅读量966

点赞数 24

分类专栏： java 文章标签： java 开发语言

本文链接：https://blog.youkuaiyun.com/haoshenwan/article/details/145850541

版权

java 专栏收录该内容

7 篇文章

订阅专栏

Java中原子操作的实现原理详解

在并发编程中，原子性是保证线程安全的关键特性之一。原子操作指不可中断的一个或一系列操作，要么全部执行成功，要么全部不执行。Java 提供了多种机制实现原子操作，包括基于锁的 synchronized 关键字和更高效的 CAS（Compare-And-Swap） 无锁算法。本文将深入探讨 Java 原子操作的实现原理，重点分析 CAS 机制及其在并发包中的应用。

原子操作的实现离不开硬件和内存模型的底层支持。现代 CPU 提供了 原子指令（如 x86 的 cmpxchg 指令），直接支持原子操作。Java 内存模型（JMM）则通过 volatile 变量和 happens-before 规则，确保多线程环境下变量的可见性和有序性。

二、CAS：无锁算法的核心

CAS（Compare-And-Swap） 是实现原子操作的核心机制，其伪代码如下：

CAS(V, A, B):
    if V == A
        V = B
        return true
    else
        return false

V：内存位置的值
A：旧的预期值
B：新值

CAS 操作是原子的，由 CPU 指令直接保证。Java 通过 sun.misc.Unsafe 类（JDK9+ 后由 VarHandle 替代）调用底层 CAS 指令。

示例：AtomicInteger 的 `incrementAndGet()`

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

底层 getAndAddInt 通过自旋 CAS 实现：

do {
    int current = getIntVolatile(o, offset);
} while (!compareAndSwapInt(o, offset, current, current + delta));

三、Java 原子类的实现

Java 并发包（java.util.concurrent.atomic）提供了一系列原子类，如 AtomicInteger、AtomicLong、AtomicReference 等，均基于 CAS 实现。

1. 基本原子类

AtomicInteger：通过 volatile int value 保证可见性，CAS 更新值。
AtomicReference：支持对象引用的原子更新。

2. 数组原子类

AtomicIntegerArray：将数组元素用 volatile 修饰，通过计算偏移量访问元素。

3. 字段更新原子类

AtomicIntegerFieldUpdater：反射更新对象的 volatile 字段。

四、CAS 的缺陷与解决方案

1. ABA 问题

问题描述：线程1读取值 A，线程2将值改为 B 后又改回 A，线程1的 CAS 仍会成功，可能导致逻辑错误。
解决方案：使用带版本号的原子类（AtomicStampedReference）。

2. 自旋开销

问题描述：高并发场景下，CAS 失败重试可能导致 CPU 空转。
解决方案：
- 使用 LongAdder（分段累加，分散竞争）。
- 结合退避算法（如指数退避）减少竞争。

五、高效原子操作的优化策略

1. LongAdder 的分段设计

LongAdder 内部维护一个 Cell 数组，每个线程更新不同的 Cell，最终汇总结果。适用于高并发统计场景。

public void add(long x) {
    Cell[] as; long b, v; int m; Cell a;
    if ((as = cells) != null || !casBase(b = base, b + x)) {
        // 竞争时使用 Cell 数组
    }
}

2. 避免伪共享

问题：CPU 缓存行（通常 64 字节）可能包含多个变量，导致无谓的缓存同步。
解决：在 Cell 类中填充无用字段，确保每个 Cell 独占缓存行。

@sun.misc.Contended
static final class Cell {
    volatile long value;
    // 填充字段
    long p1, p2, p3, p4, p5, p6;
}

六、锁与 CAS 的选择

场景	锁（synchronized）	CAS（无锁）
竞争程度	高竞争	低到中度竞争
实现复杂度	简单	需处理 ABA、自旋等问题
吞吐量	上下文切换开销大	无阻塞，吞吐量高
适用场景	临界区复杂、竞争激烈	简单操作（如计数器）