17370845950

AtomicReferenceArray提供线程安全的对象数组原子操作，基于CAS和volatile语义实现元素级并发控制，适用于高并发下无锁更新数组元素的场景。

在Java中，AtomicReferenceArray 是 java.util.concurrent.atomic 包提供的一个线程安全的数组类，用于对对象数组的元素进行原子性更新。它适用于需要在多线程环境下安全地读取和修改数组元素的场景，而无需使用 synchronized 或显式锁。

AtomicReferenceArray 的基本特点

与普通的数组不同，AtomicReferenceArray 提供了基于 volatile 语义和 CAS（Compare-And-Swap）机制的方法来保证单个元素操作的原子性。它不支持数组整体的原子操作，但能确保每个索引位置的读写是线程安全的。

• 内部存储的是引用类型（如 String、自定义对象等）
• 所有 get 和 set 操作默认具有 volatile 语义
• 提供 compareAndSet 方法实现条件更新
• 不会对数组本身加锁，性能优于同步容器

创建和初始化 AtomicReferenceArray

可以通过指定大小或从已有数组复制来创建实例：

// 创建一个长度为10的空数组
AtomicReferenceArray array = new AtomicReferenceArray<>(10);

// 使用已有数组初始化（会复制内容）
String[] init = {"a", "b", "c"};
AtomicReferenceArray array2 = new AtomicReferenceArray<>(init);

常用原子操作方法

以下是一些核心方法及其用途：

• get(int index)：获取指定位置的值，具有 volatile 读的内存语义
• set(int index, E value)：设置新值，具有 volatile 写的内存语义
• compareAndSet(int index, E expect, E update)：如果当前值等于预期值，则更新为新值，CAS 操作
• lazySet(int index, E value)：延迟设置值，性能更好但刷新主存时机不确定
• getAndSet(int index, E newValue)：原子地设置新值并返回旧值

实际使用示例

假设我们有一个共享的状态数组，多个线程需要更新某个位置的状态：

AtomicReferenceArray states = new AtomicReferenceArray<>(5);

// 线程1尝试更新索引2的状态
boolean success = states.compareAndSet(2, null, "RUNNING");
if (success) {
    System.out.println("状态设置成功");
} else {
    System.out.println("状态已被其他线程修改");
}

// 线程2安全读取
String current = states.get(2);
System.out.println("当前状态：" + current);

// 原子交换
String old = states.getAndSet(2, "FINISHED");
System.out.println("旧状态：" + old);

这个例子展示了如何通过 compareAndSet 避免竞态条件，比如只在状态为空时才设置为运行中。

适用场景与注意事项

AtomicReferenceArray 特别适合以下情况：

• 高并发下频繁更新数组中个别元素
• 用作无锁数据结构的基础组件（如无锁队列、缓存槽位）
• 替代 volatile Object[] 数组以获得更细粒度的控制

需要注意：

• 仅保证单个元素操作的原子性，不能保证复合操作（如先读后改）的原子性
• 数组大小一旦创建不可变
• 不支持 null 值的 compareAndSet 判断（某些 JVM 实现可能限制）