[面试题] 如何保证线程安全？线程安全的三要素是什么？

📖 版块 A：知识讲解版 (温故知新)

• 线程安全三要素：

  1. 原子性 (Atomicity)：指一个或多个操作在 CPU 执行过程中不被中断。要么全部执行成功并对外部可见，要么都不执行。
  2. 可见性 (Visibility)：指当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。这主要是为了应对 CPU 缓存导致的数据不一致问题。
  3. 有序性 (Ordering)：指程序执行的顺序按照代码的先后顺序执行。编译器和处理器为了优化性能会对指令进行重排序，但在多线程下这可能导致逻辑错误。

• 实现线程安全的主要手段：

  1. 互斥锁方案（阻塞式）：

     • 使用 synchronized 关键字：JVM 层面实现的内置锁，保证原子性、可见性和有序性。
     • 使用 ReentrantLock（Lock 接口）：JDK 层面提供的手动加锁方式，比 synchronized 更灵活（如支持公平锁、中断响应、超时机制）。

  2. 非阻塞方案（无锁化）：

     • CAS (Compare And Swap)：利用 CPU 指令保证原子性。配合 AtomicInteger、LongAdder 等原子类使用。
     • volatile 关键字：保证可见性和有序性（通过内存屏障禁止重排序），但不保证原子性。

  3. 线程封闭/隔离方案：

     • ThreadLocal：将共享变量变为线程私有，每个线程拥有独立的变量副本，从根本上规避竞争。
     • 不可变对象 (Immutable)：使用 final 修饰变量，对象一旦创建就不允许修改（如 String），天生线程安全。

🎤 版块 B：面试实战版 (高手逐字稿)

Q：如何保证线程安全？线程安全的三要素是什么？

💬 高手逐字稿：

要保证线程安全，首先必须理解导致线程不安全的三个根本要素：原子性、可见性和有序性。

第一是原子性，即一系列操作不可分割，解决的是线程切换带来的中断问题；第二是可见性，由于每个核心有自己的 L1/L2 缓存，必须保证一个线程对共享变量的修改能实时刷新到主存并让其他线程感知；第三是有序性，主要解决编译器和 CPU 为了性能优化而进行的指令重排序问题。

在实际开发中，我通常会根据业务场景的竞争强度和复杂度，采用不同的方案来保证安全：

首先，最常用的是互斥锁方案。我会优先考虑使用 synchronized 关键字，在 Java 6 之后它引入了偏向锁、轻量级锁等优化，性能已经非常出色。如果需要更高级的特性，比如尝试加锁（tryLock）或者公平锁需求，我会选择 ReentrantLock。锁机制最强大，能同时保证这三大要素，但它是悲观锁，在高并发竞争下会有上下文切换的开销。

其次，对于一些简单的计数器或状态更新场景，我会选择无锁化方案。比如使用 Atomic 系列原子类，利用 CAS 保证操作的原子性，配合 volatile 保证可见性。这种方式避免了线程阻塞，在低竞争或中等竞争下性能更好。

最后，我还会考虑线程隔离方案。如果一个变量不需要在线程间共享，我会使用 ThreadLocal 将其封存在线程内部，或者通过 final 关键字构建不可变对象。这种“不共享状态”的思想往往是性能最优的，因为它完全消除了竞争。

这里有一个容易被忽略的细节： 很多人认为 volatile 既然能保证可见性，就能保证线程安全。但实际上，对于类似 i++ 这种“读-改-写”的复合操作，volatile 是无法保证原子性的。这时候如果不配合 CAS 或者 synchronized，依然会发生数据覆盖的问题。所以在实践中，我通常只把 volatile 用于状态标志位的判断，或者在单例模式的 DDL（双重检查锁）中用来防止指令重排。