多线程环境下布尔值交换方法及AtomicBoolean原子性疑问

Hey there! Let's tackle your questions about thread-safe boolean swapping step by step.

问题1：如何在多线程环境下交换布尔值？ #

直接操作普通的boolean变量来做交换（比如flag = !flag）在多线程环境里是绝对不安全的——这个操作拆开来是读取当前值→取反→写回新值三个步骤，不是原子性的，很容易出现多个线程同时操作导致的竞态条件，最后得到错误的结果。

这里有两种靠谱的实现方式：

• 方式一：用synchronized同步机制
  利用Java的内置锁保证交换操作的原子性和可见性，同一时间只有一个线程能执行交换逻辑：

  private boolean flag = false;
  
  // 锁整个方法
  public synchronized void swapFlag() {
      flag = !flag;
  }
  

  如果你不想锁整个方法，也可以用一个专用的锁对象来缩小锁范围：

  private boolean flag = false;
  private final Object lock = new Object();
  
  public void swapFlag() {
      synchronized(lock) {
          flag = !flag;
      }
  }
  

• 方式二：使用AtomicBoolean原子类
  Java的java.util.concurrent.atomic包专门为多线程原子操作设计，AtomicBoolean的方法都是硬件级别的原子操作，能完美解决这个问题：

  private final AtomicBoolean atomicFlag = new AtomicBoolean(false);
  
  public void swapFlag() {
      // getAndSet 原子性地读取当前值并设置新值，返回旧值
      atomicFlag.getAndSet(!atomicFlag.get());
      
      // 或者用 compareAndSet 循环（更严谨，虽然布尔值场景下ABA问题几乎可以忽略）
      /*
      boolean oldValue;
      do {
          oldValue = atomicFlag.get();
      } while (!atomicFlag.compareAndSet(oldValue, !oldValue));
      */
  }
  

问题2：多线程下交换布尔值并确保可见性，两种实现是否存在读写插入问题？AtomicBoolean能否保证.get()与.set()调用之间无其他操作插入？ #

Let's break this down into parts:

关于两种实现的读写插入问题 #

咱们上面说的两种正确实现方式，是不会出现读写操作被其他线程插入的问题的：

• 对于synchronized方式：同步块不仅保证了原子性，还自带可见性保证——进入同步块的线程会看到之前所有线程在同一个锁保护下的修改，而且同步块内的操作是一个不可分割的整体，其他线程的读写操作根本插不进来。
• 对于AtomicBoolean的复合原子操作（比如getAndSet或者compareAndSet循环）：这些方法本身就是原子的"读取-修改-写入"操作，是硬件层面保证的原子性，完全不会被其他线程的操作打断。

但要注意：如果是错误地拆分操作（比如用普通boolean不加锁，或者用AtomicBoolean分开调用get()和set()），那肯定会出现插入问题！

AtomicBoolean能保证.get()与.set()之间无其他操作插入吗？ #

答案是不能。get()和set()各自是原子操作，但这两个方法的调用是独立的。举个例子：

// 危险！这个交换逻辑不是原子的
public void badSwap() {
    boolean old = atomicFlag.get();
    // 这里完全可能被其他线程插入操作，修改了atomicFlag的值
    atomicFlag.set(!old);
}

在get()和set()之间，其他线程完全可以修改AtomicBoolean的值，导致最终的交换结果不符合预期。只有使用AtomicBoolean提供的复合原子方法（比如getAndSet、compareAndSet），才能保证整个读取-修改-写入的流程是原子的，不会被其他线程插入操作。

内容的提问来源于stack exchange，提问作者Tirafesi