首页 > 其他分享 >虚拟机类加载机制

虚拟机类加载机制

时间:2024-10-03 17:45:05浏览次数:1  
标签:虚拟机 接口 引用 机制 解析 方法 加载

1. 类加载时机

一个类型(接口/类)从被加载到虚拟机内存中开始,到卸载出内存为止,它的整个生命周期将历加载、验证、准备、解析、初始化、使用和卸载七个阶段,其中验证、准备、解析三个部分统称为连接(Linking)。
加载、验证、准备、初始化和卸载这五个阶段的顺序是确定的,类型的加载过程必须按照这种顺序按部就班地开始,而解析阶段则不一定:它在某些情况下可以在初始化阶段之后再开始,这是为了支持Java语言的运行时绑定特性。请注意,这些阶段通常都是互相交叉地混合进行的,会在一个阶段执行的过程中调用、激活另一个阶段。

关于在什么情况下需要开始类加载过程的第一个阶段“加载”,《Java虚拟机规范》中并没有进行强制约束,这点可以交给虚拟机的具体实现来自由把握。但是对于初始化阶段《Java虚拟机规范》则是严格规定了有且只有六种情况必须立即对类进行“初始化”(而加载、验证、准备自然需要在此之前开始):

  1. 遇到new、getstatic、putstatic 或invokestatic这四条字节码指令时,如果类型没有进行过初始化,则需要先触发其初始化阶段。能够生成这四条指令的典型Java代码场景有:
    • 使用new 关键字实例化对象的时候。
    • 读取或设置一个类型的静态字段(被final修饰、已在编译期把结果放人常量池的静态字段除外)的时候。
    • 调用一个类型的静态方法的时候。
  2. 使用java.lang.reflect包的方法对类型进行反射调用的时候,如果类型没有进行过初始化,则需要先触发其初始化。
  3. 当初始化类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。(但是一个接口在初始化时,并不要求其父接口全部都完成了初始化在,只有在真正使用到父接口的时候(如引用接口中定义的常量)才会初始化。)
  4. 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。
  5. 当使用JDK7新加人的动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果为REF_getStatic、REF_putStatic、REF_invokeStatic、REF_newInvokeSpecial
    四种类型的方法句柄,并且这个方法句柄对应的类没有进行过初始化,则需要先触发其初始化。
  6. 当一个接口中定义了JDK8新加人的默认方法(被default 关键字修饰的接口方法时,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。

2. 类加载的过程

类加载的过程,主要包括了加载,验证,准备,解析和初始化。

2.1 加载

“加载”阶段是整个“类加载”过程中的一个阶段。在加载阶段,Java虚拟机需要完成以下三件事情:
1)通过一个类的全限定名来获取定义此类的二进制字节流。
2)将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
3)在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问人口。
加载阶段既可以使用Java虚拟机里内置的引导类加载器来完成,也可以由用户自定义的类加载器去完成,开发人员通过定义自己的类加载器去控制字节流的获取方式(重写一个类加载器的findClass( )或loadClass( )方法),实现根据自己的想法来赋予应用程序获取运行代码的动态性。
对于数组类而言,情况就有所不同,数组类本身不通过类加载器创建,它是由Java虚拟机直接在内存中动态构造出来的。但数组类与类加载器仍然有很密切的关系,因为数组类的元素类型(指的是数组去掉所有维度的类型)最终还是要靠类加载器完成加载,一个数组类创建过程遵循以下规则:

  1. 如果数组的组件类型(指的是数组去掉一个维度的类型)是引用类型,那就递归采用定义的加载过程去加载这个组件类型,数组类将被标识在加载该组件类型的类加载器的类名称空间上
    (这点很重要,一个类型必须与类加载器一起确定唯一性)。

  2. 如果数组的组件类型不是引用类型(例如int[]数组的组件类型为int),Java虚拟机将会把数组类标记为与引导类加载器关联。

  3. 数组类的可访问性与它的组件类型的可访问性一致,如果组件类型不是引用类型,它的数组类的可访问性将默认为public,可被所有的类和接口访问到。

加载阶段结束后,Java虚拟机外部的二进制字节流就按照虚拟机所设定的格式存储在方法区之中了。类型数据妥善安置在方法区之后,会在Java堆内存中实例化一个java.lang.Class类的对象,这个对象将作为程序访问方法区中的类型数据的外部接口。

加载阶段与连接阶段的部分动作(如一部分字节码文件格式验证动作)是交叉进行的,加载阶段尚未完成,连接阶段可能已经开始,但这些夹在加载阶段之中进行的动作,仍然属于连接阶段的一部分,这两个阶段的开始时间仍然保持着固定的先后顺序。

2.2 验证

验证是连接阶段的第一步,这一阶段的目的是确保Class 文件的字节流中包含的信息符合《Java虚拟机规范》的全部约束要求,保证这些信息被当作代码运行后不会危害虚拟机自身的安全。

验证阶段大致上会完成下面四个阶段的检验动作:文件格式验证,元数据校验、字节码验证和符号引用验证。

  1. 文件格式验证:
    第一阶段要验证字节流是否符合Class文件格式的规范,并且能被当前版本的虚拟机处理。主要目的是保证输入的字节流能正确地解析并存储于方法区之内,格式上符合描述一个Java类型信息的要求。这阶段的验证是基于二进制字节流进行的,只有通过了这个阶段的验证之后,这段字节流才被允许进入Java虚拟机内存的方法区中进行存储,所以后面的三个验证阶段全部是基于方法区的存储结构上进行的,不会再直接读取、操作字节流了。

  2. 元数据验证
    第二阶段是对字节码描述的信息进行语义分析,以保证其描述的信息符合《Java语言规范》的要求。

  3. 字节码验证:

    第三阶段主要目的是通过数据流分析和控制流分析、确定程序语义是合法的、符合逻辑的。在第二阶段对元数据信息中的数据类型校验完毕后。这阶段就要对类的方法体(Class文件中的Code属性)进行校验分析,保证被校验类的方法在运行时不会做出危害虚拟机安全的行为。

  4. 符号引用验证:

    最后一个阶段的校验行为发生在虚拟机将符号引用转化为直接引用的时候,这个转化动作将在连接的第三阶段--解析中发生。符号引用验证可以看作是对类自身以外(常量池中的各种符号引用)的各类信息进行匹配性校验,通俗来说就是,该类是否缺少或者被禁止访间它依赖的某些外部类、方法、字段等资源。

    验证阶段对于虚拟机的类加载机制来说,是一个非常重要的、但却不是必须要执行的阶段,因为验证阶段只有通过或者不通过的差别,只要通过了验证,其后就对程序运行期没有任何影响了。如果程序运行的全部代码(包括自己编写的、第三方包中的、从外部加载
    的、动态生成的等所有代码)都已经被反复使用和验证过,在生产环境的实施阶段就可以考虑使用-Xveify:none 参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。

2.3 准备

准备阶段是正式为类中定义的变量(即静态变量,被static修饰的变量)分配内存并设置类变量初始值的阶段、从概念上进,这些变量所使用的内存都应当在方法区中进行分配,但必须注意到方法区本身是一个逻辑上的区域,在JDK7及之前,HotSpot使用永久代来实现方法区时、实现是完全符合这种逻辑概念的;而在JDK8及之后,类变量则会随着Class对象一起存放在Java堆中,这时候“类变量在方法区”就完全是一种对逻辑概念的表述了。

这时候进行内存分配的仅包括类变量,而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在Java堆中。

这里所说的初始值“通常情况”下是数据类型的零值,

例外:
对于 public static final int value =123;
编译时Javac将会为value生成ConstantValue属性,在准备阶段虚拟机就会根据ConstantValue 将value 赋值为 123。

2.4 解析

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

符号引用(Symbolic References):符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关,引用的目标并不一定是已经加载到虚报机内存当中的内容。各种虚报机实现的内存布局可以各不相同,但是它们能接受的符号引用必须都是一致的、因为符号引用的字面量形式明确定义在《Java虚拟机规范》的Class文件格式中。

直接引用(DirectReferences):直接引用是可以直接指向目标的指针、相对偏移量或者是一个能间接定位到目标的句柄。直接引用是和虚拟机实现的内存布局直接相关的,同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同、如果有了直接引用,那引用的目标必定已经在虚拟机的内存中存在。

对同一个符号引用进行多次解析请求是很常见的事情,除invokedymamic指令以外,虚拟机实现可以对第一次解析的结果进行缓存,譬如在运行时直接引用常量池中的记录,并把常量标识为已解析状态,从而避免解析动作重复进行。无论是否真正执行了多次解析动作,Java虚拟机都需要保证的是在同一个实体中,如果一个符号引用之前已经被成功解材过,那么后续的引用解析请求就应当一直能够成功;同样地,如果第一次解析失败了。其他指令对这个符号的解析请求也应该收到相同的异常,哪怕这个请求的符号在后来已成功加载进 Java 虚拟机内存之中。

不过对于invokedynamic指令,上面的规则就不成立了。当碰到某个前面已经由imvokedypamic指令触发过解析的符号引用时,并不意味着这个解析结果对于其他invokedynamic指令也同样生效。因为invokedynamic指令的目的本来就是用于动态语言支持,它对应的引用称为“动态调用点限定符(Dynamically-Computed CallSite Spceiier)“这里“动态”的含义是指必须等到程序实际运行到这条指令时,解析动作才能进行。相对地,其余可触发解析的指令都是“静态”的,可以在刚刚完成加载阶段,还没有开始执行代码时就提前进行解析

解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符这7类符号引用进行的。

  1. 类或接口的解析
    假设当前代码所处的类为D,如果要把一个从未解析过的符号引用N解析为一个类或接口C的直接引用,那虚拟机完成整个解析的过程需要包括以下3个步骤:
    1)如果C不是一个数组类型,那虚拟机将会把代表N的全限定名传递给D的类加载器去加载这个类C。在加载过程中,由于元数据验证、字节码验证的需要,又可能触发其他相关类的加载动作,例如加载这个类的父类或实现的接口。一旦这个加载过程出现了何异常,解析过程就将宣告失败。
    2)如果C是一个数组类型,并且数组的元素类型为对象,那将会按照第一点的规则加载数组元素类型。接着由虚拟机生成一个代表该数组维度和元素的数组对象。
    3)如果上面两步没有出现任何异常,那么C在虚拟机中实际上已经成为一个有效的类或接口了,但在解析完成前还要进行符号引用验证,确认D是否具备对C的访问权限。如果发现不具备访问权限,将抛出java.lang.llegalAccessError异常。

    针对上面第3点访问权限验证,在JDK9引人了模块化以后,一个public类型也不意味着程序任何位置都有它的访问权限,我们还必须检查模块间的访问权限。
    如果我们说一个D拥有C的访问权限,那就意味着以下3条规则中至少有其中一条成立

    1. 被访问类C是public的,并且与访问类D处于同一个模块。
    2. 被访问类C是public的,不与访问类D处于同一个模块,但是被访问类C的模块允许被访问类D的模块进行访问。
    3. 被访问类C不是 public 的,但是它与访问类D 处于同一个包中,
  2. 字段解析
    要解析一个未被解析过的字段符号引用,首先会解析字段所属的类或接口的符号引用。如果在解析这个类或接口符号引用的过程中出现了任何异常,都会导致字段符号引用解析的失败。如果解析成功完成,那把这个字段所属的类或接口用C表示,《Java虚拟机规范》要求按照如下步骤对C进行后续字段的搜索:
    1)如果C本身就包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
    2)否则,如果在C中实现了接口,将会按照继承关系从下往上递归搜索各个接口和它的父接口,如果接口中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
    3)否则,如果C不是java.lang.Object的话,将会按照继承关系从下往上递归搜索其父类、如果在父类中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束。
    4)否则,查找失败,抛出java.lang.NoSuchFieldError异常

    ​ 如果查找过程成功返回了引用,将会对这个字段进行权限验证,如果发现不具备对字
    段的访问权限,将抛出java.lang.lllegalAccessError异常。

  3. 方法解析
    方法解析的第一个步骤与字段解析一样,也是需要先解析出方法所属的类或接口的符号引用,如果解析成功,那么我们依然用C表示这个类,接下来虚拟机将会按照如下步骤进行后续的方法搜索:
    1)由于Class 文件格式中类的方法和接口的方法符号引用的常量类型定义是分开的,如果在类的方法表中发现是个接口的话,那就直接抛出java.lang.IncompatibleClassChangeError异常。
    2)如果通过了第一步,在类C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
    3)否则,在类C的父类中递归查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
    4)否则,在类C实现的接口列表及它们的父接口之中递归查找是否有简单名称和描述符都与目标相匹配的方法,如果存在匹配的方法,说明类C是一个抽象类,这时候查找结束,抛出java.lang.AbstractMethodError异常。
    5)否则,宣告方法查找失败,抛出java.lang.NoSuchMethodError。
    最后,如果查找过程成功返回了直接引用,将会对这个方法进行权限验证,如果发不具备对此方法的访问权限,将抛出java.lang.IllegalAccessError 异常。

  4. 接口方法解析

    接口方法也是需要先解析出接口方法所属的类或接口的符号引用,如果解析成功,依然用C表示这个接口,接下来虚拟机将会按照如下步骤进行后续的接口方法搜索:
    1)与类的方法解析相反,如果发现C是个类而不是接口,那么就直接抛出 java.lang.IneompatibleClassChangeEror 异常。
    2)否则,在接口C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
    3)否则,在接口C的父接口中递归查找,直到java.lang.Object类(接口方法的查找范围也会包括 Object 类中的方法)为止,看是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束。
    4)对于规则3,由于Java的接口允许多重继承,如果C的不同父接口中存有多个简单名称和描述符都与目标相匹配的方法,那将会从这多个方法中返回其中一个并结束查找,《Java虚拟机规范》中并没有进一步规则约束应该返回哪一个接口方法。但与之前字段查找
    类似地,不同发行商实现的Javac编译器有可能会按照更严格的约束拒绝编译这种代码来避免不确定性。
    5)否则,宣告方法查找失败,抛出java.lang.NoSuchMethodError 异常。

    在JDK9之前,Java接口中的所有方法都默认是public的,也没有模块化的访问约束,所以不存在访问权限的问题,接口方法的符号解析就不可能抛出java.lang.IllegalAccessError异常。但在JDK9中增加了接口的静态私有方法,也有了模块化的访问约束,所以从JDK9起,接口方法的访问也完全有可能因访问权限控制而出现java.lang.IllegalAccessError 异常。

2.5 初始化

类的初始化阶段是类加载过程的最后一个步骤,之前介绍的几个类加载的动作里,除了在加载阶段用户应用程序可以通过自定义类加载器的方式局部参与外,其余动作都完全由java虚拟机来主导控制。直到初始化阶段,Java虚拟机才真正开始执行类中编写的java程序代码,将主导权移交给应用程序。

进行准备阶段时,变量已经赋过一次系统要求的初始零值,而在初始化阶段,则会根据序员通过程序编码制定的主观计划去初始化类变量和其他资源。我们也可以从另外一种更直接的形式来表达:初始化阶段就是执行类构造器clinit( )方法的过程。clinit( )并不是程序员在Java代码中直接编写的方法,它是Javac编译器的自动生成的。

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

public class Test{
	static{
		i=0; // 给变量复制可以正常编译通过
		System.out.print(i); // 这句编译器会提示“非法向前引用’
        }
    static int i=1;
}

clinit( )方法与类的构造函数(即在虚拟机视角中的实例构造器init( )方法)不同,它不需要显式地调用父类构造器,Java虚拟机会保证在子类的clinit( )方法执行前,父类的clinit( )方法已经执行完毕。因此在Java 虚拟机中第一个被执行clinit( )方法的类型肯定是java.lang.Object。

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

static class Parent(
	public static int A=1;
	static{
		A = 2;
    }
}
static class Sub extends Parent {
	public static intB=A;
}
public static void main(string[]args) {
    System.out.println(Sub.B); // 是2而不是1。
}

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

接口中不能使用静态语句块,但仍然有变量初始化的赋值操作,因此接口与类一样都会生成clinit( )方法。但接口与类不同的是,执行接口的clinit( )方法不需要先执行父接口的clinit( )方法,因为只有当父接口中定义的变量被使用时,父口才会被初始化。此外,接口的实现类在初始化时也一样不会执行接口的clinit( )方法。

Java虚拟机必须保证一个类的clinit( )方法在多线程环境中被正确地枷锁同步,如果多个线程同时去初始化一个类,那么只会有其中一个线程去执行这个类的clinit( )方法,其他线程都需要阻塞等待,直到活动线程执行完clinit( )方法,如果在一个类的clinit()方法中有耗时很长的操作,那就可能造成多个进程阻寒。

// 举个例子
public class Test {

    static class A {
        static {
            if (true){
                System.out.println(Thread.currentThread().getName() + "init class A....");
                while (true){
                    // 耗时操作
                }
            }
        }
    }

    public static void main(String[] args) {
        Runnable runnable = new Runnable() {
            @Override
            public void run() {
                System.out.println(Thread.currentThread() + "start ...");
                A a = new A();
                System.out.println(Thread.currentThread() + "end ...");
            }
        };

        Thread t1 = new Thread(runnable);
        Thread t2 = new Thread(runnable);
        t1.start();
        t2.start();
    }
}

标签:虚拟机,接口,引用,机制,解析,方法,加载
From: https://www.cnblogs.com/strind/p/18445847

相关文章

  • C++数组衰变机制
    inta[10]={};//下面两个式子等价int*p=a;int*p=&a[0];我们在讨论数组的时候经常看到这么一种说法,也就是说,数组名就是指向数组首元素的指针。但是上面这个过程产生了隐式转换,也就是数组衰变过程数组名!=指针数组就是数组,指针就是指针,不能将数组变量名认为是......
  • 爬虫——同步与异步加载
     一、同步加载同步模式--阻塞模式(就是会阻止你浏览器的一个后续加载)停止了后续的解析因此停止了后续的文件加载(图像)比如hifini音乐网站二、异步加载异步加载--xhr(重点)比如腾讯新闻,腾讯招聘等三、同步加载和异步加载的区分1.网页数据返回的方式(数据返回给你客户端......
  • Hadoop详细安装步骤,附带安装完的虚拟机。
    Hadoop集群搭建笔记blibli视频链接:文档和虚拟机(4个多G,比原先的小)分享在最下面,不懂的话发邮件到:[email protected]环境:window11家庭中文版23H2VMware16.1.2镜像:CentOS-7-x86_64-DVD-2009.isojdk:jdk-8u202-linux-x64.tar.gzhadoop:hadoop-3.3.5.tar.gz集群分布主......
  • lazy_loader python 子包以及函数懒加载框架
    lazy_loaderpython子包以及函数懒加载框架,内部处理上是基于了importlib.import_module进行动态加载包含的特性可以确保子模块对于用户的可见行,不引起而外的开销允许外部库在使用的时候被加载,提升导入时间说明此包在kedro的datasets模块中使用比较多,基本上每个datase......
  • 记一次虚拟机无法 ping 通百度的解决方法
    先运行ipa查看网卡:1:lo:<LOOPBACK,UP,LOWER_UP>mtu65536qdiscnoqueuestateUNKNOWNgroupdefaultqlen1000link/loopback00:00:00:00:00:00brd00:00:00:00:00:00inet127.0.0.1/8scopehostlovalid_lftforeverpreferred_lftforever......
  • 手把手教你学AUTOSAR(四)--AUTOSAR通信机制
    目录AUTOSAR通信机制1.通信层(CommunicationLayer)1.1网络管理(NetworkManagement)1.2协议栈实现1.3消息传输1.4数据交换2.应用层(ApplicationLayer)2.1运行时环境(RuntimeEnvironment,RTE)2.2应用层通信接口3.典型通信场景3.1CAN通信示例3.2LIN通信示例......
  • 34_初识搜索引擎_search结果深入解析(search timeout机制揭秘)
    课程大纲1、我们如果发出一个搜索请求的话,会拿到一堆搜索结果,本节课,我们来讲解一下,这个搜索结果里的各种数据,都代表了什么含义2、我们来讲解一下,搜索的timeout机制,底层的原理,画图讲解GET/_search{"took":6,"timed_out":false,"_shards":{"total":6,"successful":6,......
  • 31_分布式文档系统_图解写一致性原理以及quorum机制深入剖析
    (1)consistency,one(primaryshard),all(allshard),quorum(default)我们在发送任何一个增删改操作的时候,比如说put/index/type/id,都可以带上一个consistency参数,指明我们想要的写一致性是什么?put/index/type/id?consistency=quorumone:要求我们这个写操作,只要有一个primaryshard是activ......
  • 10_shard&replica机制再次梳理以及单node环境中创建index图解
    1、shard&replica机制再次梳理2、图解单node环境下创建index是什么样子的1、shard&replica机制再次梳理(1)index包含多个shard(2)每个shard都是一个最小工作单元,承载部分数据,lucene实例,完整的建立索引和处理请求的能力(3)增减节点时,shard会自动在nodes中负载均衡(4)primaryshard和......
  • 17_document的全量替换、强制创建以及图解lazy delete机制
    1、document的全量替换2、document的强制创建3、document的删除1、document的全量替换(1)语法与创建文档是一样的,如果documentid不存在,那么就是创建;如果documentid已经存在,那么就是全量替换操作,替换document的json串内容(2)document是不可变的,如果要修改document的内容,第一种......