深入理解java虚拟机(八)类加载过程详解
类从被加载到虚拟机内存开始,到卸载出内存为止,它的整个生命周期包括:加载(Loading)、验证(Verification)、准备(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using)和卸载(Unloading)7个阶段。其中,验证、准备和解析统称为连接(Linking)。过程如下图所示。
下面我们来详细讲解Java虚拟机类中加载的5个过程,即 加载、验证、准备、解析和初始化五个过程。
第一步:加载
- 通过权限定名,获取类的二进制字节流
- 将字节流的静态数据结构转化为方法区的运行时数据结构
- 在内存中生成一个代表这个类的 java.lang.Class 对象,作为方法区中这个类数据结构的访问入口
- 从压缩包中获取,比如 JAR包、EAR、WAR包等
- 从网络中获取,比如红极一时的Applet技术
- 从运行过程中动态生成,最出名的便是动态代理技术,在java.lang.reflect.Proxy 中,就是用了 ProxyGenerator.generateProxyClass 来为特定接口生成形式为“$Proxy”的代理类的二进制流
- 从其它文件生成,如JSP文件生成Class 类
- 从数据库中读取,比如说有些中间件服务器,通过数据库完成程序代码在集群之间的分发
- 如果数组的组件类型(数组去掉一个维度的数据类型)是引用类型,就递归使用这些引用类型的类加载器进行加载。
- 如果组件类型不是引用类型,例如 int[] 数组,Java 虚拟机会将数组标记为与引导类加载器管理
- 数组的可见性与它的组件类型可见性一致,如果组件类型不是引用类型,那数组类的可见性将默认为public。
第二步:验证
文件格式验证
这阶段主要是检查字节流是否符合Class 文件的规范,版本是否能够处理,包括下面这些验证点:
- 是否以魔数开头
- 主次版本是否在当前虚拟机处理范围之内
- 常量池的常量中是否有不被支持的常量类型(检查常量tag标志)
- 指向常量的各种索引中是否有指向不存在的常量或不符合类型的常量
- CONSTANT_Utf8_info 型的常量中是否有不符合UTF8 编码的数据
- Class 文件中各个部分以及文件本身是否有被删除的或被附加的其它信息
文件格式验证主要是针对字节流进行验证,经过了这一步验证之后,字节流才会进入内存的方法区进行存储,所以后面的3个阶段全部都是基于方法区的存储结构进行的,不会再操作字节流。
元数据验证
这一阶段主要是对字节码描述的信息进行语义分析,验证类的继承关系,验证点如下:
- 这个类的父类是否允许被继承(final 修饰的类)
- 这个类如果不是抽象类,是否实现了父类或接口之中要求实现的所有方法
- 类中的字段、方法是否和父类产生矛盾(如覆盖了父类final 字段,出现了非法的方法重载)
字节码验证
字节码验证是验证过程中最复杂的一个阶段,它的目的是确定程序语义是合法的、符合逻辑的。在元数据验证完成之后,它会对方法体进行验证,确保程序不会做出危害虚拟机安全的行为。
- 保证任何时候,操作数栈的数据类型与指令代码序列都能配合工作,例如不会出现int 数据入栈,而却按 long 类型加载如本地变量表中
- 保证跳转指令不会跳转到方法体外的字节码指令上
- 保证方法体中类型转换是有效的
符号引用验证
最后一个阶段的验证放生在虚拟机将符号引用转化为直接引用的时候,这个阶段将会在解析阶段发生。符号引用验证可以看做是对类自身以外的信息进行匹配校验。
- 符号引用中通过字符串描述的权限定名是否能找到相应的类
- 在指定类中对否存在符合方法的字段描述符以及简单名称所描述的方法和字段
- 符号引用中的类、字段、方法的访问性是否可被当前类访问
符号引用验证是为了保证解析动作能正常执行。这个阶段可以用 -Xverify:none 参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。
第三步:准备
第四步:解析
- 符号引用(Symbolic References):即用一组符号来描述所引用的目标。它与虚拟机的内存布局无关,引用的目标不一定已经加载到内存中。
- 直接引用(Direct References):直接引用可以是指向目标的指针、相对偏移量或是一个能简介定位到目标的句柄。它是和虚拟机内存布局相关的。
类或接口的解析
假如类D 要把一个从未解析过的符号引用N 解析为一个类或接口C 的直接引用,那虚拟机解析过程需要3个过程:
- 如果C不是一个数组类型,虚拟机会把 N 的全限定名传递给 D 的类加载器去加载这个类C 。由于元数据验证 和 字节码验证 的过程, 可能会触发其它相关类的加载动作。
- 如果C是一个数组类型,并且数组元素类型为对象,那将会按照第一点规则加载数组元素类型。
- 如果上面步骤没有任何异常, 那么 C 已经成为了一个有效的类和接口了,但在解析完成之前还要进行符号引用验证,确认D是否具备对C的访问权限。否则会抛出java.lang.IllegalAccessError 异常。
字段解析
首先对字段的位于class_index 项中索引的 CONSTANT_Class_info 符号引用,也就是字段所属的类或接口的符号引用进行解析,如果解析顺利的话,虚拟机将按照下列步骤进行字段搜索。
- 如果C本身就包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
- 否则,如果C 中实现了接口,会按继承关系从下往上递归搜索其父接口,如果在父接口中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
- 否则,如果C 不是 java.lang.Object 的话,将会按继承关系从下往上递归搜索其父类,如果在父类中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
- 否则,查找失败,抛出 java.lang.NoSuchFieldError 异常。
如果查找过程成功返回了引用,将会对这个字段进行权限验证,如果发现不具备对字段的访问权限,将抛出 java.lang.IllegalAccessError 异常。类方法解析
类方法解析第一步和字段解析是一样的,都是先解析出类方法表的 class_index 项中索引的方法所属的类或接口的符号引用,如果顺利的话,虚拟机将按下列步骤进行字段搜索。
- 如果发现class_index 索引的C是个接口,那就抛出 java.lang.IncompatibleClassChangeError 异常。
- 如果通过了第一步,在类C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
- 否则,在类C的父类中递归查找,如果有就直接返回方法的直接引用,查找结束。
- 否则,在类C 实现的接口列表以及他们的父接口中递归查找,如果存在,则说明C是一个抽象类,查找结束并抛出 java.lang.AbstractMehodError 的异常。
- 否则,查找失败,抛出 java.lang.NoSuchMethodError 异常.
最后如果查找成功,会进行权限验证。失败会抛出 java.lang.IllegalAccessError接口方法解析
接口方法解析第一步和字段解析是一样的,都是先解析出类方法表的 class_index 项中索引的方法所属的类或接口的符号引用,如果顺利的话,虚拟机将按下列步骤进行字段搜索。
- 如果接口方法表中发现 class_index 中的索引C是个类而不是接口,就直接抛出 java.lang.IncompatibleClassChangeError 异常。
- 否则,在接口C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束
- 否则,在几口C 的父接口中递归查找,直到 java.lang.Object 类位置,看是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
- 否则,查找失败,抛出 java.lang.NoSuchMethodError 异常。
由于接口方法都是public的,所以不存在访问权限的问题,因此接口方法的符号解析应当不会抛出 java.lang.IllegalAccessError 异常。
第五步:初始化
- *类构造器<clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块(static块)中的语句合并产生的,编译器收集的顺序是由语句在源文件中出现的顺序所决定的,静态语句块中只能访问到定义在静态语句块之前的变量,定义在它之后的变量,在前面的静态语句快可以赋值,但是不能访问。
- *类构造器<clinit>()方法与类的构造函数(实例构造函数<init>()方法)不同,它不需要显式调用父类构造,虚拟机会保证在子类<clinit>()方法执行之前,父类的<clinit>()方法已经执行完毕。因此在虚拟机中的第一个执行的<clinit>()方法的类肯定是java.lang.Object。
- *由于父类的<clinit>()方法先执行,也就意味着父类中定义的静态语句快要优先于子类的变量赋值操作。
- *<clinit>()方法对于类或接口来说并不是必须的,如果一个类中没有静态语句,也没有变量赋值的操作,那么编译器可以不为这个类生成<clinit>()方法。
- *接口中不能使用静态语句块,但接口与类不同是,执行接口的<clinit>()方法不需要先执行父接口的<clinit>()方法。只有当父接口中定义的变量被使用时,父接口才会被初始化。另外,接口的实现类在初始化时也一样不会执行接口的<clinit>()方法。
- *虚拟机会保证一个类的<clinit>()方法在多线程环境中被正确加锁和同步,如果多个线程同时去初始化一个类,那么只会有一个线程执行这个类的<clinit>()方法,其他线程都需要阻塞等待,直到活动线程执行<clinit>()方法完毕。如果一个类的<clinit>()方法中有耗时很长的操作,那就可能造成多个进程阻塞。
深入理解java虚拟机(八)类加载过程详解的更多相关文章
- 深入理解Java虚拟机(八)——类加载机制
是什么是类加载机制 Java虚拟机将class文件加载到内存,并对数据进行校验.转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型,这个过程就是类加载机制. 类的生命周期 一个类从加载到内存 ...
- Java虚拟机:类加载机制详解
版权声明:本文为博主原创文章,转载请注明出处,欢迎交流学习! 大家知道,我们的Java程序被编译器编译成class文件,在class文件中描述的各种信息,最终都需要加载到虚拟机内存才能运行和使用,那么 ...
- Java虚拟机之垃圾回收详解一
Java虚拟机之垃圾回收详解一 Java技术和JVM(Java虚拟机) 一.Java技术概述: Java是一门编程语言,是一种计算平台,是SUN公司于1995年首次发布.它是Java程序的技术基础,这 ...
- 深入理解Java虚拟机(类加载机制)
文章首发于微信公众号:BaronTalk 上一篇文章我们介绍了「类文件结构」,这一篇我们来看看虚拟机是如何加载类的. 我们的源代码经过编译器编译成字节码之后,最终都需要加载到虚拟机之后才能运行.虚拟机 ...
- 深入理解java虚拟机【类加载机制】
Java虚拟机类加载过程是把Class类文件加载到内存,并对Class文件中的数据进行校验.转换解析和初始化,最终形成可以被虚拟机直接使用的java类型的过程. 在加载阶段,java虚拟机需要完成以下 ...
- [java] 虚拟机(JVM)底层结构详解[转]
本文来自:曹胜欢博客专栏.转载请注明出处:http://blog.csdn.net/csh624366188 在以前的博客里面,我们介绍了在java领域中大部分的知识点,从最基础的java最基本语法到 ...
- 深入理解java虚拟机(4)类加载的过程
类加载的过程 ------------------------------------------------------- 0.如下图所示JVM类加载机制分为5个部分:加载.验证.准备.解析.初始化 ...
- 深入理解java虚拟机(三)-----类加载机制
类加载机制jvm把描述类的数据从class文件加载到内存,并对数据进行校验.转换解析和初始化,最终形成可以被jvm直接使用的java类型.在java中,类型的加载.连接和初始化都是在程序运行期间完成的 ...
- 【进阶之路】深入理解Java虚拟机的类加载机制(长文)
我们在参加面试的时候,经常被问到一些关于类加载机制的问题,也都会在面试之前准备的时候背好答案,但是我们是否有去深入了解什么是类加载机制呢?这段时间因为一些事情在家看了些书,这次就和大家分享一些关于Ja ...
随机推荐
- dubbo 梗概及使用示例
阿里巴巴dubbo主页:http://code.alibabatech.com/wiki/display/dubbo/Home-zh 1. Dubbo是什么? Dubbo是一个分布式服务框架,致力于提 ...
- Http中Cookie的HttpOnly和secure属性
Cookie语法: Cookie通常是作为HTTP 应答头发送给客户端的,下面的例子展示了相应的语法(注意,HttpOnly属性对大小写不敏感): Set-Cookie: =[; =] [; e ...
- react之本地图片引用
react之本地图片引用 <img src="../images/photo.png"/> 这种写法在react中是不支持的,所以引用本地图片需要用import或者re ...
- System.DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss") 显示24小时制;System.DateTime.Now.ToString("yyyy-MM-dd hh:mm:ss")显示12小时制
this.Label6.Text = "当前时间:" + System.DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss") ...
- sql server 2005 修改动态端口,连接字符串为:需要改成:IP地址+逗号+端口号才行
1.sql server 2005 安装完毕后,默认是动态段,需要用sql brower 查询端口号:修改给固定端口后,格式为:IP地址+逗号+端口号. 2.sql 2000 的格式为:格式为:IP地 ...
- pipenv 简要指南
pipenv 简要指南 pipenv是requests作者的一个项目, 整合了virtualenv, pip, pipfile, 用于更方便地为项目建立虚拟环境并管理虚拟环境中的第三方模块. 安装 直 ...
- SignalR web实时同步 消息推送 广播
源码:https://github.com/SignalR/SignalR demo:http://download.csdn.net/download/qq_21533697/9702791#com ...
- KNN笔记
KNN笔记 先简单加载一下sklearn里的数据集,然后再来讲KNN. import numpy as np import matplotlib as mpl import matplotlib.py ...
- pom----Maven内置属性及使用
Maven共有6类属性: 内置属性(Maven预定义,用户可以直接使用) ${basedir}表示项目根目录,即包含pom.xml文件的目录; ${version}表示项目版本; ${project. ...
- 【原】Coursera—Andrew Ng机器学习—Week 11 习题—Photo OCR
[1]机器学习管道 [2]滑动窗口 Answer:C ((200-20)/4)2 = 2025 [3]人工数据 [4]标记数据 Answer:B (10000-1000)*10 /(8*60*60) ...