在 Java 中,java.util.concurrent.atomic
包提供了一系列原子类,用于在多线程环境下实现高效的原子操作。下面介绍一些常用的原子类及其底层实现原理。
常用原子类
1. AtomicInteger
AtomicInteger
用于对整数类型进行原子操作,例如递增、递减等。以下是一个简单的使用示例:
import java.util.concurrent.atomic.AtomicInteger;
public class AtomicIntegerExample {
public static void main(String[] args) {
AtomicInteger atomicInteger = new AtomicInteger(0);
// 原子递增
int result = atomicInteger.incrementAndGet();
System.out.println("递增后的值: " + result);
}
}
2. AtomicLong
AtomicLong
与 AtomicInteger
类似,只不过它用于对长整型进行原子操作。
3. AtomicBoolean
AtomicBoolean
用于对布尔类型进行原子操作,可以原子地设置和获取布尔值。
4. AtomicReference
AtomicReference
可以原子地更新一个引用类型的变量,即可以保证对引用的更新操作是原子的。以下是一个示例:
import java.util.concurrent.atomic.AtomicReference;
class User {
private String name;
public User(String name) {
this.name = name;
}
public String getName() {
return name;
}
}
public class AtomicReferenceExample {
public static void main(String[] args) {
User user1 = new User("Alice");
User user2 = new User("Bob");
AtomicReference<User> atomicReference = new AtomicReference<>(user1);
// 原子地更新引用
boolean result = atomicReference.compareAndSet(user1, user2);
if (result) {
System.out.println("更新成功,当前用户: " + atomicReference.get().getName());
} else {
System.out.println("更新失败");
}
}
}
5. AtomicStampedReference
AtomicStampedReference
是为了解决 AtomicReference
可能出现的 ABA 问题而设计的。它在更新引用时会同时检查引用和版本号,只有当引用和版本号都符合预期时才会进行更新。
底层实现原理
Java 中的原子类底层主要是基于 CAS(Compare-And-Swap)操作和 Unsafe
类来实现的。
1. CAS 操作
CAS 是一种乐观锁机制,它包含三个操作数:内存位置(V)、预期原值(A)和新值(B)。操作过程如下:
- 首先读取内存位置 V 处的值,将其作为预期原值 A。
- 在准备更新 V 处的值时,再次读取 V 处的值,检查其是否与预期原值 A 相等。
- 如果相等,说明在这期间没有其他线程修改过该值,就将新值 B 写入 V 处;如果不相等,说明该值已经被其他线程修改过,当前操作失败,通常需要重试整个操作。
2. Unsafe
类
Unsafe
类是 Java 提供的一个强大的工具类,它可以直接操作内存、进行 CAS 操作等。原子类通过 Unsafe
类的 compareAndSwapXXX
方法来实现 CAS 操作。例如,AtomicInteger
的 compareAndSet
方法的底层实现如下:
public final boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
其中,unsafe
是 Unsafe
类的实例,valueOffset
是 AtomicInteger
中存储值的内存偏移量,compareAndSwapInt
方法是一个本地方法,它会调用底层的硬件指令来实现 CAS 操作。
在不同的操作系统和硬件平台上,CAS 操作通常是通过底层的原子指令来实现的,例如 x86 架构下的 cmpxchg
指令。这些原子指令可以保证在硬件层面上对内存的读写操作是原子的,从而实现高效的并发控制。