通过实例解析JMM和Volatile底层原理

JMM的概念和作用

Java内存模型（JMM）是Java运行时的一部分，它定义了Java程序在多线程环境下内存的访问方式。JMM的主要目的是确保在多线程环境下，不同线程之间对共享数据的操作是有序、可见、原子的。

JMM通过以下方式实现这些目标：

确保线程之间的可见性：JMM保证一个线程对共享变量的修改，对后续对该变量的读取是可见的。
确保操作的原子性：JMM保证每次读写操作都是原子的，即不会被线程中断。
确保操作的有序性：JMM保证程序执行时，不会出现指令重排序的情况，以保证操作的有序性。

Volatile关键字的使用

在多线程编程中，Volatile是一个非常重要的关键字。它可以保证变量在多个线程之间的可见性，同时也可以防止指令重排序，从而保证操作的有序性。

当一个变量被声明为Volatile，它会被存储到主内存中，并且每个线程都会从主内存中获取最新的值。这样，在一个线程修改变量值后，其他线程会立即看到最新值。

以下是一个示例，展示了Volatile关键字的使用：

public class VolatileTest {
    private volatile boolean flag = false;

    public static void main(String[] args) {
        VolatileTest test = new VolatileTest();
        new Thread(() -> {
            int i = 0;
            while (!test.flag) {
                i++;
            }
            System.out.println("Thread1 finished. i = " + i);
        }).start();

        new Thread(() -> {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            test.flag = true;
            System.out.println("Thread2 finished.");
        }).start();
    }
}

在上面的示例中，我们创建了一个Volatile关键字修饰的变量flag，并在两个线程中使用这个变量。其中，线程1会一直循环，直到变量flag被修改为true。而线程2会在一秒钟后，将变量flag修改为true。由于flag是Volatile类型的变量，线程1能够立即看到这个变量的最新值，从而结束循环并输出结果。

JMM底层原理示例

在JVM中，代码执行是由一个线程池来管理的。每个线程都会被分配一个本地线程栈，用来保存线程执行的方法和局部变量等信息。

在多线程环境下，每个线程都有自己的本地线程栈和程序计数器。这就意味着，每个线程都有自己的一套执行状态，包括执行顺序、程序计数器、寄存器等等。

为了保证多线程之间的可见性，多个线程需要使用共享内存进行通信。共享内存区域被称为主内存，在JMM中，主内存是所有线程共享的内存。

每个线程还有自己的工作内存，工作内存中保存了对共享变量的副本。线程对共享变量的操作都是在工作内存中完成的，而不是直接在主内存中操作。当线程需要对共享变量进行操作时，它会先将变量从主内存中复制到工作内存中，然后进行操作。操作完成后，线程再将结果刷新到主内存中，使其对其他线程可见。

以下是一个双重检查锁定的示例，展示了JMM的底层原理：

public class Singleton {
    private volatile static Singleton instance;

    private Singleton() {
    }

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

在上面的示例中，我们创建了一个单例类Singleton，在getInstance方法中，我们使用了双重检查锁定的方式来保证类的唯一实例。其中，关键字Volatile被用来保证线程能够立即看到instance变量的最新值，确保多线程下正常工作。同时，在双重检查锁定的代码块中，我们使用了synchronized关键字来确保代码块同时只能被一个线程执行，从而保证线程安全。