volatile 可见性

volatile 关键字可以用来修饰变量，表示该变量可能会被多个线程同时访问，因此编译器不应该对该变量进行优化，以确保多线程环境下的可见性和有序性。

具体来说，当一个变量被声明为 volatile 后，每次访问该变量时都会从内存中读取最新的值，而不是使用寄存器中的缓存值。同时，编译器也不会对该变量的读写进行重排序，以保证多线程环境下的有序性。

需要注意的是，volatile 关键字只能保证单个 volatile 变量的可见性和有序性，不能保证多个 volatile 变量之间的顺序关系。

相关问题

volatile可见性

### Java 中 `volatile` 关键字的可见性特性

在多线程环境中，当一个线程修改了一个共享变量的值时，其他线程可能无法立即看到这个变化。这是因为每个线程都有自己的工作内存，而这些工作内存在某些情况下并不会及时更新主内存中的数据。

对于普通的非 `volatile` 变量，在一次写操作之后，该值可能会缓存在线程的工作内存中，并且不会立刻刷新到主内存；同样地，读取操作也可能从本地缓存而不是最新的主内存获取数据。这就会导致不同步的问题——即所谓的“脏读”。

然而，通过使用 `volatile` 关键字来声明变量，则可以确保对该变量的所有访问都是直接发生在主内存上的。这意味着一旦某个线程对 `volatile` 变量进行了写入操作，那么任何后续尝试读取此变量的操作都将获得最新版本的数据[^1]。

具体来说：

- 当一个线程对 `volatile` 字段执行写操作时，JMM（Java Memory Model）会强制将本线程本地内存中的共享变量刷新回主内存；
- 同样地，当另一个线程要读取同一个 `volatile` 字段之前，也会先清空自己工作内存中对应的副本并重新加载自于主内存的新鲜值[^2]。

因此，`volatile` 提供了一种较弱形式但足够有效的同步手段用于保证特定条件下跨多个线程间的状态一致性问题解决方式之一[^3]。

public class VolatileExample {
    private volatile boolean isShutdown = false;

    public void shutdown() {
        this.isShutdown = true;
    }

    public void doWork() {
        while (!this.isShutdown) { // 这里能够即时感知到isShutdown的变化
            // 执行一些任务...
        }
    }
}

volatile保证可见性

在多线程编程中，为了保证线程之间的数据同步，我们需要使用volatile关键字来实现变量的可见性。当一个变量被声明为volatile时，它的值在多线程之间是可见的，即当一个线程修改了该变量的值，其他线程能够立即看到这个变化。

使用volatile关键字可以避免多线程之间的数据竞争和不一致性，从而保证程序的正确性和稳定性。但是需要注意的是，volatile只能保证可见性，不能保证原子性，如果需要保证原子性，需要使用synchronized关键字或者使用原子类。