JVM-Class Loader Subsystem(类加载器子系统)

JVM-Class Loader Subsystem(类加载器子系统)

Loading(加载阶段)

ClassLoader只负责class文件的加载

加载的类信息存放于方法区,

过程

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

类加载器分类

Bootstrap ClassLoader(引导类加载器/启动类加载器)

• C/C++实现
• 用于加载核心类库
• 没有父类加载器
• 加载扩展类和应用程序类加载器,并指定为他们的父类加载器
• 处于安全考虑,Bootstrap ClassLoader只负责加载名为java javax sun等开头的类

Extension ClassLoader(扩展类加载器)

• Java实现
• 派生于ClassLoader类
• 父类加载器为启动类加载器
• 从制定目录加载类库,或从JDK的安装目录的jre/lib/ext子目录(扩展目录)下加载类库.如果用户创建的JAR放在此目录下,也会自动扩展类加载器加载

Application ClassLoader(应用程序类加载器/系统类加载器)

• Java实现
• 派生于ClassLoader类
• 父类加载器为扩展类加载器
• 负责加载Classpath或系统属性java.class.path 制定路径下的类库
• 该类加载是程序中默认的类加载器.一般来说Java应用都是由他来完成加载

User-Defined ClassLoader(自定义加载器)

Linking(链接)

Verify(验证)

用于验证Class文件的安全性及正确性

确定Class文件的字节流包含信息符合当前虚拟机要求,保证加载类的正确性,不会危害虚拟机自身安全.

四种验证:文件格式验证 元数据验证 字节码验证 符号引用验证

Prepare(准备)

为类变量分配内存并设置默认初始值,即零值

不包含用final修饰的static,因为final在编译的时候就分配了,准备阶段会显式的初始化

不会为实例变量(类成员变量)分配初始化,类变量会分配在方法区中,而实例变量随对象一起分配到Java堆中.

Resolve(解析)

将常量池内的符号引用转换为直接引用

• 符号引用就是一组符号来描述所引用的目标.Java类在编译时并不知道所引用的类的实际地址,因此只能用符号引用来代替

• 直接引用就是直接指向目标的指针、相对偏移量或间接定位到目标的句柄

• 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等.对应常量池中的CONSTANT_Class_info、CONSTANT_Filedref_info、CONSTANT_Methodref_info等

initialization(初始化)

初始化阶段就是执行类构造器方法()的过程

此方法不需要定义,是javac编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来

构造器方法中指令按语句在源文件中出现的顺序执行

()不同于类的构造器(构造器在虚拟机里是())

若该类有父类,JVM会保证子类的()执行前,父类的()已执行完毕

虚拟机必须保证一个类的()方法再多线程下被同步加锁

双亲委派机制

工作原理

1. 如果一个类加载器收到了类加载请求,并不会自己先加载,而是把这个请求委托给父类加载器去执行.
2. 如果父类加载器还存在其父类加载器,则进一步委托,依次递归,请求最终将到达顶层的启动类加载器
3. 如果父类加载器可以完成加载任务,就返回成功,倘若父类加载器无法完成此加载任务,子类加载器才会尝试自己加载,这就是双亲委派机制

优势

避免类的重复加载

保护程序安全,防止核心API被篡改

沙箱安全机制

沙箱安全机制是由基于双亲委派机制上 采取的一种JVM的自我保护机制,假设你要写一个java.lang.String 的类,由于双亲委派机制的原理,此请求会先交给Bootstrap试图进行加载,但是Bootstrap在加载类时首先通过包和类名查找rt.jar中有没有该类,有则优先加载rt.jar包中的类,因此就保证了java的运行机制不会被破坏.

其他

1. 在JVM中表示两个Class对象是否为同一个类的两个必要条件:

   • 类的完整类名必须一直,包括包名
   • 加载这个类的类加载器必须是同一个

   换句话说,在JVM中,即使这两个类对象来源同一个Class文件,被同一个虚拟机所加载,但只要加载他们的Class Loader实例对象不同,那么这两个类对象也不想等.

2. 对类加载器的引用

   JVM必须知道一个类型是有启动加载器加载还是由用户加载器加载的.如果一个类型是由启动类加载器加载还是由用户类加载器加载的.如果一个类型是由用户类加载器加载的,那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中.当解析一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的.

3. 类的主动使用和被动使用

   主动使用,又分为七种情况:

   • 创建类的实例

   • 访问某个类或接口的静态变量,或对该静态变量赋值

   • 调用类的静态方法

   • 反射

   • 初始化一个类的子类

   • Java句你急启动时被明确标明为启动类的类

   • JDK7开始提供的动态语言支持:

     java.lang.invoke.MethodHandle实例的解析结果

     REF_getStatic、REF_putStatic、REF_invokeStatic句柄对应的类没有初始化,则初始化

   除了以上7种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化