JMM的happens-before法则

java内存模型下一些“自然”的先行发生关系，这些先行发生关系无须任何同步器协助就已经存在，能够在编码中直接使用。若是两个操做之间的关系再也不此列，而且没法从下面规则中推导出来，则它们就没有顺序性保障，虚拟机能够对它们进行任意地重排序。

happen-before原则是什么？
happens-before 口诀:若是两个操做之间具备happens-before 关系，那么前一个操做的结果就会对后面一个操做可见。

常见的happens-before规则：

1. 程序顺序规则：一个线程中的每一个操做，happens- before 于该线程中的任意后续操做。

（注解：若是只有一个线程的操做，那么前一个操做的结果确定会对后续的操做可见。)

监视器锁规则：对一个监视器锁的解锁，happens- before 于随后对这个监视器锁的加锁。

(注解：这个最多见的就是syncronized 方法 和 syncronized块)

3.volatile变量规则：对一个volatile域的写，happens- before 于任意后续对这个volatile域的读。

int a =0;
 volatile int b = 0;
线程1{
 操做1：a = 1;
//插入一个StoreStore屏障 禁止上面的普通写与下面的volatile 写重排序
 操做2：b =2;
}
线程2{
 if (b==2)
//LoadLoad屏障。 禁止上面的volatile 与下面的普通读重排序
  System.out.println(a);//a的值为多少呢？
}

由于存在屏障，JVM就不会重排序上述代码。

4.传递性：若是A happens- before B，且B happens- before C，那么A happens- before C。

（注解:这个看起来就像单线程顺序执行。。。）

扩展JVM内存屏障插入策略：
在每一个volatile写操做的前面插入一个StoreStore屏障。

在每一个volatile写操做的后面插入一个StoreLoad屏障。

在每一个volatile读操做的后面插入一个LoadLoad屏障。

在每一个volatile读操做的后面插入一个LoadStore屏障。

上述内存屏障插入策略很是保守，但它能够保证在任意处理器平台，任意的程序中都能获得正确的volatile内存语义。

相信有了这些规则，只有理解他们，咱们就能开发出更好的并发程序。