volatile 关键字是否能保证原子性操作？为什么？请给出理由或反例。

参考回答

volatile 关键字不能保证操作的原子性，它仅能保证 变量的可见性 和 禁止指令重排序。

• 原因：
  • volatile 的作用是确保一个线程对变量的修改能被其他线程立即可见，但它不对操作进行同步，也不能防止多个线程同时修改变量时发生竞态条件（Race Condition）。
  • 原子性要求一个操作是不可分割的，而 volatile 无法满足这一点。
• 反例： 对一个 volatile 修饰的变量进行自增（如 i++）并不是原子操作，因为自增包含三个步骤：读取变量值、计算新值、写回变量值。在多线程环境中，这些步骤可能被打断。

详细讲解与拓展

1. volatile 的作用

1. 保证可见性：

• 一个线程对 volatile 变量的修改能立即被其他线程看到。

• 示例：

  “`java
  public class VolatileExample {
  private static volatile boolean running = true;

  <pre><code> public static void main(String[] args) {
  Thread thread = new Thread(() -> {
  while (running) {
  // Busy waiting
  }
  System.out.println("Thread stopped.");
  });
  thread.start();

  try {
  Thread.sleep(1000);
  } catch (InterruptedException e) {
  e.printStackTrace();
  }
  running = false; // 主线程修改 running，子线程立即可见
  }
  </code></pre>

  }

  “`

2. 禁止指令重排序：

• volatile 会在读写操作前后插入内存屏障，确保指令执行顺序符合程序的逻辑顺序。

• 示例（避免双重检查锁失效）：

  “`java
  public class Singleton {
  private static volatile Singleton instance;

  <pre><code> public static Singleton getInstance() {
  if (instance == null) {
  synchronized (Singleton.class) {
  if (instance == null) {
  instance = new Singleton(); // 禁止指令重排序
  }
  }
  }
  return instance;
  }
  </code></pre>

  }

  “`

2. 为什么 volatile 不能保证原子性

对变量的自增操作（如 i++）并不是原子操作，它由以下三个步骤组成：

1. 读取变量的值。
2. 执行加法运算。
3. 将新值写回变量。

在多线程环境中，这些步骤可能被其他线程打断，从而导致竞态条件。

示例：volatile 不能保证原子性

public class VolatileAtomicityExample {
    private static volatile int counter = 0;

    public static void main(String[] args) throws InterruptedException {
        Runnable task = () -> {
            for (int i = 0; i < 1000; i++) {
                counter++; // 非原子操作
            }
        };

        Thread thread1 = new Thread(task);
        Thread thread2 = new Thread(task);

        thread1.start();
        thread2.start();

        thread1.join();
        thread2.join();

        System.out.println("Final Counter: " + counter);
    }
}

可能的输出：

• 理想情况下，counter 应该是 2000。
• 但实际输出可能小于 2000，因为多个线程在执行 counter++ 时会相互覆盖结果。

3. 如何保证原子性

1. 使用同步机制（synchronized）：

• 将 counter++ 操作放在同步代码块中。

  private static int counter = 0;
  
  public synchronized static void increment() {
     counter++;
  }
  

2. 使用显式锁（ReentrantLock）：

   private static int counter = 0;
   private static final ReentrantLock lock = new ReentrantLock();
   
   public static void increment() {
      lock.lock();
      try {
          counter++;
      } finally {
          lock.unlock();
      }
   }
   

3. 使用原子类（AtomicInteger）：

• AtomicInteger 提供原子操作，避免使用锁。

  private static AtomicInteger counter = new AtomicInteger(0);
  
  public static void main(String[] args) throws InterruptedException {
     Runnable task = () -> {
         for (int i = 0; i < 1000; i++) {
             counter.incrementAndGet(); // 原子操作
         }
     };
  
     Thread thread1 = new Thread(task);
     Thread thread2 = new Thread(task);
  
     thread1.start();
     thread2.start();
  
     thread1.join();
     thread2.join();
  
     System.out.println("Final Counter: " + counter.get());
  }
  

4. 总结：volatile 的特性与局限

解决原子性问题的方法：

1. 使用同步（synchronized）。
2. 使用显式锁（ReentrantLock）。
3. 使用 Atomic 系列类（如 AtomicInteger）。

补充：为什么 AtomicInteger 能保证原子性？

AtomicInteger 使用底层的 CAS（Compare-And-Swap）操作 来保证原子性：

1. CAS 操作比较内存中的值和预期值，如果相等，则将其更新为新值。
2. CAS 是硬件层面的原子操作，因此能有效避免竞态条件。

示例：

public class AtomicExample {
    private static AtomicInteger counter = new AtomicInteger(0);

    public static void main(String[] args) {
        Runnable task = () -> {
            for (int i = 0; i < 1000; i++) {
                counter.incrementAndGet(); // 原子操作
            }
        };

        Thread thread1 = new Thread(task);
        Thread thread2 = new Thread(task);

        thread1.start();
        thread2.start();

        try {
            thread1.join();
            thread2.join();
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        System.out.println("Final Counter: " + counter.get()); // 保证结果正确
    }
}

总结：

• volatile 保证可见性，但不保证原子性。
• 要解决原子性问题，推荐使用 Atomic 类或同步机制。

帅地永久会员

打赏 收藏 海报挣佣金 推广链接