Java - JVM字节码与类的加载篇

JVM简图

JVM详细图

字节码指令集与解析

Class文件结构

Java虚拟机编译器

类加载器子系统

类加载器子系统图：

类加载器子系统的作用:

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

类加载器ClassLoder角色：

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

类的加载过程

类的加载过程图：

加载：

1. 通过一个类的全限定名获取定义此类的二进制字节流。
2. 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
3. 在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。
4. 加载.class文件的方式
   1. 从本地系统中直接加载。
   2. 通过网络获取，典型场景：Web Applet。
   3. 从zip压缩包中读取，成为日后jar、war格式的基础。
   4. 运行时计算生成，使用最多的是：动态代理技术。
   5. 由其他文件生成，典型的场景：JSP应用。
   6. 从专有的数据库中提取。class文件，比较少见。
   7. 从加密文件中获取，典型的防class文件被反编译的保护措施。

链接：

1. 验证（Verify）：
   1. 目的在于确保class文件的字节流中包含信息符合当前虚拟机要求，保证被加载类的正确性，不会危害虚拟机自身安全。
   2. 主要包括四种验证，文件间格式验证，元数据格式，字节码验证，符号引用用验证。
2. 准备（Prepare）：
   1. 为类变量分配内存并且设置该类变量的默认初始值，即零值。
   2. 这里不包含final修饰的static，因为final在编译的时候就会分配了，准备阶段会显式初始化。
   3. 这里不会为实例变量分配初始化，类变量会分配在方法区中，而实例变量是会随着对象一起分配到Java堆中。
3. 解析（Resolve）：
   1. 将常量池内的符号引用转换为直接引用的过程。
   2. 事实上，解析操作往往会伴随着JVM在执行完初始化之后再执行。
   3. 符号引用就是一组符号来描述苏引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的class文件格式中，直接引用就是直接指向目标的指针、相对偏移量或一个简介定位到目标的句柄。
   4. 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info等。

初始化：

4. 初始化阶段就是执行类构造方法<clinit>()的过程。
5. 此方法不需要定义，是Javac编译器自动收集类中的所有类变量的复制动作和静态代码块中的语句合并而来。
6. 构造器方法中指令按语句在源文件中出现的顺序执行。
7. <clinit>()不同于类的构造器。（关联：构造器是虚拟机视角下的<init>()）
8. 若该类有父类，JVM会保证子类的<clinit>()执行前，父类的<clinit>()已经执行完毕。
9. 虚拟机必须保证一个类的<clinit>()方法在多线程下被同步加锁。

其他

• 类加载器的分类：https://blog.csdn.net/weixin_40575457/article/details/106079877
• 双亲委派模型：https://blog.csdn.net/weixin_40575457/article/details/106094983
• 判断是否是同一个类的标准：https://blog.csdn.net/weixin_40575457/article/details/106100423
• 对类加载器的引用：
  • JVM必须知道一个类是由启动加载器加载还是由用户类加载器加载的。如果一个类是由用户类加载器加载的，那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。当解析一个类型到另一个类型的引用的时候，JVM需要保证这两个类型的类加载器是相同的。
• 类的主动使用和被动使用：
  • Java程序对类的使用方式分为：主动使用和被动使用。
    • 主动使用，共分为七种情况：
      1. 创建类的实例。
      2. 访问某个类或接口的静态变量，或者对该静态变量赋值。
      3. 调用类的静态方法。
      4. 反射（比如：Class.forName(“com.qumy.Test”)）。
      5. 初始化一个类的子类。
      6. Java虚拟机启动时被标明为启动类的类。
      7. JDK7开始提供的动态语言支持：
         • java.lang.invoke.MethHandle实例的解析结果。
         • REF_getStatic、REF_putStatic、REF_invokeStatic句柄对应的类没有初始化，则初始化。
           除了以上的七种情况，其他使用Java类的方式都被看作是对类的被动使用，都不会导致类的初始化。