JMM Volatile 缓存一致性协议

在 Java 中，JMM（Java Memory Model）是一种规范，用于定义多线程程序中共享变量的可见性和顺序性。其中，volatile 是 JMM 提供的关键字之一，用于确保线程之间的可见性和禁止指令重排序，以实现缓存一致性协议。

缓存一致性是指多核处理器中，每个核心都有自己的缓存，并且当多个核心访问相同的共享变量时，保证这些缓存中的变量值保持一致。

当一个变量被声明为 volatile 时，Java 内存模型会保证：

1. 当一个线程写入 volatile 变量时，该写入操作会立即刷新到主内存中，保证了可见性，其他线程能够立即看到最新的值。
2. 当一个线程读取 volatile 变量时，它会从主内存中读取最新的值，而不是使用本地缓存的值，从而保证了可见性。

此外，volatile 还能防止指令重排序，确保写入操作按照预期顺序执行。

下面是一个示例代码，展示了 volatile 关键字的使用：

public class VolatileExample {
    private volatile int sharedVariable = 0;

    public void writeVariable() {
        // 对 sharedVariable 的写入操作
        sharedVariable = 42;
    }

    public int readVariable() {
        // 对 sharedVariable 的读取操作
        return sharedVariable;
    }
}

在这个示例中，sharedVariable 被声明为 volatile，这样在多线程环境下，调用 writeVariable() 方法对 sharedVariable 的写入操作将会立即刷新到主内存，并且调用 readVariable() 方法读取 sharedVariable 的值时，会从主内存中读取最新的值。

值得注意的是，虽然 volatile 提供了一定的线程安全保证，但并不适用于所有的多线程场景。对于复合操作（例如 i++ 这种读-改-写操作），volatile 无法保证原子性，仍然需要额外的同步措施（例如使用锁或原子类）。对于更复杂的多线程应用程序，通常需要使用更高级的同步机制，如锁和条件变量，以保证线程安全和正确性。