多线程－JMM从底层解决线程安全

一：什么是JMM

  从字面上理解JMM(Java Memory model)就是java定义了一个底层内存操作的一个抽象。

  当多线程同时对共享变量进行操作时，会存在原子性，可见性，有序性问题。JMM抽象定义了每个线程有自己的本地内存，共享变量存在主内存中，JMM通过控制主内存与线程的本地内存的交互来保证线程之间的可见性。

  通过抽象JMM可以让程序员使用JMM定义的规则合理的按需禁用缓存、编译器优化，从源头上解决可见性、重排序问题。

 

二：如何理解JMM

  JMM可以从源头上解决可见性、重排序问题，而它的核心部分就是happens-before与as-if-serial规则，只要充分理解happens-before，程序员就能理解透并发编程中的可见性问题，只要充分理解as-if-serial，程序员就能理解透并发编程中的重排序问题。

 

2.1:happens-before吃透可见性问题

 happens-before规则是用来描述操作之间的内存可见性问题，在JMM里，如果一个操作对另外一个操作可见，两个操作之间就必须要保证happens-before关系，这里提到的两个操作可以是在一个线程内，也可