JVM内存模型

java内存模型的主要目的就是定义各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量的底层细节。这里的变量指的是实例对象，静态变量和构成数组对象的元素，不包括局部变量和方法参数，也就是堆内存中的变量。

java内存模型规定了所有的变量都存储在主内存中，每条线程都有自己的工作内存，工作内存中保存了线程使用到的变量从主内存拷贝过来的副本，线程对变量的所有操作都是在工作内存中的，而不能直接读写主内存。不同线程之间也不能互相访问对方的变量。

 对于volatile型变量的特殊规则

volatile关键字是java虚拟机最轻量级的同步机制，当一个变量被volatile修饰后，它具备两种特性

1. 保证变量对所有线程的可见性，可见性指的就是，当一个线程修改了变量的值，其他线程可以立即得知新值。当然了，可见性并不能保证，基于volatile变量的运算在并发条件下是线程安全的。因为，volatile只保证了变量的可见性，并不能保证运算的原子性，所以在并发场景下还是需要通过加锁来做到线程安全

2. 禁止指令重排序，普通变量仅仅会保证在方法执行的过程中，所有依赖赋值结果的地方都可以获取到正确的结果，而不能保证变量赋值操作的顺序和代码执行的顺序一致，被volatile修饰的变量就可以禁止这种乱序。

线程在读取被volatile修饰的变量的值时，每次都要从主内存刷新该变量最新的值，同样，在写数据的时候，也是必须在修改工作内存的值之后立即写回主内存。