重温jvm中的happen-before

标签: jvm
513人阅读 评论(0) 收藏 举报
分类:

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

查看评论

jvm的happens-before原则

提到并发,通常首先想到是锁,其实对共享资源的互斥操作是一方面,在java中还有一方面是内存的可见性和顺序化,了解JMM的同学可能会更清楚些,内存可见性和顺序性同样非常重要,在这里简单提一下JMM模型,...
  • tangyongzhe
  • tangyongzhe
  • 2015-01-02 18:32:27
  • 953

java-多线程深入(三)happens-before介绍

多线程操作中,需注意互斥性和可见性,重点了解下可见性。 (一)可见性问题来源 1.cpu和内存速度相差过高,引入缓存(cache、寄存器等);一个线程由线程id、指令计数器PC、寄存器集合和堆栈构成,...
  • wangpeifeng669
  • wangpeifeng669
  • 2015-01-27 11:18:37
  • 1084

《重温最美古诗词》

不经意间,我拿起了实验室W君书架上的一本书,书名是《重温最美古诗词》....然后我就喜欢上了...      W君可是我们寝室里的一个才子,四大名著中的《三国演义》,还记得那是一个晴朗的下午,他与我们...
  • gogoky
  • gogoky
  • 2016-05-21 11:35:39
  • 1242

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

Java语言中有一个“先行发生”(happen—before)的规则,它是Java内存模型中定义的两项操作之间的偏序关系,如果操作A先行发生于操作B,其意思就是说,在发生操作B之前,操作A产生的影响都...
  • mmc_maodun
  • mmc_maodun
  • 2013-12-16 20:07:15
  • 23954

重温微积分(扫描 清晰版)

  • 2010年01月10日 13:12
  • 14.55MB
  • 下载

happen-before 原则

内存屏障:使内存数据对CPU核可见的技术被称为内存屏障或内存栅栏。 happen-before 原则:两个操作之间具有happens-before 关系,就必须要求前一个操作的结果对后一个操作可见...
  • q646406929
  • q646406929
  • 2014-12-05 15:16:25
  • 2631

什么是Java中的happen-before关系

“Let A and B represent operations performed by a multithreaded process. If A happens-before B, the...
  • lantianjialiang
  • lantianjialiang
  • 2014-02-08 17:14:09
  • 1409

重温微积分 一点摘抄

  简单地说,他认为线段是由点组成的,正如链子是由珠子穿成的一样;面是由线组成的,正如布是由纱织成的一样;立体是由平面组成的,正如书是一页一页的纸叠起来的一样.点、线、面就是相应的不可分量,它们在一个...
  • wangqinghua1
  • wangqinghua1
  • 2007-05-11 13:16:00
  • 517

重温微积分 齐民友 2003.pdf

  • 2010年03月26日 12:16
  • 14.73MB
  • 下载

Java重排序和happens-before原则

重排序重排序是编译器和处理器为了优化性能而对指令执行的顺序进行重排序。大多数现代处理器都会采用将指令乱序执行的方法,在条件允许的情况下,直接运行当前有能力立即执行的后续指令,避开获取下一条指令所需数据...
  • wsm0712syb
  • wsm0712syb
  • 2017-03-11 10:12:35
  • 359
    个人资料
    专栏达人 持之以恒
    等级:
    访问量: 20万+
    积分: 4199
    排名: 9075
    博客专栏