JVM-类加载过程

1.内存结构概述

2.类加载子系统

2.1 类加载器子系统的作用

• 类加载器子系统负责从文件系统或者网络中加载Class文件，class文件在文件开头有特定的文件标识。
• ClassLoader只负责class文件的加载，至于它是否可以运行，则由Execution Engine(执行引擎)决定。
• 加载的类信息存放于一块称为方法区的内存空间。除了类的信息外，方法区中还会存放运行时常量池信息，可能还包括字符串字面量和数字常量（这部分常量信息是Class文件中常量池部分的内存映射）

2.2 类加载器ClassLoader角色

• class file存在于本地硬盘上，可以理解为设计师画在纸上的模板，而最终这个模板在执行的时候是要加载到JVM当中来根据这个文件实例化出n个一模一样的实例。
• class file加载到JVM中，被称为DNA元数据模板，放在方法区。
• 在.class文件 –> JVM –> 最终成为元数据模板，此过程就要一个运输工具（类装载器Class Loader），扮演一个快递员的角色。

2.3 类的加载过程

public class HelloLoader {

    public static void main(String[] args) {
        System.out.println("谢谢ClassLoader加载我....");
        System.out.println("你的大恩大德，我下辈子再报！");
    }

}

它的加载过程是怎么样的呢?

• 执行 main( ) 方法（静态方法）就需要先加载承载类 HelloLoader
• 加载成功，则进行链接、初始化等操作，完成后调用 HelloLoader 类中的静态方法 main
• 加载失败则抛出异常

类的加载过程:

• 完整的流程图如下所示：加载 --> 链接（验证 --> 准备 --> 解析） --> 初始化

2.3.1 加载(Loading)阶段

1.加载

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

2.加载.class文件的方式

• 从本地系统中直接加载
• 通过网络获取，典型场景：Web Applet
• 从zip压缩包中读取，成为日后jar、war格式的基础
• 运行时计算生成，使用最多的是：动态代理技术
• 由其他文件生成，典型场景：JSP应用从专有数据库中提取.class文件，比较少见
• 从加密文件中获取，典型的防Class文件被反编译的保护措施

2.3.2 链接(Linking)阶段

链接分为三个子阶段：验证 --> 准备 --> 解析

1.验证(Verify)

• 目的在于确保Class文件的字节流中包含信息符合当前虚拟机要求，保证被加载类的正确性，不会危害虚拟机自身安全
• 主要包括四种验证，文件格式验证，元数据验证，字节码验证，符号引用验证。
• 使用 BinaryViewer 查看字节码文件，其开头均为 CAFE BABE ，如果出现不合法的字节码文件，那么将会验证不通过

1. 准备(Prepare)

• 为类变量分配内存并且设置该类变量的默认初始值，int类型即零值，引用则为null
• 这里不包含用final修饰的static，因为final在编译的时候就会分配好了默认值，准备阶段会显式初始化
• 注意：这里不会为实例变量分配初始化，类变量会分配在方法区中，而实例变量是会随着对象一起分配到Java堆中

举例： 变量a在准备阶段会赋初始值，但不是1，而是0，在初始化阶段会被赋值为 1

public class HelloApp {
    private static int a = 1;   //prepare：a = 0 ---> initial : a = 1

    public static void main(String[] args) {
        System.out.println(a);
    }
}

1. 解析(Resolve)

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

2.3.3 初始化(Initialization)阶段

• 初始化阶段就是执行类构造器方法 <clinit>() 的过程
• 此方法不需定义，是javac编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来。也就是说，当我们代码中包含static变量的时候，就会有<clinit>( )方法；如果当前类不存在static变量，那么它的字节码文件是不会存在 <clinit>( )
• <clinit>()方法中的指令按语句在源文件中出现的顺序执行
• <clinit>()不同于类的构造器。（关联：构造器是虚拟机视角下的 <init>()）
• 若该类具有父类，JVM会保证子类的 <clinit>() 执行前，父类的 <clinit>() 已经执行完毕
• 虚拟机必须保证一个类的 <clinit>() 方法在多线程下被同步加锁

当我们代码中包含static变量的时候，就会有clinit方法 如果当前类不存在static变量，那么它的字节码文件是不会存在<clinit>( ) <clinit>()方法中的指令按语句在源文件中出现的顺序执行 构造器是虚拟机视角下的<init>()

public class ClinitTest {
    //任何一个类声明以后，内部至少存在一个类的构造器
    private int a = 1;
    private static int c = 3;

    public static void main(String[] args) {
        int b = 2;
    }

    public ClinitTest(){
        a = 10;
        int d = 20;
    }

}

• 在构造器中：
  • 先将类变量 a 赋值为 10
  • 再将局部变量赋值为 20 若该类具有父类，JVM会保证子类的<clinit>()执行前，父类的<clinit>()已经执行完毕

public class ClinitTest1 {
    static class Father{
        public static int A = 1;
        static{
            A = 2;
        }
    }

    static class Son extends Father{
        public static int B = A;
    }

    public static void main(String[] args) {
        //加载Father类，其次加载Son类。
        System.out.println(Son.B); //2
    }
}

• 如上代码，加载流程如下：
  • 首先，执行 main( ) 方法需要加载 ClinitTest1 类
  • 获取 Son.B 静态变量，需要加载 Son 类
  • Son 类的父类是 Father 类，所以需要先执行 Father 类的加载，再执行 Son 类的加载 虚拟机必须保证一个类的<clinit>()方法在多线程下被同步加锁

public class DeadThreadTest {
    public static void main(String[] args) {
        Runnable r = () -> {
            System.out.println(Thread.currentThread().getName() + "开始");
            DeadThread dead = new DeadThread();
            System.out.println(Thread.currentThread().getName() + "结束");
        };

        Thread t1 = new Thread(r, "线程1");
        Thread t2 = new Thread(r, "线程2");

        t1.start();
        t2.start();
    }
}

class DeadThread {
    static {
        if (true) {
            System.out.println(Thread.currentThread().getName() + "初始化当前类");
            while (true) {

            }
        }
    }
}

• 程序卡死，分析原因：
  • 两个线程同时去加载 DeadThread 类，而 DeadThread 类中静态代码块中有一处死循环
  • 先加载 DeadThread 类的线程抢到了同步锁，然后在类的静态代码块中执行死循环，而另一个线程在等待同步锁的释放
  • 所以无论哪个线程先执行 DeadThread 类的加载，另外一个类也不会继续执行