JVM类加载机制

目录

一、概述:

二. 类加载的时机

        加载:

        验证:

        准备:

        解析:

        初始化:

 主动引用

         被动引用

  三、类加载器   

3.1、概述:

3.2、类加载双亲委派机制

3.3、OSGI(动态模型系统)

四、类加载过程

Loading(加载)

Linking(连接)

Verification(验证)

Preparation(准备)

Resolution(解析)

Initialization(初始化)

Using(使用)

Unloading(卸载)


一、概述:

        Java虚拟机把描述类的数据从Class文件加载到内存, 并对数据进行校验、转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型,这个过程被称为虚拟机的类加载机制;在Java语言里类的加载、连接、初始化过程都是在程序运行期间完成的,这种策略让稍微影响一些性能,但是对Java应用提供了极高的扩展性和灵活性,Java天生可以动态扩展的语言特性就是依赖运行时动态加载、动态链接这个特点实现的。

  • 虚拟机什么时候才会加载Class文件并初始化类呢?

  • 虚拟机如何加载一个Class文件呢?

  • 虚拟机加载一个Class文件要经历那些具体的步骤呢?

二. 类加载的时机

    Java类从被加载到虚拟机内存中开始,到卸载出内存为止,它的整个生命周期包括:加载(Loading)、验证(Verification)、准备(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using) 和 卸载(Unloading)七个阶段。其中准备、验证、解析3个部分统称为连接(Linking),如下图:

  

        加载:


        加载是类加载过程中的一个阶段,这个阶段会在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的入口。注意这里不一定非得要从一个Class文件获取,这里既可以从ZIP包中读取(比如从jar包和war包中读取),也可以在运行时计算生成(动态代理),也可以由其它文件生成(比如将JSP文件转换成对应的Class类)。类什么时候加载,虚拟机规范中并没有对此进行强制约束,这点可以交给虚拟机的具体实现来自由把握。

        验证:


        这一阶段的主要目的是为了确保Class文件的字节流中包含的信息是否符合当前虚拟机的要求,并且不会危害虚拟机自身的安全

        准备:


        准备阶段是正式为类变量分配内存并设置类变量的初始值阶段,即在方法区中分配这些变量所使用的内存空间。注意这里所说的初始值概念,比如一个类变量定义为:public static  int x = 999;实际上变量x在准备阶段过后的初始值为0而不是999,将x赋值为999的put static指令是程序被编译后,存放于类构造器<client>方法之中。但是注意如果声明为:public static final int x = 999;在编译阶段会为x生成ConstantValue属性,在准备阶段虚拟机会根据ConstantValue属性将x赋值为999。


        解析:


        解析阶段是指虚拟机将常量池中的符号引用替换为直接引用的过程。

        符号引用就是class文件中的: CONSTANT_Class_info、CONSTANT_Field_info、CONSTANT_Method_info等类型的常量。

        1、符号引用:
        符号引用与虚拟机实现的布局无关,引用的目标并不一定要已经加载到内存中。各种虚拟机实现的内存布局可以各不相同,但是它们能接受的符号引用必须是一致的,因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。
        2、直接引用:
        直接引用可以是指向目标的指针,相对偏移量或是一个能间接定位到目标的句柄。如果有了直接引用,那引用的目标必定已经在内存中存在。

        初始化:


        初始化阶段是类加载最后一个阶段,前面的类加载阶段之后,除了在加载阶段可以自定义类加载器以外,其它操作都由JVM主导。到了初始阶段,才开始真正执行类中定义的Java程序代码。那么,什么情况下虚拟机需要开始初始化一个类呢?这在虚拟机规范中是有严格规定的,虚拟机规范指明 有且只有 五种情况必须立即对类进行初始化(而这一过程自然发生在加载、验证、准备之后):

        主动引用

  1) 遇到new、getstatic、putstatic或invokestatic这四条字节码指令时,如果类没有进行过初始化,则需要先对其进行初始化。生成这四条指令的最常见的Java代码场景是:

           使用new关键字实例化对象的时候;

           读取或设置一个类的静态字段(被final修饰,已在编译器把结果放入常量池的静态字段除外)的时候;

           调用一个类的静态方法的时候。

   2) 使用java.lang.reflect包的方法对类进行反射调用的时候,如果类没有进行过初始化,则需要先触发其初始化。

   3) 当初始化一个类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。

   4) 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。

   5) 当使用jdk1.7动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getstatic,REF_putstatic,REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行初始化,则需要先出触发其初始化。

       被动引用

       以下几种情况不会执行类初始化:

  • 通过子类引用父类的静态字段,只会触发父类的初始化,而不会触发子类的初始化。
  • 定义对象数组,不会触发该类的初始化。
  • 常量在编译期间会存入调用类的常量池中,本质上并没有直接引用定义常量的类,不会触 发定义常量所在的类。
  • 通过类名获取Class对象,不会触发类的初始化。
  • 通过Class.forName加载指定类时,如果指定参数initialize为false时,也不会触发类初始化,其实这个参数是告诉虚拟机,是否要对类进行初始化。
  • 通过ClassLoader默认的loadClass方法,也不会触发初始化动作。

     

  三、类加载器   

   3.1、概述:

           

          虚拟机设计团队把加载动作放到JVM外部实现,以便让应用程序决定如何获取所需的类,JVM提供了3种类加载器:
启动类加载器(Bootstrap ClassLoader):负责加载JAVA_HOME\lib目录中的,或通过-Xbootclasspath参数指定路径中的,且被虚拟机认可(按文件名识别,如rt.jar)的类。开发者可通过 System.getProperty("sun.boot.class.path")查看由启动类加载器加载到  的路径;

扩展类加载器(Extension ClassLoader):负责加载JAVA_HOME\lib\ext 目录中的,或通过java.ext.dirs系统变量指定路径中的类库。开发者可以通过System.getProperty("java.ext.dirs")查看扩展类加载器加载到的路径

应用程序类加载器(Application ClassLoader):负责将用户类路径(java -classpath或-Djava.class.path变量所指的目录加载到内存中。可通过System.getProperty("java.class.path")查看由系统类加载器加载到的路径

JVM通过双亲委派模型进行类的加载,当然我们也可以通过继承java.lang.ClassLoader实现自定义的类加载器。

 

3.2、类加载双亲委派机制

        当一个类收到了类加载请求,他首先不会尝试自己去加载这个类,而是把这个请求委派给父类去完成,每一个层次类加载器都是如此,因此所有的加载请求都应该传送到启动类加载其中,只有当父类加载器反馈自己无法完成这个请求的时候(在它的加载路径下没有找到所需加载的Class),子类加载器才会尝试自己去加载。采用双亲委派的一个好处是比如加载位于rt.jar包中的类java.lang.Object,不管是哪个加载器加载这个类,最终都是委托给顶层的启动类加载器进行加载,这样就保证了使用不同的类加载器最终得到的都是同样一个Object对象。

        

 

3.3、OSGI(动态模型系统)

OSGi(Open Service Gateway Initiative),是面向Java的动态模型系统,是Java动态化模块化系统的一系列规范。
动态改变构造
OSGi服务平台提供在多种网络设备上无需重启的动态改变构造的功能。为了最小化耦合度和促使这些耦合度可管理,OSGi技术提供一种面向服务的架构,它能使这些组件动态地发现对方。
模块化编程与热插拔
OSGi旨在为实现Java程序的模块化编程提供基础条件,基于OSGi的程序很可能可以实现模块级的热插拔功能,当程序升级更新时,可以只停用、重新安装然后启动程序的其中一部分,这对企业级程序开发来说是非常具有诱惑力的特性。
OSGi描绘了一个很美好的模块化开发目标,而且定义了实现这个目标的所需要服务与架构,同时也有成熟的框架进行实现支持。但并非所有的应用都适合采用OSGi作为基础架构,它在提供强大功能同时,也引入了额外的复杂度,因为它不遵守了类加载的双亲委托模型。

四、类加载过程

     JVM在加载、验证、准备、解析和初始化五个阶段是如何对每个类进行操作的

file

Loading(加载)

通过加载Class文件二进制字节数据并将其映射成程序可读 Class 对象结构

加载流程大致经历以下步骤:

  1. 通过类的全限定名来获取定义类的二进制字节流,字节流可来源于任何地方,不局限于从Java源码编译而来,比如网络传输。
  2. 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构;
  3. 在内存中生成一个代表该类的 java.lang.Class 对象,作为方法区这个类的各种数据访问入口。

    这个阶段的工作由类加载器控制字节流的获取方法来完成,但是数组类是由虚拟机直接创建,但是其元素类型还是需要类加载器加载。

Linking(连接)

连接阶段包含 Verification (验证),Preparation(准备) 和 Resolution(解析)。该阶段的部分步骤可能存在加载流程中。

下面三个流程启动是按照前后顺序的,但是每个流程之间可能会出现重叠。

Verification(验证)

确保Class文件的字节流中包含的信息符合当前虚拟机的要求并且不会危害虚拟机

校验内容大致分成 4 个部分

  1. 文件格式验证。 主要用于校验字节流是否符合Class文件格式的规范。校验内容也包含 是否以魔术OxCAFEBABE开头主次版本号是否在当前虚拟机处理范围之内 等等。字节码只有经过这个阶段的校验后才会进入方法区存储结构。

  2. 元数据验证。主要用于校验类的元数据信息语义是否正常,保证不存在不符合Java语言规范的元数据信息。比如除了 java.lang.Object 之外的类是否有父类;如果不是抽象类是否实现了其父类或者接口中要求子类覆盖实现的所有方法等。

  3. 字节码验证。主要通过数据流和控制流分析,确定程序语义是否合法合理,针对类的方法体进行校验分析,保证方法在运行时不会作出危害虚拟机安全的事件。比如保证跳转指针不会跳转到方法体外的字节码指令上;保证任意时刻操作栈的数据类型和指令代码序列都能配合工作,不会出现栈顶放一个 int 类型却按照 long 类型加载到本地变量表中等。

  4. 符号引用验证。发生在虚拟机将符号引用转化为直接引用(解析阶段)时进行校验。校验的内容不局限于符号引用中通过字符串描述的全限定名是否能找到对应的类;在指定类中是否存在符合方法的字段描述符及简单名称所描述的方法和字段等。确保解析阶段中解析行为能正常执行。

Preparation(准备)

为类变量分配内存并设置类变量初始值

比如声明以下静态变量

public static int x = 1111;
public static final int y = 299;

Resolution(解析)

解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行。

Initialization(初始化)

执行类中定义的Java代码,根据程序定义的计划来初始化类变量和其他资源

初始化阶段是执行类构造器<client>方法的过程。<client>方法是由编译器自动收集类中的类变量的赋值操作和静态语句块中的语句合并而成的,编译器收集的顺序是由语句在源文件中出现的顺序所决定的,静态语句块只能访问到定义在静态语句块之前的变量,定义在它之后的变量,在前面的静态语句块可以赋值,但是不能访问。

虚拟机会保证子<client>方法执行之前,父类的<client>方法已经执行完毕,如果一个类中没有对静态变量赋值也没有静态语句块,那么编译器可以不为这个类生成<client>()方法。

clinit方法是一个线程安全的操作,能保证多线程环境下被正确地加锁,同步。如果多个线程同时初始化一个类,则只有一个线程去执行并且其他线程需要阻塞等待。

Using(使用)

类的使用阶段,即类的Class对象存在之后到被卸载之前的这段时间。这个阶段程序可能产生大量的类的实例对象并执行对象行为。 哪怕内存中没有任何类的实例对象也不一定会被卸载。

Unloading(卸载)

类被加载之后, Class 和 Meta 信息会被存放在PermGen space区域, 该区域在程序运行期间一般是永久保存的。

如果想要卸载一个类, 必须满足以下三个条件。

  1. 该类所有的实例都已被 GC 回收;
  2. 加载该类的 ClassLoader 实例已被 GC 回收;
  3. 该类的 java.lang.Class 对象没被引用。

注释:Meta, 即元数据, 是针对程序中的方法, 字段,类,包等元素进行描述的数据。常见的 Anotation 就是元数据.

 

  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值