volatile是如何保证线程的可见性和有序性

星光不问赶路人-2024-01-24 13:00

volatile 是 Java 中的关键字，用于修饰变量。使用 volatile 可以保证变量在多线程环境下的可见性和有序性。下面解释一下 volatile 是如何实现这两个特性的：

可见性：
- 当一个变量被声明为 volatile 时，如果一个线程修改了这个变量的值，那么其他线程能够立即看到这个变量的最新值。
- 这是因为 volatile 会告诉编译器和运行时系统不要对这个变量进行优化，而是直接从主存中读取或写入变量的值。
有序性：
- 在Java内存模型中，volatile 关键字保证了被修饰变量的写操作先行发生于后面的读操作，即保证了有序性。
- 具体而言，对一个 volatile 变量的写操作会在写操作之前的任何读、写操作完成后发生，而对一个 volatile 变量的读操作会在读操作之前的任何读、写操作完成后发生。

使用 volatile 保证可见性和有序性的场景通常包括：

状态标志： 当一个线程修改了某个标志位的值，其他线程能够立即看到最新的状态，从而实现线程间的通信。

java 复制代码

public class SharedResource {
    private volatile boolean flag = false;

    public void setFlagTrue() {
        flag = true;
    }

    public boolean isFlag() {
        return flag;
    }
}

双重检查锁定： 在一些特殊情况下，volatile 也可以用于实现一种简单的线程安全的双重检查锁定。

java 复制代码

public class Singleton {
    private static volatile Singleton instance;

    private Singleton() {}

    public static Singleton getInstance() {
        if (instance == null) {
            synchronized (Singleton.class) {
                if (instance == null) {
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

需要注意的是，虽然 volatile 可以保证可见性和有序性，但并不能保证原子性。如果一个变量的操作是非原子的，即涉及多步操作，考虑使用 synchronized 或者 java.util.concurrent 包提供的原子类来保证原子性。