重温jvm中的happen-before

引用请注明： http://blog.csdn.net/everlasting_188/article/details/56687728

happen-before定义了jvm实现中必须遵守的规范，主要有八条原则：

 

八条原则：

1、程序次序规则：在一个单独的线程中，按照程序代码的执行流顺序，（时间上）先执行的操作happen—before（时间上）后执行的操作。
解释：

A：同一个线程

B：时间上的顺序满足happen-before，不是程序上的满足，程序上的经过编译器优化会顺序不同

2、管理锁定规则：一个unlock操作happen—before后面（时间上的先后顺序，下同）对同一个锁的lock操作。

解释：

A：无同一个线程要求

B:  jvm的同步原语通过monitor进入和退出实现，并发包有ReentrantLock来实现

3、volatile变量规则：对一个volatile变量的写操作happen—before后面对该变量的读操作。

解释：

A：无单个线程要求

B：从工作内存到主内存屏障实现

C：对volatile变量的误区在于，volatile变量的++操作是非原子的，需要使用规则2来进行同步

4、线程启动规则：Thread对象的start（）方法happen—before此线程的每一个动作。

5、线程终止规则：线程的所有操作都happen—before对此线程的终止检测，可以通过Thread.join（）方法结束、Thread.isAlive（）的返回值等手段检测到线程已经终止执行。

6、线程中断规则：对线程interrupt（）方法的调用happen—before发生于被中断线程的代码检测到中断时事件的发生。

7、对象终结规则：一个对象的初始化完成（构造函数执行结束）happen—before它的finalize（）方法的开始。

解释：对象初始化和finalize有定义的happen-befor关系

8、传递性：如果操作A happen—before操作B，操作B happen—before操作C，那么可以得出A happen—before操作C。

解释：

A：无单个线程要求

B：传递形成偏序关系

 

一个重要的说明：

各位看到这里就会发现，针对一个对象的构造方法和其他方法（除finalize（）方法）没有任何happen-before的定义，那么就会出现DCL 的问题，疑问这在没有初始化完成之前，可以拿到垃圾数据。解决方法和详细问题可以参考http://blog.csdn.net/ns_code/article/details/17359719

 

idea查看文件字节码配置

command+ 打开偏好设置 Tools->External Tools 点击加号添加，随便写 Name 和 Description内容 
在Tools settings中填写如下内容：

program：/Library/Java/JavaVirtualMachines/jdk1.8.0_73.jdk/Contents/Home/bin/javap
Parameters：-c $FileClass$
Working directory： $OutputPath$
 
 
1
2
3

然后再右击java文件时，选择External Tools 中的显示字节码选项，就会将字节码显示到控制台上 
参考：Intellij idea快速查看Java类字节码 - AClewis：http://www.itdadao.com/articles/c15a1016491p0.html

java的class文件本身不是特别复杂，可以参考如下讲解

学会阅读Java字节码

http://blog.csdn.net/dc_726/article/details/7944154/