JMM篇之木秀于林

JMM

1.什么是JMM？
JMM：java内存模型（Java Memory model）
2.它的作用？
（1）缓存一致性协议，用于数据读写的规则。
（2）解决共享对象可见性：volilate(保持对象一致性)
（3）JMM定义了线程工作内存和主存之间的抽象关系。
线程之间的共享变量存储主内存（Main Memory）中,每个线程都有一个私有的本地内存（Local Memory），本地内存中存储了该线程以读/写共享变量的副本（拷贝过来的）。
3.JMM的八种指令
read（读取）：把一个变量的值从主内存传输到工作内存中。
load（载入）：在read执行之后，把read的值放入工作内存的变量副本中。
use（使用）：把工作内存中一个变量的值传递给执行引擎。
assign（赋值）：把一个从执行引擎接受到的值赋值给工作内存中的变量。
store（存储）：把工作内存的一个变量值传递到主内存中。
write（写入）：在store执行之后，把store得到的值放入主内存的变量中。
lock（锁定）：作用于主内存变量。
unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
4.JMM八种指令的使用规则
（1）不允许read和load、store和write操作之一单独出现。即使用了read必须load，使用了store必须write。
（2）不允许线程丢弃他最近的assign操作，即工作变量的数据改变了之后，必须告知主存。
（3）不允许一个线程将没有assign的数据从工作内存同步回主内存。
（4）一个新的变量必须在主内存中诞生，不允许工作内存直接使用一个未被初始化的变量。就是怼变量实施use、store操作之前，必须经过assign和load操作。
（5）一个变量同一时间只有一个线程能对其进行lock。多次lock后，必须执行相同次数的unlock才能解锁。
（6）如果对一个变量进行lock操作，会清空所有工作内存中此变量的值，在执行引擎使用这个变量前，必须重新load或assign操作初始化变量的值。
（7）如果一个变量没有被lock，就不能对其进行unlock操作。也不能unlock一个被其他线程锁住的变量。
（8）对一个变量进行unlock操作之前，必须把此变量同步回主内存。
5.JMM的三大特性
（1）原子性
指在一个操作中就是cpu不可以在中途暂停然后再调度，既不被中断操作，要不执行完成，要不就不执行。
JMM保证了read、load、use、assign、store、write、lock、unlock操作具有原子性。
（2）可见性
指当一个线程修改了共享变量的值，其他线程能够立即得知这个修改。
JMM是通过在变量修改后将新值同步回主内存，在变量读取前从主内存刷新变量值来实现可见性的。
（3）有序性
即程序执行的顺序按照代码的先后顺序执行。
在本线程内观察，所有操作都是有序的。在一个线程观察另一个线程，所有操作都是无序的（原因：发生了指令重排序）在 Java 内存模型中，允许编译器和处理器对指令进行重排序，重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。
6.实现可见性的方式
（1）volatile，会 强制 将该变量自己和当时其他变量的状态都 刷出缓存 。
（2）synchronized，对一个变量执行 unlock 操作之前，必须把变量值同步回主内存。
（3）final，被 final 关键字修饰的字段在构造器中一旦初始化完成，并且没有发生 this 逃逸（其它线程通过 this 引用访问到初始化了一半的对象），那么其它线程就能看见 final 字段的值。
7.保证有序性的方式
（1）volatile 关键字通过添加内存屏障的方式来禁止指令重排，即重排序时不能把后面的指令放到内存屏障之前。
（2） synchronized 来保证有序性，它保证每个时刻只有一个线程执行同步代码，相当于是让线程顺序执行同步代码。