1.什么是类加载?
在 JV 虚拟机实现规范中,通过 classLoader 类加载器把 *.class 字节码文件(文件流)加载到内存,并对字节码文件内容进行验证、准备、解析和初始化,最终形成可以被虚拟机直接使用的 java.lang.class 对象,这个过程被称作类加载。
类是在运行期间第一次使用时,被类加载器动态加载至 JM 。JVM 不会一次性加载所有类。因为如果一次性加载,那么会占用很多的内存。
2.类的生命周期
类的生命周期包括以下 7个阶段:
加载(Loading)
验证(Verification)
准备(Preparation)
解析(Resolution)
初始化(Initialization)
使用(Using)
卸载(Unloading)
结束类生命周期的几种场景:
执行 5ystem.exit()方法
程序正常执行结束
程序执行中遇到了异常或错误而异常终止
操作系统出现错误或强制结束程序而导致 JM 虚拟机进程终止
3.类加载过程
类加载过程包含:加载、验证、准备、解析和初始化 ,一共包括 5 个阶段。
3.1.加载
在加载阶段, JVM 主要完成以下 3件事:
通过类的完全限定名称获取定义该类的 *.class 字节码文件的二进制字节流。
将该字节流表示的静态存储结构转换为 Metaspace 元空间区的运行时存储结构。
在内存中生成一个代表该类的 C1ass 对象,作为元空间区中该类各种数据的访问入口。
由于 JVM 虚拟机对加载*.class 字节码文件的来源并未做限制,所以出现了以下的 *.class 字节码文件加载方式:
1.本地文件系统直接读取;
2.从网络中通过服务器响应读取。例如: Web Applet 技术;
3.从 JAR、EAR、WAR 等压缩文件中读取;
4.运行时通过动态代理技术生成字节码文件。例如:在java.lang.reflect.Proxy使用 ProxyGenerator.generateProxyClass 的代理类的二进制字节流。
由其他文件或容器生成。例如:由tomcat将 *.jsp 文件翻译成*.java 文件后,编译生成对应的 *.class 字节码文件。
在加载阶段完成之后, *.class 字节码文件的类信息数据就会存储在元空间,同时在 JVM 虚拟机堆区生成一个该类的 Class 对象。
3.2.验证
在验证阶段, JV 主要确保 *.class 字节码文件中包含的信息符合当前虚拟机的要求,并不会危害虚拟机的安全。
验证阶段会完成下面四个阶段的检验:
1.文件格式验证:验证字节流是否符合*.class 字节码文件格式的规范,目能被当前版本的虚拟机理
- 是否以魔数 0xCAFEBABE 开头
- 主、次版本号是否在当前虚拟机处理范围之内
- 常量池的常量中是否有不被支持的常量类型(检査常量 tag 标志)
- 指向常量的各种索引值中是否有指向不存在的常量或不符合装型的常量
- CONSTANT Utf8 info 型的常量中是否有不符合 UTF8编码的数据
- *.class 文件中各个部分及文件本身是否有被删除的或附加的其他信息
2.元数据验证:对字节码描述的信息进行语义分析,以保证其描述的信息符合 Java 语言规范的要求。
- 这个类是否有父类(除了 java.lang.0bject 之外,所有的类都应当有父类)
- 这个类的父类是否继承了不允许被继承的类(被 final 修饰的类)
- 如果这个类不是抽象类,是否实現了其父类或接口之中要求实现的所有方法
- 类中的字段、方法是否与父类产生了矛盾,例如:覆盖了父类的 final 字段。出现不符合规则的方法重载,例如:方法参数都一致,但返回值类型却不同等。
3.字节码验证:通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的。
- 保证跳转指令不会跳转到方法体以外的字节码指令上
- 保证方法体中的类型转换是有效的,例如:可以把子类对象赋值给父类数据装型,这是安全的;但把父类对象意赋值给子类数据类型,甚至把对象赋值给无继承关系、完全不相干的一个数据类型,则是危险和不合法的。
- 保证任意时刻操作数栈的数据装型与指令代码序列都能配合工作,例如:不会出现在操作栈中放置了一个int 类型的数据,使用时却按 long 类型来加载入本地变量表中
4.符号引用验证:发生在虚拟机将符号引用转化为直接引用的时候,这个转化动作将在连接的第三个阶段一解析阶段中发生。确保解析动作能正常执行。
- 符号引用中通过字将串描述的全限定名是否能找到对应的类
- 在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段
- 符县引用中的类、字段和方法的访问性(private、public、default )是否可被当protected、前类访问
3.3.准备
- 类变量是被 static 修饰的变量,准备阶段为类变量分配内存并设置初始值使用的是元空间区的内存。
- 实例变量不会在这阶段分配内存,它会在对象实例化时,随着对象一起被分配在堆中。应该注意到,实例化不是类加载的一个过程,类加载发生在所有实例化操作之前,并且类加载只进行一次,实例化可以进行多次。
- 初始值一般为 0 值。
例如:下面的类变量value被初始化为 0而不是 123。
public static int value = 123;
- 如果类变量是常量,那么它将初始化为表达式所定义的值而不是 0。
例如:下面的常量value 被初始化为123而不是0
public static final int value = 123;
3.4.解析
将常量池的符号引用替换为直接引用。
3.5.初始化
初始化阶段才真正开始执行类中定义的 ava程序代码。初始化阶段是虚拟机执行类构造器<clinit>()方法的过程。在准备阶段,类变量已经赋过一次系统要求的初始值,而在初始化阶段,根据程序员通过程序制定的主观计划去初始化类变量和其它资源。
<c1init>()是由编译器自动收集类中所有类变量的赋值动作和静态语句块中的语句合并产生的,译器收集的顺序由语句在源文件中出现的顺序决定。所以,静态语句块只能访问到定义在它之前的类变量,定义在它之后的类变量只能赋值,不能访问
例如:以下代码中静态变量 i只能赋值,不能访问,因为 ; 定义在静态代码块的后面。
public class Test{static{i =0;// 给变量赋值可以正常编译通过System.out.print(i);// 这句编译器会提示“非法向前引用”}static int i= 1;
}
由于父类的<c1init>()方法先执行,也就意味着父类中定义的静态语句块的执行要优先于子类。例如以下代码:
<clinit>线程安全
虚拟机会保证一个类的《clinit>()方法在多线程环境下被正确的加锁和同步,如果多个线程同时初始化一个类,只会有一个线程执行这个类的<c1init>()方法,其它线程都会阻塞等待,直到活动线程执行c1init>()方法完毕。如果在一个类的<clinit>()方法中有耗时的操作,就可能造成多个线程阻塞,在实际过程中,该阻塞非常隐蔽,几乎不会被察觉。
4.类加载的时机
4.1.主动引用
虚拟机规范中并没有强制约束何时进行加载,但是规范严格规定了只有下列六种情况必须对类进行加载:
- 当遇到 newgetstatic、putstatic 或 invokestatic 这4条字节码指令时,比如 new一个对象,读取一个静态字段(未被 final 修饰)、或调用一个类的静态方法时。
- 当 jvm 执行 new 指令时会加载类。即:当程序创建一个类的实例对象
- 当 jvm 执行 getstatic 指令时会加载类。即:程序访问类的静态变量(不是静态常量,常量会被加载到运行时常量池)。
- 当 jvm 执行 putstatic 指令时会加载类。即:程序给类的静态变量赋值。
- 当 jvm 执行invokestatic 指令时会加载类。即:程序调用类的静态方法
- 使用java.lang.reflect 包的方法对类进行反射调用时如或Class.forname("..newlnstance()等等。如果类没初始化,需要触发类的加载。
- 加载一个类,如果其父类还未加载,则先触发该父类的加载。
- 当虚拟机启动时,用户需要定义一个要执行的主类(包含 main() 方法的类),虚拟机会先加载这个类
- 当一个接口中定义了 JDK8 新加入的默认方法(被 default 关键字修饰的接口方法)时,如果有这接口的实现类发生了加载,则该接口要在实现类之前被加载。
4.2.被动引用
除主动引用之外,所有引用类的方式都不会触发加载,称为被动引用
被动引用的常见例子包括:
- 通过子类引用父类的静态字段,不会导致子类加载
- 通过数组定义来引用类,不会触发此类的加载。该过程会对数组类进行加载,数组类是一个由虚拟机自动生成的、直接继承自 Object 的子类,其中包含了数组的属性和方法。
- 常量在编译阶段会存入调用类的常量池中,本质上并没有直接引用到定义常量的类,因此不会触发定义常量的类的加载。
5.类加载器
5.1.什么是类加载器
在类加载过程的加载阶段,通过类的完全限定名,获取描述类的二进制流的实现类,被称为“类加载器”
5.2.类加载器分类
从JVM 虚拟机的角度来讲,只存在以下两种不同的类加载器:
- 启动类加载器(Bootstrap ClassLoader),使用C++实现,是虚拟机的一部分;
- 其它类的加载器,使用 Java 实现,独立于虚拟机,继承自抽象类java.lang.ClassLoader
5.3.什么情况下需要自定义类加载器?
- 隔离加载类。在某些框架内进行中间件与应用的模块之间进行隔离,把类加载到不同的环境。
- 修改类加载方式。
- 扩展加载源。比如:从数据库、网络、电视机顶盒进行类加载。
- 防止源码泄漏。比如:编译时字节码进行加密,需要通过自定义类加载器对字节码进行解密还原
6.双亲委派模型
6.1.双亲委派工作机制
6.2.双亲委派的作用
6.3.双亲委派的实现源码
以下是抽象类java.lang.ClassLoader的代码片段,其中的 1oadClass()方法运行过程如下:先检查
类是否已经加载过,如果没有则让父类加载器去加载。当父类加载器加载失败时抛出 ClassNotfoundException此时尝试自己去加载。
6.4.SPI打破双亲委派