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

在Java中,AtomicReferenceArray 是 java.util.concurrent.atomic 包提供的一个线程安全的数组类,用于对对象数组的元素进行原子性更新。它适用于需要在多线程环境下安全地读取和修改数组元素的场景,而无需使用 synchronized 或显式锁。
AtomicReferenceArray 的基本特点
与普通的数组不同,AtomicReferenceArray 提供了基于 volatile 语义和 CAS(Compare-And-Swap)机制的方法来保证单个元素操作的原子性。它不支持数组整体的原子操作,但能确保每个索引位置的读写是线程安全的。
- 内部存储的是引用类型(如 String、自定义对象等)
- 所有 get 和 set 操作默认具有 volatile 语义
- 提供 compareAndSet 方法实现条件更新
- 不会对数组本身加锁,性能优于同步容器
创建和初始化 AtomicReferenceArray
可以通过指定大小或从已有数组复制来创建实例:
// 创建一个长度为10的空数组 AtomicReferenceArrayarray = new AtomicReferenceArray<>(10); // 使用已有数组初始化(会复制内容) String[] init = {"a", "b", "c"}; AtomicReferenceArray array2 = new AtomicReferenceArray<>(init);
常用原子操作方法
以下是一些核心方法及其用途:
立即学习“Java免费学习笔记(深入)”;
- 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):原子地设置新值并返回旧值
实际使用示例
假设我们有一个共享的状态数组,多个线程需要更新某个位置的状态:
AtomicReferenceArraystates = 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 实现可能限制)










