重温jvm中的happen-before

原创 2017年02月23日 23:15:48

引用请注明: 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/  

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

初步了解更新锁(U)与排它锁(X)

一直没有认真觉察UPDATE操作的锁,最近在MSDN上看到一个问题,询问堆表更新的死锁问题,问题很简单,有类似这样的表及数据:CREATE TABLE dbo.tb(     c1 int,     ...
  • zjcxc
  • zjcxc
  • 2014-05-28 17:13
  • 10177

女性技术管理者更能精准把握人际关系

李严冰 VMware中国研发中心总经理、清华大学电子工程学士、美国 普林斯顿大学电机工程博士。 VMware中国研发中心总经理李严冰 在WMware中国研发中心超过200名全职员工中,大概...

从B树、B+树、B*树谈到R 树

从B 树、B+ 树、B* 树谈到R 树 作者:July、weedge、Frankie。编程艺术室出品。说明:本文从B树开始谈起,然后论述B+树、B*树,最后谈到R 树。其中B树、B+树及B*树部分由w...

【Java并发编程】之十六:深入Java内存模型——happen-before规则及其对DCL的分析(含代码)

happen—before规则介绍     Java语言中有一个“先行发生”(happen—before)的规则,它是Java内存模型中定义的两项操作之间的偏序关系,如果操作A先行发生于操作B,...

用happen-before规则重新审视DCL

转自:http://www.iteye.com/topic/260515 编写Java多线程程序一直以来都是一件十分困难的事,多线程程序的bug很难测试,DCL(Double Check Lock)...

【Java并发编程】之十六:深入Java内存模型——happen-before规则及其对DCL的分析(含代码)

转载请注明出处:http://blog.csdn.net/ns_code/article/details/17348313 happen—before规则介绍     Java语言中有一个...

同步的本质 java内存模型 happen before order

Java内存模型和并发 1.        并发: a)        并发一定是涉及到了多个执行流 b)  &#...
  • ndcnb
  • ndcnb
  • 2014-08-23 18:35
  • 637

浅谈memory barrier和happen before

浅谈二者

不得不提的volatile及指令重排序(happen-before)

原地址:http://www.th7.cn/Program/java/201312/166504.shtml 一、不得不提的volatile volatile是个很老的关键...

【Java并发编程】:深入Java内存模型——happen-before规则及其对DCL的分析(含代码)

happen—before规则介绍 Java语言中有一个“先行发生”(happen—before)的规则,它是Java内存模型中定义的两项操作之间的偏序关系,如果操作A先行发生于操作B,其意...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)