JMM内存模型理解

JMM（java内存模型）

JMM为JAVA内存模型(Java Memory Model)。
因为在不同的硬件厂商和不同的操作系统下，内存的访问逻辑有一定的差异，为了弥补这些差异，java构建了JMM内存模型。
JMM规定了内存主要分为主内存和工作内存两种。此处的主内存和工作内存跟JVM是不同的，如果非要对应起来，主内存对应的是Java堆中的对象实例部分，工作内存对应的是栈中的部分区域，从更底层的来说，主内存对应的是硬件的物理内存，工作内存对应的是寄存器和高速缓存。
JVM在设计时候考虑到，如果JAVA线程每次读取和写入变量都直接操作主内存，对性能影响比较大，所以每条线程拥有各自的工作内存，工作内存中的变量是主内存中的一份拷贝，线程对变量的读取和写入，直接在工作内存中操作，而不能直接去操作主内存中的变量。但是这样就会出现一个问题，当一个线程修改了自己工作内存中变量，对其他线程是不可见的，会导致线程不安全的问题。因为JMM制定了一套标准来保证开发者在编写多线程程序的时候，能够控制什么时候内存会被同步给其他线程。

整个Java内存模型实际上是围绕着三个特征建立起来的。分别是：原子性，可见性，有序性。

原子性

原子性指的是一个操作是不可分割，不可中断的，一个线程在执行时不会被其他线程干扰。

可见性

每个工作线程都有自己的工作内存，所以当某个线程修改完某个变量之后，在其他的线程中，未必能观察到该变量已经被修改。

• volatile关键字要求被修改之后的变量要求立即更新到主内存，且每次使用前从主内存处进行读取。因此volatile可以保证可见性。

• synchronized修饰的代码也可以实现可见性。其原理是
  1)获得互斥锁

  2)清空工作内存

  3)从主内存拷贝变量的最新副本到工作内存

  4)执行代码

  5)将更改后的共享变量的值刷新到主内存

  6)释放互斥锁

• final修饰的字段也可以实现可见性，因为，一旦初始化完成，如果没有对象逸出（指对象为初始化完成就可以被别的线程使用），那么对于其他线程都是可见的。

有序性

java的有序性跟线程相关。如果在线程内部观察（单线程执行顺序），会发现当前线程的一切操作都是有序的。如果在线程的外部来观察的话，会发现线程的所有操作都是无序的。
因为JMM的工作内存和主内存之间存在延迟，而且java会对一些指令进行重新排序。

指令重排：代码书写的顺序与实际执行的顺序不同，目的是编译器或处理器为了提高程序性能而做的优化。

包括三种：

1)编译器优化的重排序(编译器优化)

2)指令级并行的重排序(处理器优化)

3)内存系统的重排序(处理器优化)

volatile和synchronized可以保证程序的有序性
从上面可知，在java中，单线程都会遵循as-if-serial语义，意思就是在java单线程中，无论如何重排序，程序执行的结果都不会受到影响。所以，synchronized关键字从这方面来说其实是也保证了程序的有序性，因为他把多线程的操作变成了串行化。

而volatile 则是禁止指令重排

volatile 关键字

volatile一定能保证线程安全吗，不能。因为volatile关键字只实现了有序性和可见性，不能实现原子性。

volatile禁止指令重排序的原理是什么

首先要讲一下内存屏障，内存屏障可以分为以下几类：

• LoadLoad 屏障：对于这样的语句Load1，LoadLoad，Load2。在Load2及后续读取操作要读取的数据被访问前，保证Load1要读取的数据被读取完毕。
• StoreStore屏障：对于这样的语句Store1， StoreStore，Store2，在Store2及后续写入操作执行前，保证Store1的写入操作对其它处理器可见。
• LoadStore屏障：对于这样的语句Load1，LoadStore，Store2，在Store2及后续写入操作被刷出前，保证Load1要读取的数据被读取完毕。
• StoreLoad屏障：对于这样的语句Store1，StoreLoad，Load2，在Load2及后续所有读取操作执行前，保证Store1的写入对所有处理器可见。

在每个volatile读操作前插入LoadLoad屏障，在读操作后插入LoadStore屏障。
在每个volatile写操作的前面插入一个StoreStore屏障，后面插入一个SotreLoad屏障。