从零打造知识体系-IT-Java高级-01JVM篇-类加载子系统

简介：术道并行，从零打造IT知识体系，图文视频同步更新。
本文学习章节：Java高级–01JVM篇–类加载子系统
本文学习内容：类加载子系统(加载、链接、初始化；双亲委派等)

知识图谱

1 作用

• 从文件或网络中加载Class文件
• 只负责加载class文件到方法区，是否可以运行由Execution Engine决定

2 类加载过程

类加载过程包括：加载、链接、初始化、使用、卸载

2.1 加载

通过一个类的全限定名获取定义此类的二进制字节流
将这个字节流所代表的静态存储结果转化为方法区的运行时数据结构
在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据访问入口

获取方式：

• 本地文件\网络获取：class文件、jar、war、jsp、……
• 运行时计算生成：动态代理

2.2 链接

链接包括：验证、准备、解析

验证
目的：确保虚拟机安全
四种验证：

• 文件格式验证
  文件开头：CAFEBABE
  主次版本号是否在虚拟机支持范围内
  常量池中的常量是否有不被支持的常量类型
  指向常量池的各种索引值中是否有指向不存在的常量或不符合类型的常量
• 元数据验证
  对字节码描述的信息进行语义分析，保证描述符合Java规范
  类是否有父类（Object除外）
  类的父类是否继承了不允许继承的类（被final修饰的类）
  如果这个类不是抽象类，是否实现了其父类或接口中要求实现的所有方法
  类的字段，方法是否与父类的产生矛盾。例如方法参数都一直，返回值不同
• 字节码验证
  通过数据流分析和控制流分析，确定程序语义是合法的，符合逻辑的
  对类的方法体，进行校验分析，保证在运行时不会做出危害虚拟机的行为
  保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作，不会出现类似于在操作数栈放了一个int类型的数据，使用时却按照long类型加载到本地变量表中的情况
  保障任何跳转指令都不会跳转到方法体之外的字节码指令上
• 符号引用验证
  通过字符串描述的全限定名是否能找到对应的类
  符号引用中的类、字段、方法的可访问性是否可被当前类访问

准备

• 为类变量（静态变量）分配内存，并且设置该类变量的初始值，即零值
• 不包含用final修饰的static，因为final在编译的时候就会分配了，准备阶段会显示初始化
• 不会为实例变量分配初始化，类变量会分配在方法区中，实例变量会随着对象一起分配到Java堆中

解析

将常量池内的符号引用转换为直接引用的过程（虚拟机栈，动态链接，解析）
事实上，解析操作往往会伴随着JVM在执行初始化之后再执行；符号引用就是一组符号来描述引用的目标，符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中；直接引用就是直接指向目标的指针，相对偏移量或一个间接定位到目标的句柄；解析动作主要针对类、或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info

2.3 初始化

• 初始化阶段是指向类构造器方法()的过程
• 此方法不需要定义，是javac编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来（非法的前向引用问题）
• 构造器方法中指令安装语句在源文中出现的顺序执行
• ()不同类的构造器（关联：构造器是虚拟机视角下的()）
• 若该类具有父类，JVM会保证子类的()执行前，父类的()先执行
• 虚拟机必须保证一个类的()方法在多线程下被同步加锁
• 如果没有类变量和静态代码块，也不会有clinit

2.4 停用

2.5 卸载

2.6 补充说明

• 加载、验证、准备、解析、初始化是安装顺序执行的
• 解析阶段，在某些情况下可以在初始化阶段之后再开始，为了支持Java语言的运行时绑定特性（动态绑定或晚期绑定）
• 类的初始化
  主动使用：
  1 创建类的实例
  2 访问某各类或接口的静态变量，或者对静态变量赋值
  3 调用类的静态方法
  4 反射，比如Class.forName(com.dsh.jvm.xxx)
  5 初始化一个类的子类
  6 java虚拟机启动时被标明为启动类的类
  7 JDK 7 开始提供的动态语言支持：java.lang.invoke.MethodHandle实例的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic句柄对应的类没有初始化，则初始化
  除了以上七种情况，其他使用java类的方式都被看作是对类的被动使用，都不会导致类的初始化。

3 类加载器

通过类的全限定名获取该类的二进制字节流的代码块叫做类加载器

类加载器分为引导类加载器和自定义加载器（概念上，将所有派生于抽象类ClassLoader的类加载器都划分为自定义加载器）

四种类加载器
1 启动类加载器（Bootstrap ClassLoader）：用来加载java核心类库，无法被java程序直接引用
特点：

• C/C++语言实现，嵌套在JVM内部
• 用来加载Java核心类库，rt.jar、resources.jar、sun.boot.class.path路径下的内容
• 并不继承java.lang.ClassLoader，没有父加载器
• 加载扩展类和应用程序类加载器，并指定为他们的父类加载器
• 出于安全考虑，Bootstrap启动来加载器只加载包名为java\javax\sun等开头的类
  2 扩展类加载器（Extensions ClassLoader）：用来加载Java的扩展库，JVM的实现会提供一个扩展库目录。
  特点：
• Java语言编写，由sun.misc.Launcher$ExtClassLoader实现
• 派生于ClassLoader类
• 父加载器为启动类加载器
• 从java.ext.dirs系统属性所指定的目录中加载类库，或从jre/lib/ext子目录下加载类库
  3 系统类加载器（System ClassLoader）：又叫应用程序类加载器。根据Java应用的类路径（CLASSPATH）来加载Java类，一般来说，Java应用的类都是由它来完成加载的。
  特点：
• Java语言编写，由sun.misc.Launcher$AppClassLoader实现
• 派生于ClassLoader类
• 父加载器为扩展类加载器
• 负责加载环境变量classpath或系统属性java.class.path指定路径下的类库
• 该类加载器是程序中默认的类加载器，一般来说，Java应用的类都是由它来完成加载
• 通过ClassLoader.getSystemClassLoader()方法可以获取到该类加载器

4 用户自定义类加载器，通过继承java.lang.ClassLoader类的方式实现
为什么要用自定义加载器

• 隔离加载类，例如使中间件的jar包与应用程序jar包不冲突
• 修改类加载方式，启动类加载器必须使用，其它可以根据需要自定义加载
• 扩展加载源
• 防止源码泄露，对字节码进行加密，自定义类加载器实现解密

实现步骤

• 继承抽象类java.lang.ClassLoader类
• 重写loadClass方法或findClass方法
• 如没有太过复杂需求，可以继续URLClassLoader类，避免自己编写findClass()方法（获取字节流）

ClassLoader

一个抽象类，除了启动类外，其它类都继承至它

相关方法:

3 双亲委派

原理
Java虚拟机对Class文件采用的是按需加载，使用的是双亲委派模式，即把请求交由父类处理
优势
避免类的重复加载
保护程序安全，防止核心API被篡改

4 补充

1 在JVM中表示两个Class对象是否为同一个对象？

• 类的完整类名必须一致，包含包名
• 加载这个类的ClassLoader必须相同
  2 JVM必须知道一个类型是由启动类加载器还是由用户类加载器加载的，如果是用户类加载器加载的，JVM会将这个类加载的一个引用作为类型信息的一部分，保存在方法区中（对象头信息）