JVM—类加载子系统(Class Loader Subsystem)
1. 内存结构概述
简图
详细图(英文版)
详细图(中文版)
注意:方法区只有HotSpot
虚拟机有,J9
,JRockit
都没有
如果自己想手写一个Java虚拟机的话,主要考虑哪些结构呢?
- 类加载器
- 执行引擎
2. 类加载器子系统
类加载器子系统作用
- 类加载器子系统负责从文件系统或者网络中加载Class文件,class文件在文件开头有特定的文件标识
(ca fe ba be)
。 - ClassLoader 只负责class文件的加载,至于它是否可以运行,则由 Execution Engine 决定。
- 加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常量池信息,可能还包括字符串字面量和数字常量(这部分常量信息是Class文件中常量池部分的内存映射)
3. 类的加载过程
加载(Loading)
-
通过一个类的全限定名获取类的二进制字节流
-
将这个字节流所代表的静态存储结构 转换为方法区的运行时数据结构
-
在内存中生成一个代表这个类的Class对象
为方法区的这个类的各种数据的访问入口(大Class对象在方法区)
链接(Linking)
分为三个子阶段 验证 => 准备 => 解析
① 验证(Verification)
- 目的在于确保Class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
- 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证。
② 准备(Preparation)
- 为类变量(static变量)分配内存并且设置该类变量的默认初始值,即
零值
。 - 这里不包含用
final
修饰的static,因为final在编译的时候就会分配好了默认值,准备阶段会显式初始化; - 注意:这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到Java堆中。
③ 解析(Resolution)
- 将常量池内的符号引用转换为直接引用的过程。
- 事实上,解析操作往往会伴随着 JVM 在执行完初始化之后再执行。
- 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
- 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class info、CONSTANT_Fieldref _info、CONSTANT_Methodref_info等。
初始化(Initialization)
- 初始化阶段就是执行
类构造器方法
<clinit>()
的过程。 - 此方法不需定义,是javac编译器自动收集类中的所有
类变量
的赋值动作和静态代码块
中的语句合并而来。 - 构造器方法中指令按语句在源文件中出现的顺序执行。
<clinit>()
不同于类的构造器。(关联:构造器是虚拟机视角下的<init>()
)- 若该类具有父类,JVM会保证子类的
<clinit>()
执行前,父类的<clinit>()
已经执行完毕。 - 虚拟机必须保证一个类的
<clinit>()
方法在多线程下被同步加锁。
类加载总结
- 加载:将class文件变为二进制流存进方法区 生成
java.lang.Class
对象 - 链接:为静态变量 静态代码块中的值赋默认值对
final
的静态字面值常量直接赋初值 - 初始化:为静态变量 静态代码块中的值 赋初值 执行静态代码块 只加载一次
4. 类加载器的分类
概述
- JVM严格来讲支持两种类型的类加载器,分别为引导类加载器(Bootstrap ClassLoader)、自定义类加载器(User-Defined ClassLoader)
- 从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是Java虚拟机规范却没有这么定义,而是将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器。
- 无论类加载器的类型如何划分,在程序中我们最常见的类加载器始终只有3个,如下所示(最顶上的3个):
- 对于用户自定义类来说:默认使用系统类加载器进行加载
- 两次获取系统类加载器的值都相同:sun.misc.Launcher$AppClassLoader@18b4aac2 ,这说明系统类加载器是全局唯一的。
String
类getClassLoader()
获取值为null 说明是使用引导类加载器进行加载的 => Java的核心类库
都是使用引导类加载器进行加载的。- 我们尝试获取引导类加载器,获取到的值为 null ,这并不代表引导类加载器不存在,因为引导类加载器使用 C/C++ 语言,我们获取不到。
虚拟机自带的加载器
引导类加载器
引导类加载器(启动类加载器,Bootstrap ClassLoader)
- 这个类加载使用 C/C++ 语言实现的,嵌套在 JVM 内部。
- 它用来加载Java的核心库
(JAVA_HOME/jre/lib/rt.jar、resources.jar或sun.boot.class.path路径下的内容)
,用于提供JVM自身需要的类。 - 并不继承自
java.lang.ClassLoader
,没有父加载器。 - 加载扩展类和应用程序类加载器,并作为他们的父类加载器。
- 出于安全考虑,
Bootstrap
启动类加载器只加载包名为java
、javax
、sun
等开头的类。
扩展类加载器
扩展类加载器(Extension ClassLoader)
- Java语言编写,由
sun.misc.Launcher$ExtClassLoader
实现 - 派生于
ClassLoader
类 - 父类加载器为启动类加载器(非继承关系 单纯的上下层级关系)
- 从 java.ext.dirs 系统属性所指定的目录中加载类库,或从 JDK 的安装目录的 jre/lib/ext 子目录(扩展目录)下加载类库。如果用户创建的 JAR 放在此目录下,也会自动由扩展类加载器加载
系统类加载器
系统类类加载器(应用程序加载器,AppClassLoader)
- Java语言编写,由
sun.misc.LaunchersAppClassLoader
实现 - 派生于
ClassLoader
类 - 父类加载器为扩展类加载器(非继承关系 单纯的上下层级关系)
- 它负责加载环境变量classpath或系统属性java.class.path指定路径下的类库
- 该类加载是程序中默认的类加载器,一般来说,Java应用的类都是由它来完成加载
- 通过
ClassLoader.getSystemclassLoader()
方法可以获取到该类加载器
用户自定义类加载器
什么时候需要自定义类加载器?
-
在Java的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。那为什么还需要自定义类加载器?
① 隔离加载类(比如说我假设现在Spring框架,和RocketMQ有包名路径完全一样的类,类名也一样,这个时候类就冲突了。不过一般的主流框架和中间件都会自定义类加载器,实现不同的框架,中间件之间是隔离的)
② 修改类加载的方式
③ 扩展加载源(还可以考虑从数据库中加载类,路由器等等不同的地方)
④ 防止源码泄漏(对字节码文件进行解密,自己用的时候通过自定义类加载器来对其进行解密)
如何自定义类加载器?
- 开发人员可以通过继承抽象类
java.lang.ClassLoader
类的方式,实现自己的类加载器,以满足一些特殊的需求。 - 在JDK1.2之前,在自定义类加载器时,总会去继承
ClassLoader
类并重写loadClass()
方法,从而实现自定义的类加载类,但是在JDK1.2之后已不再建议用户去覆盖loadClass()
方法,而是建议把自定义的类加载逻辑写在findclass()
方法中。 - 在编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承
URIClassLoader
类,这样就可以避免自己去编写findclass()
方法及其获取字节码流的方式,使自定义类加载器编写更加简洁。
关于ClassLoader
ClassLoader 类介绍
ClassLoader类,它是一个抽象类,其后所有的类加载器都继承自ClassLoader(不包括启动类加载器)。
方法名称 | 描述 |
---|---|
getParent() | 返回该类加载器的超类加载器 |
loadClass(String name) | 加载名称为 name 的类,返回结果为 java.lang.Class 类的实例 |
findClass(String name) | 查找名称为 name 的类,返回结果为 java.lang.Class 类的实例 |
findLoaded(String name) | 查找名称为 name 的已经被加载过的类,返回结果为 java.lang.Class 类的实例 |
defineClass(String name, byte[] b, int off, int len) | 把字节数组 b 中的内容转换为一个 Java 类,返回结果为 java.lang.Class 的实例 |
resolveClass(Class<?> c) | 连接指定的一个 Java 类 |
sun.misc.Launcher
它是一个java虚拟机的入口应用
获取ClassLoader的途径
5. 双亲委派机制
双亲委派机制原理
Java虚拟机对class文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的class文件加载到内存生成class对象。而且加载某个类的class文件时,Java虚拟机采用的是双亲委派模式,即把请求交由父类处理,它是一种任务委派模式。
- 如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;
- 如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的启动类加载器;
- 如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式。
- 父类加载器一层一层往下分配任务,如果子类加载器能加载,则加载此类,如果将加载任务分配至系统类加载器也无法加载此类,则抛出异常。
双亲委派机制优势
① 避免类的重复加载
② 保护程序安全,防止核心API被随意篡改
- 自定义类:自定义 java.lang.String 没有被加载, JVM 只会按照上面的顺序加载jdk自带的String类,而不是你写的String类。
- 自定义类:java.lang.ShkStart(报错:阻止创建 java.lang开头的类)
错误: 在类 java.lang.String 中找不到 main 方法
java.lang.SecurityException: Prohibited package name: java.lang
沙箱安全机制
- 自定义 String 类时:在加载自定义String类的时候会率先使用引导类加载器加载,而引导类加载器在加载的过程中会先加载 jdk 自带的文件(rt.jar包中java.lang.String.class),报错信息说没有 main 方法,就是因为加载的是 rt.jar 包中的 String 类。
- 这样可以保证对java核心源代码的保护,这就是沙箱安全机制。
6. 其它
如何判断两个class对象是否相同?
-
在JVM中表示两个class对象是否为同一个类存在两个必要条件:
① 类的完整类名必须一致,包括包名。
② 加载这个类的ClassLoader(指ClassLoader实例对象)必须相同。
-
换句话说,在JVM中,即使这两个类对象(class对象)来源同一个Class文件,被同一个虚拟机所加载,但只要加载它们的ClassLoader实例对象不同,那么这两个类对象也是不相等的。
对类加载器的引用
- JVM必须知道一个类型是由启动加载器加载的还是由用户类加载器加载的。
- 如果一个类型是由用户类加载器加载的,那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。
- 当解析一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的(后面讲)
类的主动使用和被动使用
Java程序对类的使用方式分为:主动使用和被动使用。
主动使用,又分为七种情况:
- 创建类的实例
- 访问某个类或接口的静态变量,或者对该静态变量赋值
- 调用类的静态方法
- 反射(比如:Class.forName(“com.atguigu.Test”))
- 初始化一个类的子类
- Java虚拟机启动时被标明为启动类的类
- JDK 7 开始提供的动态语言支持:
java.lang.invoke.MethodHandle实例的解析结果
REF_getStatic、REF_putStatic、REF_invokeStatic 句柄对应的类没有初始化,则初始化
除了以上七种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。