JVM学习笔记 类加载

一、类的加载定义

类的加载指的是将类的 .class 文件中的二进制数据读入内存当中,将其放在运行时的数据区的方法区内,然后在堆区创建一个 java.lang.Class 对象,用来封装类在方法区内的数据结构。类的加载的最终产品是位于堆区中的Class对象,Class对象封装了类在方法区内的数据结构,并且向Java程序员提供了访问方法区内的数据结构的接口。

类加载器并不需要等到某个类被“首次主动使用”时再加载它,JVM 规范允许类加载器在预料某个类将要被使用时就预先加载它,如果在预先加载的过程中遇到了 .class 文件缺失或存在错误,类加载器必须在程序首次主动使用该类时才报告错误(LinkageError 错误)如果这个类一直没有被程序主动使用,那么类加载器就不会报告错误。

二、类加载生命周期

生命周期从加载到内存开始,到卸载出内存为止;完整的生命周期包括:加载(Loading)、验证(Verification)、准备(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using)和卸载(Unloading)七个阶段。其中验证、准备、解析三个阶段统称为连接(Linking)。

类加载生命周期

加载、验证、准备、初始化和卸载5个阶段的顺序是确定的;动态绑定(Java语言运行时绑定或晚期绑定)的情况下,解析发生在初始化阶段之后。

  • 加载(Loading)

    JVM 在该阶段的主要目的是将字节码从不同的数据源(可能是 .class 文件、也可能是 jar 包,甚至网络)转化为二进制字节流加载到内存中,将字节流所代表的静态存储结构转化为方法区的运行时数据结构,并生成一个代表该类的 java.lang.Class 对象,作为方法区该类的各种数据访问入口。

    加载阶段与连接阶段的部分内容(如一部分字节码文件格式验证动作)是交叉进行的,加载尚未完成,连接阶段可能已经开始。

  • 验证(Verification)非常重要,但不一定必要(对程序运行期没有影响)

    JVM 会在该阶段对二进制字节流进行校验,只有符合 JVM 字节码规范的才能被 JVM 正确执行。该阶段是保证 JVM 安全的重要屏障,下面是一些主要的检查。

    • 文件格式验证:验证输入的字节流能被正确的解析并存储在方法区
      • 是否以魔数0xCAFFEBABE开头
      • 主次版本号是否在虚拟机处理范围内
      • 常量池中的常量是否有不被支持的常量类型
      • 指向常量的各种索引值是否有指向不存在的常量
    • 元数据验证:对字节码描述的信息进行语义分析,以保证其描述的信息符合Java语言规范的要求
      • 这个类是否有父类
      • 这个类的父类是否继承不被允许的类(final修饰的类)
      • 如果这个类不是抽象类,是否实现了接口要求实现的方法
      • 类中的字段,方法是否与父类矛盾(例如出现不符合规则的方法重载
    • 字节码验证:通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的
      • 保证任何时刻操作数栈的数据类型与指令代码序列能配合工作
      • 保证跳转指令不会跳转到方法体以外的字节码指令
      • 保证方法体中类型转换有效,如避免出现将父类对象赋值到子类数据类型上
    • 符号引用验证:确保变量在使用之前被正确初始化
      • 符号引用中通过字符串描述的全限定名是否能找到对应的类
      • 在指定类中是否存在符合方法的字段描述符号
      • 符号引用的类,字段,方法的访问性是否可以被当前类访问
  • 准备(Preparation)

    JVM在该阶段对类变量(静态变量,static关键字修饰的变量)分配内存并初始化(对应数据类型的默认初始值,如00Lnullfalse等)

    public String alarmEvent = "event";
    public static String alarmType = "alarm";
    public static final String alarmServrity = "严重";
    

    alarmEvent不会被分配内存,alarmType初始化分配内存,但初始值为alarm,而alarmServritystatic final修饰(常量,常量一旦赋值不会再次改变),故alarmServrity在准备阶段值为'严重'而非null

  • 解析(Resolution)

    该阶段将常量池中的符号引用转化为直接引用。

    符号引用:符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要可以唯一定位到目标即可。符号引用于内存布局无关,所以所引用的对象不一定需要已经加载到内存中。编译时,Java类并不知道所引用的类的实际地址,因此只能使用符号引用代替。比如com.WeChatController类引用了com.WeChatService类,编译时WeChatController类并不知道WeChatService类的实际内存地址,只能使用符号com.WeChatService

    直接引用:通过符号引用进行解析,找到引用的实际内存地址。(直接指向目标的指针、相对偏移量或者是一个能间接定位到目标的句柄)。

    虚拟机会对除invokedynamic解析命令之外第一次解析的结果缓存,后面碰到相同解析命令,直接引用,避免重复解析。invokedynamic解析命令用于动态语言支持,程序实际运行该指令的时候,解析动作才会执行,其他解析命令在代码执行之前完成解析。

  • 初始化(Initialization)

    该阶段为类的加载过程的最后一步,在准备阶段,类变量已经被赋过默认初始值,而在初始化阶段,类变量将被赋值为代码期望赋的值。(初始化阶段就是执行类构造器<clinit>()方法的过程)

    String alarmStr = new String("告警");
    

    使用new关键字来实例化一个字符串对象,在此阶段,回调用String类的构造方法对alarmStr进行实例化。

    public class TestDemo {
        static {
            i = 0;
           //System.out.println(i);//Illegal forward reference(非法前向引用)
        }
        static int i = 1;
        public static void main(String[] args) {
            System.out.println(i);
        }
    }
    

    <clinit>()方法由编译器自动收集类中所有变量的赋值动作和静态代码块static{}中的语句合并产生的,编译器收集顺序由语句在源文件中出现的顺序决定。如上,静态代码块只能访问到静态代码块之前的变量,定义在static{}之后的类变量只能赋值,不能访问。

    <clinit>()父类构造器执行在子类构造器之前执行,故父类的类变量、静态代码块先于子类的类变量、静态代码块初始化;若类或者接口不含类变量赋值操作、静态代码块,类构造器不是必须的。

三、类加载器

1. 类加载器类型

  • 启动类加载器(Bootstrap Class-Loader):加载jre/lib包下面的jar文件。

  • 扩展类加载器(Extension or Ext Class-Loader):加载位于jre/lib/ext下面的jar文件。

  • 应用类加载器(系统类加载器,Application or App Class-Loader):根据程序的类路径(classpath)来加载Java类。

  • 自定义类加载器(User Class-Loader)用户自定义的类加载器(继承java.lang.ClassLoader类)

    public class TestDemo {
        public static void main(String[] args) {
            ClassLoader loader = TestDemo.class.getClassLoader();
            while (loader != null) {
                System.out.println(loader.toString());
                loader = loader.getParent();
            }
        }
    }
    

    每个类中都维护一个指向定义该类的类加载器的引用,通过.class.getClassLoader()方法获取引用;通过.getParent()方法获取类类加载器的上层类加载器。

    sun.misc.Launcher$AppClassLoader@18b4aac2   //应用类加载器
    sun.misc.Launcher$ExtClassLoader@7b23ec81   //扩展类加载器
    

    扩展类加载器的.getParent()返回null,与JDK版本有关。

2. 双亲委派模型

双亲委派模型

  • 工作原理:如果一个类加载器收到了加载类的请求,它会先把请求委托给上层加载器去完成,上层加载器又会委托更上一层加载器,一直到最顶层的类加载器;如果上层加载器无法完成类的加载工作时,当前类加载器才会尝试自己去加载这个类。

  • 使用双亲委派模型的好处:java类随着它的类加载器一起具备了优先级的层次关系。

    java.lang.Object存放在/jre/lib/rt.jar中,该类是所有java类的父类,无论哪个类加载器都要加载该类,最终所有的加载请求汇集到顶层的启动类加载器中,因此Object类会由启动类加载器来加载同一个Object类;不使用双亲委派模型,任由各个类加载器去加载,系统中会出现不止一个Object类,应用程序会出现混乱。

3. Class.forname()与ClassLoader.loadClass()

  • Class.forname():是一个静态方法,最常用的是Class.forname(String className);根据传入的类的全限定名返回一个Class对象.该方法在将Class文件加载到内存的同时,会执行类的初始化。
  • ClassLoader.loadClass():这是一个实例方法,需要实例化一个ClassLoader对象来调用该方法,该方法将Class文件加载到内存时,并不会执行类的初始化,直到这个类第一次使用时才进行初始化.该方法因为需要得到一个ClassLoader对象,所以可以根据需要指定使用哪个类加载器。

参考:

JVM学习(一):Java类的加载机制

我竟然不再抗拒 Java 的类加载机制了

JVM类加载机制

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值