JVM 内存模型(JMM) 三大特性

三大特性分别是原子性 ，可见性，有序性

原子性：指一个操作是不可中断的，即使是多个线程一起执行的时候，一个操作一旦开始，就不会被其他线程干扰

  比如，对于一个静态全局变量int i，两个线程同时对它赋值，线程A 给他赋值 1，线程 B 给它赋值为 -1,。那么不管这两个线程以何种方式，何种步调工作，i的值要么是1，要么是-1，线程A和线程B之间是没有干扰的。这就是原子性的一个特点，不可被中断

可见性：指当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道这个修改。显然，对于串行程序来说，可见性问题  是不存在。因为你在任何一个操作步骤中修改某个变量，那么在后续的步骤中，读取这个变量的值，一定是修改后的新值。但是这个问题在并行程序中就不见得了。如果一个线程修改了某一个全局变量，那么其他线程未必可以马上知道这个改动。

有序性：对于一个线程的执行代码而言，我们总是习惯地认为代码的执行时从先往后，依次执行的。这样的理解也不能说完全错误，因为就一个线程而言，确实会这样。但是在并发时，程序的执行可能就会出现乱序。给人直观的感觉就是：写在前面的代码，会在后面执行。有序性问题的原因是因为程序在执行时，可能会进行指令重排，重排后的指令与原指令的顺序未必一致

 

指令重排：可以保证串行语义一致，但是没有义务保证多线程间的语义一致，对于提高CPU处理性能是十分重要的

 

哪些指令不能重排：Happen-Before 规则

- 程序顺序原则：一个线程内保证语义的串行性

- volatile规则：volatile 变量的写，先发生于读，这保证了volatile变量的可见性

- 锁规则：解锁（unlock）必然发生在随后的加锁（lock）前

- 传递性：A先于B，B先于C，那么A必然先于C

- 线程的start（）方法先于它的每一个动作

- 线程的所有操作先于线程的终结（Thread.join()）

- 线程的中断（interrupt（））先于被中断线程的代码

- 对象的构造函数执行,结束先于finalize() 方法