Java并发三要素：原子性、可见性、有序性

原创于 2026-02-20 23:15:28 发布 · 663 阅读

7 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

标签

#java #开发语言

好的，我们来详细解释一下 Java 中的原子性、可见性和有序性。这三个概念是多线程编程的核心基础，理解它们对于编写正确且高效的并发程序至关重要。

1. 原子性 (`Atomicity`)

定义： 原子性是指一个操作是不可中断的，要么全部执行完成，要么完全不执行。在多线程环境中，这意味着一个线程在执行原子操作时，其他线程不能观察到该操作的中间状态。
核心： 它关注的是操作的 “不可分割性”。
典型例子：
- int i = 10; (基本类型的赋值操作，在大多数平台上通常是原子的)。
- long j = 10L; (在32位平台上，long的读写可能不是原子的，因为需要两次操作)。
- i = j; (读取j的值并赋值给i，这不是原子操作，涉及两个步骤)。
- i++; (这也不是原子操作！它包含了读取i、加1、写回i三个步骤)。
如何保证： 在 Java 中，可以通过以下方式保证原子性：
- 使用 synchronized 关键字： 通过互斥锁保证代码块或方法的原子执行。
- 使用 java.util.concurrent.atomic 包下的类： 如 AtomicInteger, AtomicLong, AtomicReference 等。它们利用底层硬件支持（如CAS - Compare And Swap）提供了高效的原子操作。
- 使用 Lock 接口及其实现： 如 ReentrantLock，提供更灵活的锁控制。

2. 可见性 (`Visibility`)

定义： 可见性是指当一个线程修改了共享变量的值后，其他线程能够立即看到修改后的最新值。
核心问题： 由于现代计算机架构（CPU的多级缓存）和Java内存模型(JMM)的优化（如线程的工作内存），一个线程对共享变量的修改可能不会立即写入主内存，或者另一个线程可能从自己的缓存（工作内存）中读取过期的值，导致线程间看到的数据不一致。
典型例子： 线程A修改了共享变量 flag = true，但线程B在之后的某个时刻读取 flag 时可能看到的仍然是 false。
如何保证： Java 提供了多种机制来确保可见性：
- 使用 volatile 关键字： 这是最简单的方式。声明为 volatile 的变量，其写操作会立即刷新到主内存，读操作会直接从主内存读取，从而确保修改对所有线程立即可见。它还能防止指令重排序（见有序性）。
- 使用 synchronized 关键字： 在释放锁时，会将所有对共享变量的修改刷新到主内存；在获取锁时，会从主内存重新加载共享变量的值。
- 使用 Lock 接口及其实现： 与 synchronized 类似，锁的释放和获取会触发内存同步。
- 使用 final 字段： 在对象正确构造完成后，final 字段的值对所有线程是可见的。
- 使用 java.util.concurrent 包下的类： 如 ConcurrentHashMap 等，它们内部已经处理了可见性问题。

3. 有序性 (`Ordering`)

定义： 有序性是指在程序执行的顺序上，代码的执行顺序与代码的书写顺序一致。但在多线程和编译器/处理器优化下，指令的实际执行顺序可能会被重排序（Reordering），导致程序行为与预期不符。
核心问题： 编译器和处理器为了提高性能，会对指令进行重排序（在不改变单线程执行结果的前提下）。这种重排序在多线程环境下可能导致意想不到的结果。
典型例子：
```
// 线程1
a = 1; // 写操作
flag = true; // 写操作
// 线程2
if (flag) { // 读操作
    r = a; // 读操作
}
```
由于重排序，线程1可能先执行 flag = true，再执行 a = 1。如果线程2在 flag 被设为 true 后读取 a，可能会读到 a 的初始值（如0），而不是期望的1。
如何保证： Java 通过以下方式防止或限制重排序：
- 使用 volatile 关键字： volatile 变量的写操作会建立一个“内存屏障”（Memory Barrier），确保该写操作前的所有操作（读/写）不会被重排序到该写操作之后；该写操作后的所有操作（读/写）不会被重排序到该写操作之前。读操作也有类似的屏障效果。
- 使用 synchronized 关键字： 进入同步块/方法相当于获取锁（包含读屏障），退出同步块/方法相当于释放锁（包含写屏障），这些屏障限制了临界区内代码的重排序。
- 使用 Lock 接口及其实现： 同样通过锁的获取和释放建立内存屏障。
- final 字段的初始化： 在构造函数的最后写入 final 字段，并确保构造完成后对象的引用才被发布，可以保证其他线程看到该对象时，其 final 字段已被正确初始化。

总结

原子性： 解决的是操作是否完整执行的问题（防止中途被干扰）。
可见性： 解决的是修改后的值是否及时被其他线程看到的问题（防止读取到过期值）。
有序性： 解决的是代码执行顺序是否符合预期的问题（防止指令重排序导致的逻辑错误）。

这三者共同构成了 Java 内存模型 (JMM) 的核心规则，用于规范多线程环境下共享变量的访问行为。synchronized 和 volatile 是实现这三大特性的关键机制，而 java.util.concurrent 包则提供了更高级别的抽象来简化并发编程。理解并正确运用这些概念是编写健壮并发代码的基础。