记录 volatlie的两个实现可见性的机制-CSDN博客

本文链接：https://blog.csdn.net/zqx_7/article/details/142453174

问：Java 中的 volatile 关键字是如何实现可见性的？

一、内存屏障机制

当一个变量被声明为volatile时，Java 内存模型会在对该变量的写操作后插入一个写屏障（Store Barrier），在读操作前插入一个读屏障（Load Barrier）。
写屏障会确保在该变量的写操作完成后，将其值立即刷新到主内存中，使得其他线程能够看到最新的值。
读屏障会确保在读取该变量时，先从主内存中获取最新的值，而不是从线程自己的缓存中读取旧值。

二、禁止指令重排序

volatile关键字还可以防止编译器和处理器对与该变量相关的指令进行重排序。
在多线程环境下，指令重排序可能会导致一个线程看到的变量的操作顺序与实际的执行顺序不一致，从而产生不可预期的结果。
通过禁止指令重排序，volatile确保了对volatile变量的读写操作按照程序的顺序执行，进一步增强了可见性和线程安全性。

public class VolatileExample {
    private volatile boolean flag = false;

    public void startThread() {
        new Thread(() -> {
            while (!flag) {
                // 不断循环等待 flag 变为 true
            }
            System.out.println("Flag is true. Thread stopped.");
        }).start();
    }

    public void setFlag() {
        flag = true;
        System.out.println("Flag is set to true.");
    }
}

总之，volatile关键字通过内存屏障和禁止指令重排序来实现变量的可见性，确保在多线程环境下对volatile变量的读写操作能够被其他线程正确地观察到。但需要注意的是，volatile只能保证可见性和禁止指令重排序，不能保证原子性，对于需要原子性操作的场景，还需要使用锁或原子类等机制。

问：在多线程环境下，使用 volatile 关键字需要注意什么？

在多线程环境下，使用volatile关键字需要注意以下几点：

一、不能保证原子性

volatile关键字只能保证变量的可见性和禁止指令重排序，但不能保证对变量的操作是原子性的。
- 例如，对一个volatile整数变量进行自增操作（i++）并不是原子性的，可能会被多个线程同时执行，导致结果不正确。
- 如果需要原子性操作，应该使用原子类如AtomicInteger等。

二、不适合复杂的同步场景