java JMM

1、在计算机中，软件技术和硬件技术有一个共同的目标：在不改变程序执行结果的前提下，尽可能的开发并行度。编译器和处理器遵从这一目标，从happens- before的定义我们可以看出，JMM同样遵从这一目标。 

2、当一个变量被多个线程读取，且至少被一个线程写入时，如果读写操作并未依照happens-before排序，就会产生数据竞争。

happens-before的法则包括：

程序次序法则：线程中的每个动作A都happens-before于该线程中的每一个动作B，其中，在程序中，所有的动作B都出现在动作A之后。（一个线程内先执行的代码对后面的代码可见）

监视器法则：对一个监视器锁的解锁happens-before于每一个后续对同一监视器锁的加锁。（解锁程序内的代码对后面加锁的程序代码可见）

volatile变量法则：对volatile域的写入操作happens-before于每一个后续对同一域的读操作。（前对后可见）

线程启动法则：在一个线程里，对Thread.start的调用会happens-before于每一个启动线程中的动作。（前对后可见）

线程终结法则：线程中的任何动作都happens-before于其他线程检测到这个线程已经终结，或者从Thread.join调用中成功返回，或者Thread.isAlive返回false。（前对后可见）

中断法则：一个线程调用另一个线程的interrupt happens-before于被中断的线程发现中断。（前对后可见）

终结法则：一个对象的构造函数的结束happens-before于这个对象的finalizer的开始。（前对后可见）

传递性：如果A happens-befoe 于B ,且 B happens-before于C则A happens-before于C.