JVM 类型的生命周期学习

本文涉及的产品
公共DNS(含HTTPDNS解析),每月1000万次HTTP解析
全局流量管理 GTM,标准版 1个月
云解析 DNS,旗舰版 1个月
简介: Java虚拟机通过装载、连接和初始化一个JAVA类型,使该类型可以被正在运行的JAVA程序所使用,其中,装载就是把二进制形式的JAVA类型读入JAVA虚拟机中;而连接就是把这种读入虚拟机的二进制形式的类型数据合并到虚拟机的运行时状态中去。

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虚拟机》

目录
相关文章
|
2月前
|
缓存 算法 Java
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
这篇文章详细介绍了Java虚拟机(JVM)中的垃圾回收机制,包括垃圾的定义、垃圾回收算法、堆内存的逻辑分区、对象的内存分配和回收过程,以及不同垃圾回收器的工作原理和参数设置。
89 4
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
|
2月前
|
存储 SQL 小程序
JVM知识体系学习五:Java Runtime Data Area and JVM Instruction (java运行时数据区域和java指令(大约200多条,这里就将一些简单的指令和学习))
这篇文章详细介绍了Java虚拟机(JVM)的运行时数据区域和JVM指令集,包括程序计数器、虚拟机栈、本地方法栈、直接内存、方法区和堆,以及栈帧的组成部分和执行流程。
45 2
JVM知识体系学习五:Java Runtime Data Area and JVM Instruction (java运行时数据区域和java指令(大约200多条,这里就将一些简单的指令和学习))
|
2月前
|
Java 应用服务中间件 程序员
JVM知识体系学习八:OOM的案例(承接上篇博文,可以作为面试中的案例)
这篇文章通过多个案例深入探讨了Java虚拟机(JVM)中的内存溢出问题,涵盖了堆内存、方法区、直接内存和栈内存溢出的原因、诊断方法和解决方案,并讨论了不同JDK版本垃圾回收器的变化。
44 4
|
2月前
|
Arthas 监控 Java
JVM知识体系学习七:了解JVM常用命令行参数、GC日志详解、调优三大方面(JVM规划和预调优、优化JVM环境、JVM运行出现的各种问题)、Arthas
这篇文章全面介绍了JVM的命令行参数、GC日志分析以及性能调优的各个方面,包括监控工具使用和实际案例分析。
75 3
|
2月前
|
SQL 缓存 Java
JVM知识体系学习三:class文件初始化过程、硬件层数据一致性(硬件层)、缓存行、指令乱序执行问题、如何保证不乱序(volatile等)
这篇文章详细介绍了JVM中类文件的初始化过程、硬件层面的数据一致性问题、缓存行和伪共享、指令乱序执行问题,以及如何通过`volatile`关键字和`synchronized`关键字来保证数据的有序性和可见性。
36 3
|
2月前
|
缓存 前端开发 Java
JVM知识体系学习二:ClassLoader 类加载器、类加载器层次、类过载过程之双亲委派机制、类加载范围、自定义类加载器、编译器、懒加载模式、打破双亲委派机制
这篇文章详细介绍了JVM中ClassLoader的工作原理,包括类加载器的层次结构、双亲委派机制、类加载过程、自定义类加载器的实现,以及如何打破双亲委派机制来实现热部署等功能。
76 3
|
6月前
|
缓存 Java
《JVM由浅入深学习九】 2024-01-15》JVM由简入深学习提升分(生产项目内存飙升分析)
《JVM由浅入深学习九】 2024-01-15》JVM由简入深学习提升分(生产项目内存飙升分析)
57 0
|
2月前
|
存储 Java
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
这篇文章详细地介绍了Java对象的创建过程、内存布局、对象头的MarkWord、对象的定位方式以及对象的分配策略,并深入探讨了happens-before原则以确保多线程环境下的正确同步。
62 0
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
|
2月前
|
小程序 Oracle Java
JVM知识体系学习一:JVM了解基础、java编译后class文件的类结构详解,class分析工具 javap 和 jclasslib 的使用
这篇文章是关于JVM基础知识的介绍,包括JVM的跨平台和跨语言特性、Class文件格式的详细解析,以及如何使用javap和jclasslib工具来分析Class文件。
59 0
JVM知识体系学习一:JVM了解基础、java编译后class文件的类结构详解,class分析工具 javap 和 jclasslib 的使用
|
5月前
|
Arthas 存储 监控
JVM内存问题之JNI内存泄漏没有关联的异常类型吗
JVM内存问题之JNI内存泄漏没有关联的异常类型吗