虚拟机类加载机制

k00baa 发布于2019-08-19 11:05 / 674人阅读

摘要：加载阶段在类的加载阶段，虚拟机需要完成以下件事情通过一个类的全限定名来获取定义此类的二进制字节流。验证阶段验证是连接阶段的第一步，这一阶段的目的是为了确保文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。

注：本篇文章中的内容是根据《深入理解Java虚拟机--JVM高级特性与最佳实践》而总结的，如有理解错误，欢迎大家指正！

虚拟机把描述类的数据从Class文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机之间使用的Java类型，这就是虚拟机的类加载机制。

类的生命周期

类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括：加载、验证、准备、解析、初始化、使用、卸载7个阶段，其中验证、准备、解析3个部分被称为接连。

什么时候需要对类进行初始化

什么情况下需要对类进行加载，Java虚拟机规范中并没有进行强制约束，但虚拟机规范中却严格规定类有且只有5中情况必须立即对类进行初始化（而加载、验证等自然而然需要在此之前开始）。

遇到new、getstatic、putstatic、invokestatic这四条字节码指令时，如果类没有进行过初始化，则需要先出发其初始化。这四条指令最常见的场景是：使用new关键字实例化对象的时候、读取或者设置一个类的静态字段的时候、以及调用一个类的静态方法的时候。

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

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

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

当使用JDK1.7的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果是REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄并且这个方法句柄所对应的类还没有进行初始化，则需要先触发其初始化。

加载阶段

在类的加载阶段，虚拟机需要完成以下3件事情：

通过一个类的全限定名来获取定义此类的二进制字节流。

将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。

在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问接口。

验证阶段

验证是连接阶段的第一步，这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。验证阶段大致上会完成下面4个阶段的检查动作：

文件格式验证
主要是语法校验，例如是否以魔数0xCAFEBASE开头、常量池中是否有不被支持的常量类型等。

元数据验证
对类的元数据进行语义校验，保证不存在不符合Java语言规范的元数据信息。例如这个类是否有父类、这个父类是否继承了不允许被继承的类、如果这个类不是抽象类，是否实现了其父类或者接口之中要求实现的所有方法等。

字节码验证
通过数据流和控制流分析，确定程序语义是否合法。例如保证指令不会跳转到方法体以外的字节码指令上、保证方法体中的类型转换是有效的等。

符号引用验证
确保解析动作能够正常执行。例如引用中通过字符串描述的全限定名是否能够找到对应的类、符号引用中的类、字段、方法的访问性（private、protected、public、default）是否可被当前类访问等。

准备阶段

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配。有两点需要注意：首先，这个时候进行内存分配的仅包含类变量（被static修饰的变量），而不包含实例变量，实例变量将会在对象实例化时随着对象一起分配在Java堆上中；其次，这里所说的初始值通常情况下时数据类型的零值。例如

public static int value = 1;

那变量value在准备阶段过后的初始值为0，而不是1。在初始化阶段，才会把1赋值给value。

解析阶段

解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。符号引用以一组符号来描述所引用的目标，它和虚拟机的内存布局无关；直接引用可以是直接指向目标的指针、相对偏移量或者一个能间接定位到目标的句柄。直接引用是和虚拟机实现的内存布局有关。

初始化阶段

初始化阶段是类加载过程的最后一步。在准备阶段，类变量已经赋过一次系统要求的初始值，而在初始化阶段，则根据程序员通过程序定制的主观计划去初始化类变量和其他资源，或者可以从另外一个角度表达：初始化阶段是执行类构造器()方法的过程。

()方法是由编译器自动收集类中的所有变量的赋值动作和静态语句块中的语句合并产生的，编译器收集的顺序是由语句在源文件中出现的顺序所决定的，静态语句块中只能访问到定义在静态语句块之前的类变量，定义在它之后的类变量，在静态语句块中可以赋值，但不可以访问。

()方法与实例构造器()方法不同，它不需要显示的调用父类构造器，虚拟机会保证在子类的()方法执行之前，父类的()方法已经执行完毕，因此在虚拟机中，第一个被执行的()方法肯定是java.lang.Object。

由于父类的()方法先执行，也就意味着父类中定义的静态语句块要优先于子类的类变量赋值操作。

()方法对于类或者接口来说并不是必需的，如果一个类中没有静态语句块，也没有对类变量的赋值操作，那么编译器就不会为这个类生成()方法。

接口中不能有静态语句块，但可以有类变量的赋值操作，因此接口和类都会生出()方法，但执行接口中的()方法不需要先执行父类的()方法，只有当子接口使用类父接口的变量时，父接口才会初始化，另外，接口的实现类也不需要在初始化的时候执行接口的()方法。

虚拟机会保证一个类的()方法在多线程环境中被正确的加锁、同步，如果多个线程同时去初始化一个类，那么只有一个线程去执行这个类的()方法，其他线程阻塞等待。

类加载器

类加载器除了用于实现类的加载动作外，还起到了命名空间的作用。对于任何一个类来说，都需要有加载它的类加载器和这个类本身一同确立其在Java虚拟机中的唯一性，每一个类加载器，都拥有一个独立的类名称空间。

类加载器的双亲委派模型

启动类加载器：它使用C++语言实现，主要负责将存放在lib目录下的类库加载到虚拟机内存中。

扩展类加载器：它使用Java语言实现，主要负责加载libext目录下的类库。

应用程序类加载器：它使用Java语言实现，它负责加载用户类路径上所指定的类库。如果应用程序中没有自定义类加载器，一般情况下，这个就是程序中默认的类加载器。

自定义类加载器：开发者自定义的类加载器。

双亲委派模型要求除了顶层的启动类加载器之外，其余的类加载器都应当有父类加载器。这里的父子关系不是以继承来实现的，而是用组合的方式来实现。双亲委派模型的工作过程为：如果一个类加载器收到了类加载的请求，它首先不会自己尝试加载该类，而是把这个请求委派给父类加载器去完成，每个层次的类加载器都是如此，因此所有的加载请求最终都会被传送到启动类加载器中，只有当父类加载器反馈自己无法完成这个加载请求时，子加载器才会尝试自己去加载。

使用双亲委派模型的好处就是Java类随着它的加载器一起具备类一种带有优先级的层次关系。例如类java.lang.object，它存放在rt.jar中，无论哪个类加载器要加载这个类，最终都委派给最顶层的启动类加载器进行加载，因此Object类在程序的各种类加载器环境中都是同一个类。相反，如果没有双亲委派模型，由各个类加载器自行去加载的话，如果用户自己编写了一个java.lang.Object的类，并放在程序的ClassPath中，那系统中将会出现多个不同的Object类，Java类型体系中最基础的行为也就无法保证。应用程序也将变得一片混乱。

服务器托管云服务器加载机制配置加载机制类加载机制异步模块加载机制-amd

文章版权归作者所有，未经允许请勿转载,若此文章存在违规行为，您可以联系管理员删除。

转载请注明本文地址：https://www.ucloud.cn/yun/76969.html

虚拟机类加载机制（读书笔记）

摘要：类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括加载验证准备解析初始化使用和卸载类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括：加载（Loading）、验证（verification）、准备（preparation）、解析（resolution）、初始化（initialization）、使用（using）和卸载（unloading）

stormjun 2019-08-14 15:15 评论0 收藏0
深入理解Java虚拟机05--虚拟机类加载机制

摘要：我们甚至可以从网络或者其他的地方加载一个二进制流作为程序的一部分。对于任何一个类，我们通过类和这个类的加载器共同确定在中的唯一性，为了保证父类和子类的层次关系。一.前言　　我们一定心里有个疑问，我们那个多态是怎么回事？我们指定的一个接口，却可以等到运行时可以对应于不同的实现类。这是因为，Java有个特性就是依赖运行期动态加载和动态连接，这样实现了Java可以动态进行扩展。我们甚至可以从网络或...

yanbingyun1990 2019-04-23 17:11 评论0 收藏0
JAVA 虚拟机类加载机制和字节码执行引擎

摘要：实现这个口号的就是可以运行在不同平台上的虚拟机和与平台无关的字节码。类加载过程加载加载是类加载的第一个阶段，虚拟机要完成以下三个过程通过类的全限定名获取定义此类的二进制字节流。验证目的是确保文件字节流信息符合虚拟机的要求。引言我们知道java代码编译后生成的是字节码，那虚拟机是如何加载这些class字节码文件的呢？加载之后又是如何进行方法调用的呢？一类文件结构无关性基石 ja...

RichardXG 2019-08-14 12:19 评论0 收藏0
深入理解虚拟机之虚拟机类加载机制

摘要：最终形成可以被虚拟机最直接使用的类型的过程就是虚拟机的类加载机制。即重写一个类加载器的方法验证验证是连接阶段的第一步，这一阶段的目的是为了确保文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。《深入理解Java虚拟机：JVM高级特性与最佳实践（第二版》读书笔记与常见相关面试题总结本节常见面试题（推荐带着问题阅读，问题答案在文中都有提到）：简单说说类加载过...

MadPecker 2019-08-15 15:57 评论0 收藏0
Java虚拟机类加载过程

摘要：二验证验证主要是为了确保文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机的自身安全。五初始化类的初始化阶段是类加载过程的最后一步，该阶段才真正开始执行类中定义的程序代码或者说是字节码。关注我，每天三分钟，带你轻松掌握一个Java相关知识点。虚拟机（JVM）经常出现在我们面试中，但是工作中却很少遇到，导致很多同学没有去了解过。其实除了应付面试，作为java程序员，了解...

lentoo 2019-08-16 18:32 评论0 收藏0