Java内存模型与volatile关键字

Java内存模型（Java Memory Model，简称JMM）是Java程序中多线程并发访问共享内存的规范。它定义了线程如何与内存交互以及线程之间如何通过内存进行通信。其中，volatile关键字是JMM提供的一种同步机制，用于确保多线程环境下共享变量的可见性和禁止重排序。

Java内存模型的目标是保证程序在各种平台上的一致性，因此它定义了一组规则，以确保在多线程环境下程序的正确性。其中最重要的概念是主内存（Main Memory）和工作内存（Working Memory）。

主内存是所有线程共享的内存区域，包含所有的共享变量。而每个线程都有自己的工作内存，工作内存是线程独立的内存区域，存储了主内存中的部分变量副本。线程对共享变量的操作都是在工作内存中进行的，然后通过主内存进行通信。

在多线程环境下，为了确保线程之间对共享变量的操作是可见的，需要使用volatile关键字。volatile关键字具有以下两个作用：

1. 可见性（Visibility）：当一个变量被volatile修饰时，线程在修改该变量的值后会立即将新值刷新回主内存，并且其他线程在读取该变量时会从主内存中重新加载最新的值。这样可以保证线程之间对共享变量的修改是可见的。

2. 禁止重排序（Ordering）：volatile关键字禁止编译器