四时宝库

程序员的知识宝库

JVM系列(二)类加载子系统(java中的类加载机制)


1. 类加载子系统作用

  • 类加载子系统负责从文件系统或者网络中加载Class文件,Class文件在文件开头有特定的文件标识;
  • ClassLoader只负责Class文件的加载,至于它是否可以运行,则由Execution Engine决定;
  • 加载的类信息存放于一块成为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常量池信息,可能还包括字符串字面量数字常量(这部分常量信息是Class文件中常量池部分的内存映射)
    注:运行时常量池,如下列代码
public class StackStructure {

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

反编译后的部分输出

Constant pool:
   #1 = Methodref          #3.#21         // java/lang/Object."<init>":()V
   #2 = Class              #22            // com/nasuf/jvm/StackStructure
   #3 = Class              #23            // java/lang/Object
   #4 = Utf8               <init>
   #5 = Utf8               ()V
   #6 = Utf8               Code
   #7 = Utf8               LineNumberTable
   #8 = Utf8               LocalVariableTable
   #9 = Utf8               this
  #10 = Utf8               Lcom/nasuf/jvm/StackStructure;
  #11 = Utf8               main
  #12 = Utf8               ([Ljava/lang/String;)V
  #13 = Utf8               args
  #14 = Utf8               [Ljava/lang/String;
  #15 = Utf8               a
  #16 = Utf8               I
  #17 = Utf8               b
  #18 = Utf8               c
  #19 = Utf8               SourceFile
  #20 = Utf8               StackStructure.java
  #21 = NameAndType        #4:#5          // "<init>":()V
  #22 = Utf8               com/nasuf/jvm/StackStructure
  #23 = Utf8               java/lang/Object

上述常量池信息在运行时加载到内存中,就成为运行时常量池

2. 类加载器ClassLoader角色

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

3. 类的加载过程

3.1 加载

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

加载class文件的方式

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

3.2 链接

验证(Verify)

  • 目的在于确保class文件的字节流中所包含的信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全;
  • 主要包括四种验证:文件格式验证,元数据验证,字节码验证,符号引用验证;比如查看下列字节码文件,字节码应以CA FE BA BE开头:

准备(Prepare)

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

解析(Resolve)

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

3.3 初始化

  • 初始化阶段就是执行类的构造器方法<clinit>()的过程;
  • 此方法不需定义,是javac编译器自动手机类中的所有类变量的赋值动作和静态代码块中的语句合并而来;
  • 构造器方法中指令按语句在源文件中出现的顺序执行;
  • <clinint>()不同于类的构造器(关联:构造器是虚拟机视角下的<init>());

查看如下代码字节码信息:

修改代码再次查看,及<clinit>()方法会将代码中显示初始化的值合并:

修改代码查看赋值过程:

而如果类中不存在静态变量或静态代码块,则字节码中不会存在<clinit>()方法:

(注:<init>方法是类的构造器方法)

  • 若该类具有父类,JVM会保证子类的<clinit>()执行前,父类的<clinit>()已经执行完毕;
  • 虚拟机必须保证一个类的<clinit>()方法在多线程下被同步加锁;例如如下代码,两个线程启动后,只会有一个线程会初始化DeatThread类


4. 类加载器的分类

4.1 概述

  • JVM支持两种类型的类加载器,分别是引导类加载器(Bootstrap ClassLoader,非java语言编写)和自定义类加载器(User-Defined ClassLoader, java语言编写)
  • 从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类加载器,但是Java虚拟机规范中定义,将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器,那么平常所说的扩展类加载器和应用类加载器都属于自定义类加载器(均间接继承了ClassLoader class)

ExtClassLoader.class

AppClassLoader.class

打印出各层类加载器:

4.2 启动类加载器(引导类加载器,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等开头的类

4.3 拓展类加载器(Extension ClassLoader)

  • Java语言编写,由sun.misc.Launcher$ExtClassLoader实现;
  • 派生于ClassLoader类;
  • 父类加载器为启动类加载器;
  • 从java.ext.dirs系统属性所指定的目录中加载类库,或从JDK的安装目录的jre/lib/ext子目录(扩展目录)下加载类库。如果用户创建的JAR放在此目录下,也会自动由扩展类加载器加载

4.4 应用程序类加载器(系统类加载器,AppClassLoader)

  • Java语言编写,由sun.misc.Launcher$AppClassLoader实现;
  • 派生于ClassLoader类;
  • 父类加载器为扩展类加载器;
  • 它负责加载环境变量classpath或系统属性java.class.path指定路径下的类库;
  • 该类加载是程序中默认的类加载器,一般来说,Java应用的类都是由它来完成加载;
  • 通过ClassLoader#getSystemClassLoader()方法可以获取到该类加载器



4.5 用户自定义类加载器

在Java的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。

自定义类加载器目的

  • 隔离加载类
  • 修改类加载方式
  • 扩展加载源
  • 防止源码泄露

自定义类加载器步骤

  1. 开发人员可以通过继承抽象类java.lang.ClassLoader类的方式,实现自己的类加载器,以满足一些特殊需求;
  2. 在JDK1.2之前,在自定义类加载器时,总会去继承ClassLoader类并重写loadClass()方法,从而实现自定义的类加载类,但是在JDK1.2之后已不再建议用户去覆盖loadClass()方法,而是建议把自定义的类加载逻辑写在findClass()方法中;
  3. 在编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承URLClassLoader类,这样就可以避免自己去编写findClass()方法及其获取字节码流的方式,使自定义类加载器编写更加简洁

4.6 关于ClassLoader

ClassLoader类是一个抽象类,其后所有的类加载器都继承自ClassLoader(不包括启动类加载器)

方法名称

描述

getParent()

返回该类加载器的超类加载器

loadClass(String name)

加载名为name的类,返回结果为java.lang.Class类的实例

findClass(String name)

查找名为name的类,返回结果为java.lang.Class类的实例

findLoadedClass(String name)

查找名为name的已经被加载过的类,返回结果为java.lang.Class类的实例

defineClass(String name, byte[] b, int off, int len

把字节数组b中的内容转换为一个Java类,返回结果为java.lang.Class类的实例

resolveClass(Class<?> c)

连接指定的一个Java类


5. 双亲委派机制

Java虚拟机对class文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的class文件加载到内存生成class对象。而且加载某个类的class文件时,Java虚拟机采用的是双亲委派模式,即把请求交由父类处理,它是一种任务委派模式。

5.1 工作原理

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

5.2 沙箱安全机制

例如我们自定义包为java.lang并创建同名String.java,执行main方法,则会报错如下:

自定义String类,但是在加载自定义String类的时候会率先使用引导类加载器加载,而引导类加载器在加载的过程中会先加载jdk自带的文件(rt.jar包中的java\lang\String.class),报错信息说没有main方法,就是因为加载的是rt.jar包中的String类,这样可以保证对java核心源代码的保护。这就是沙箱安全机制

如果我们在自定义java.lang包下创建其他不在rt.jar包下定义的class,则会报错如下:

5.3 优势

  • 避免类的重复加载
  • 保护程序安全,防止核心API被随意篡改

6. 其他

两个class对象是否为同一个类的两个必要条件:

  • 类的完整类名必须一致,包括包名;
  • 加载这个类的ClassLoader(指ClassLoader实例对象)必须相同;换句话说,在JVM中,即使这两个类对象(class对象)来源同一个class文件,被同一个虚拟机所加载,但只要加载他们的ClassLoader实例对象不同,那么这两个类也是不相等的

对类加载器的引用

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

类的主动使用和被动使用

  • 主动使用(分为7种情况)
  1. 创建类的实例
  2. 访问某个类或接口的静态变量,或对该静态变量赋值
  3. 调用类的静态方法
  4. 反射,比如Class.forName("com.nasuf.test")
  5. 初始化一个类的子类
  6. Java虚拟机启动时被标明为启动类的类
  7. JDK 7 开始提供的动态语言支持:java.lang.invoke.MethodHandle实例的解析结果REF_getStatic, REF_putStatic, REF_invokeStatic句柄对应的类没有初始化,则初始化

除了以上七种情况,其他使用Java类的方式都被看做是对类的被动使用,都不会导致类的初始化(即上文中提到的类加载过程中的初始化环节)

发表评论:

控制面板
您好,欢迎到访网站!
  查看权限
网站分类
最新留言
    友情链接