专栏首页个人分享JVM 类型的生命周期学习

JVM 类型的生命周期学习

Java虚拟机通过装载、连接和初始化一个JAVA类型,使该类型可以被正在运行的JAVA程序所使用,其中,装载就是把二进制形式的JAVA类型读入JAVA虚拟机中;而连接就是把这种读入虚拟机的二进制形式的类型数据合并到虚拟机的运行时状态中去。

连接阶段分为三个子步骤----验证、准备和解析

"验证"步骤确保了JAVA类型数据格式正确并且适用于JAVA虚拟机使用。

"准备"步骤负责为该类型分配它所需的内存,比如为它的类变量分配内存。

"解析"步骤则负责把常量池中的符号引用转换为直接引用。

虚拟机的实现可以推迟解析这一步,它可以在当运行中的程序真正使用某个符号引用时再去解析它(把该符号引用转换为直接引用)。当验证、准备和(可选的)解析步骤都完成了时,该类型就已经为初始化做好了准备。在初始化期间都将给变量赋以适当的初始值。

所有的JAVA虚拟机实现必须在每个类或接口首次主动使用时初始化。下面这六种情况符合主动使用的要求。

(1)当创建某个类的新实例时(或通过在字节码中执行new指令;或者通过不明确的创建、反射、克隆或者反序列化)

(2)当调用某个类的静态方法时(即在字节码中执行invoke、static指令时)

(3)当使用某个类或接口的静态字段,或者对该字段赋值时,用final修饰的静态字段除外,它被初始化为一个编译时的常量表达式。

(4)当调用JAVA API中的某些反射方法时,比如类CLASS中的方法或者java.lang.reflect包中的类方法。

(5)当初始化某个类的子类时(某个类初始化时,要求它的超累已经被初始化了)

(6)当虚拟机启动时被表名为启动类的类(即含有main()方法的那个类)

装载

装载阶段由三个基本动作组成,要装载一个类型,JAVA虚拟机必须:

(1)通过该类型的完全限定名,产生一个代表该类型的二进制数据流。

(2)解析这个二进制数据流为方法去内的内部数据结构。

(3)创建一个表示该类型的java.lang.Class类的实例。

验证

当类型被装载后,就准备进行连接了。连接过程的第一步是验证---确认类型符合JAVA语言的语义,并且它不会危及虚拟机的完整性。检查被装载的类型是否有任何问题的整个过程都属于验证。

另一个很可能在装载时进行的检查是,确保除了Object之外的每一个类都有一个超类。在装载时检查的原因是当虚拟机装载一个类时,它必须确保该类的所有超类都已经被装载了

在大部分虚拟机实现中,还有一种检查往往发生在正式的验证阶段之后,那就是符号引用的验证。在前面的章节中描述过,动态连接的过程包括通过保存在常量池中的符号引用查找被引用的类、接口、字段以及方法,把符号引用替换成直接引用。当虚拟机搜寻一个被符号引用的(类型、字段或方法)时,它必须首先确认该元素存在。

在正式的验证阶段需要完成的候选检查在下面列出:

(1)检查final的类不能拥有子类。

(2)检查final的方法不能被覆盖。

(3)确保在类型和超类型之间没有不兼容的方法声明(比如两个方法拥有相同的名字,参数再数量、顺序、类型上都相同,但是返回类型不同)这里超类需要在子类初始化前被初始化。

(4)检查所有的常量池入口相互之间一致。

(5)检查字节码的完整性。

(6)检查常量池中的所有的特殊字符串是否符合格式。

准备

在准备阶段,JAVA虚拟机为类变量分配内存,设置默认初始值。但在到达初始化阶段之前,类变量都没有被初始化为真正的初始值。JAVA虚拟机实现可能也为一些数据结构分配内存,目的是提高运行程序的性能。这种数据结构的雷子如方法表,它包含指向类中每一个方法(包括从超类继承的方法)的指针。

解析

类型经过了连接的前两个阶段---之后,它就可以进入解析阶段。解析过程是在类型的常量池中寻找类、接口、字段和方法的符号引用,把这些符号引用替换成直接引用的过程。

初始化

一个类包含两个步骤:

1、如果累存在直接超类的话,且直接超类还没有被初始化,就先初始化直接超类。

2、如果累存在一个类初始化方法,就执行此方法。

当初始化一个类的直接超类的时候,也就是包含这两个步骤。因此,第一个初始化的类永远是Object,然后被主动使用的类的继承树上的所有类。超类总是在子类之前被初始化。

JAVA虚拟机必须确保初始化过程被正确的同步。如果多个线程需要初始化一个类,仅仅允许一个线程来执行初始化,其他的线程需要等待。当活动的线程完成了初始化过程之后,它必须通知其他的等待的线程。

卸载类型

虚拟机创建并初始化对象,使程序能使用对象,然后在对象变得不再被引用后可选地执行垃圾收集。同样,虚拟机装载、连接并初始化类,使程序能使用类,当程序不在引用它们的时候可选地卸载它们。

垃圾收集器必须从可触及的myThread类的对象,通过它在方法去中的类型数据找到可触及的CLASS实例。

从MyThread对象开始,垃圾收集器跟随一个指向MyThread的类型数据的指针,它找到了:

一个指向堆中的MyThread的Class实例的引用。

一个指向MyThread的直接超接口Cloneable的类型数据的指针。

一个指向MyThread的直接超类Thread的类型数据的指针。

从Cloneable的类型数据开始,垃圾收集器找到了:

一个指向堆中Cloneable的Class实例的引用

从Thread的类型数据开始,垃圾收集器找到了:

一个指向堆中Thread的Class实例的引用。

一个指向Thread的直接超接口Runnable的类型数据的指针。

一个指向Thread的直接超类Object的类型数据的指针。

从Runnable的类型数据开始,垃圾收集器找到了:

一个指向堆中Runnable的Class实例的引用。

从Object的类型数据开始,垃圾收集器找到了:

一个指向堆中Object的Class实例的引用。

仅仅一个可触及的MyThread的实例,垃圾收集器就可以触及MyThread和它所有超类型的Class实例。

参考:《深入java虚拟机》

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Java方法总结与源码解析(未完待续)

    源码通过获取字符串的长度,遍历每个字符,将传入的字符进行比较,如果与需要截取的字符相同,则调用substring方法。

    用户3003813
  • Storm的数据处理编程单元:Bolt 学习整理

      Bolt是Topology中的数据处理的单元,也是Storm针对处理过程的编程单元。Topology中所有的处理都是在这些Bolt中完成的,编程人员可以实现...

    用户3003813
  • HotSpot 自动内存管理笔记与实战

    1.对象的创建 虚拟机遇到一条new指令时,首先会去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、...

    用户3003813
  • python测试开发django-18.admin后台中文版

    django的admin后台页面默认是英文的,不喜欢英文的话,可以改下setting.py里面的语言设置,改成中文版的显示

    上海-悠悠
  • MySql 模糊查询

    SQL模糊查询,使用like比较关键字,加上SQL里的通配符,请参考以下:  1、LIKE'Mc%' 将搜索以字母 Mc 开头的所有字符串(如 McBadden...

    ydymz
  • 2020-08-20:GO语言中的协程与Python中的协程的区别?

    1.golang的协程是基于gpm机制,是可以多核多线程的。Python的协程是eventloop模型(IO多路复用技术)实现,协程是严格的 1:N 关系,也就...

    福大大架构师每日一题
  • SuperSQL:跨数据源、跨DC、跨执行引擎的高性能大数据SQL中间件

    ? 导语:SuperSQL是腾讯数据平台部自研的跨数据源、跨数据中心、跨执行引擎的统一大数据SQL分析平台/中间件,支持对接适配多类外部开源SQL执行引擎,如...

    腾讯技术工程官方号
  • SuperSQL:跨数据源、跨DC、跨执行引擎的高性能大数据SQL中间件

    导语:SuperSQL是腾讯数据平台部自研的跨数据源、跨数据中心、跨执行引擎的统一大数据SQL分析平台/中间件,支持对接适配多类外部开源SQL执行引擎,如Sp...

    腾讯大数据
  • android studio git 删除已在远程仓库的文件或文件夹方式

    其中.idea是我想删除的文件夹,所以用了rm -r命令,如果你想删除的是文件,则用rm就行,慎用rm -r!!!!

    砸漏
  • 干货|给你一份网站升级攻略,让你的网站焕然一新

    虽然已有官网,但是公司业务繁忙没时间去维护?久而久之网站就出现了很多问题,老板不看还好,一看不得了,糟糕的界面,过时的内容,还怎么好意思拿去给客户看?需要马上改...

    微梦科技

扫码关注云+社区

领取腾讯云代金券