jvm----虚拟机类加载机制

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

java类型的加载、连接和初始化过程都是在程序运行期间完成的,java可动态扩展的语言特性就是依赖运行期动态加载和动态连接这个特点实现的。

类生命周期:加载、验证、准备、解析、初始化、使用、卸载


其中加载、验证、准备、初始化和卸载顺序是确定的(互相交叉混合式进行,在一个阶段执行过程中调用、激活另一阶段),但是解析阶段则不确定:在某些情况下可以在初始化阶段之后再开始,这是为了支持java的运行时绑定(动态绑定或晚期绑定)。

-----------------------------------------------------------------------------------

什么时候进行类加载?加载时机由虚拟机自由决定,这就是动态加载,运行时绑定。

5种必须对进行初始化情况:(接口第3条不一样)

1.遇到new、getstatic、putstatic或者invokestatic这4条字节码指令。生成这4条指令最常见场景:使用new关键字实例化对象的时候、读取或设置一个类的静态字断(被final修饰、已在编译期把结果放入常量池的静态字段除外)的时候,以及调用一个类的静态方法的时候。--final修饰的字段在编译期就会把结果放入常量池

2.使用java.lang.reflect包(动态代理)的方法对类进行反射调用的时候

3.子类初始化前先初始化父类(接口不要求父接口全部完成初始化,只有在真正使用到父接口的时候(如引用接口中定义的常量)才会初始化

4.包含main()方法的启动类

5.当使用jdk1.7的动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行过初始化

注意:1.对于静态字断,只有直接定义这个字段的类才会被初始化,因此直接通过其子类来引用父类定义的静态字段,只会触发父类初始化而不会触发子类初始化。

         2.通过数组定义来引用类,不会触发此类的初始化

         3.常量在编译阶段会存入调用类的常量池中,本质上没有直接引用到定义常量的类,因此不会触发定义常量的类的初始化

-----------------------------------------------------------------------------------

类加载过程:

1.加载

加载步骤:1.获取类的二进制字节流(不一定从class文件中获取,可以从zip包、jar、war包,网络,运行时计算生成这种用的最多的就是动态代理技术

               2.将静态变量或方法丢入该类的常量池

               3.在内存中生成代表该类的java.lang.class对象

类载入器:1.引导类载入器

               2.扩展类载入器

               3.系统类载入器

     注意:数组类本身不通过类加载器创建,它是由java虚拟机直接创建的。但是数组类的元素类型是要靠类载入器去创建的

2.验证(目的是为了确保class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身安全)

验证阶段分为4步:1.文件格式校验

                          2.元数据校验(即语法校验)

                          3.字节码验证(逻辑校验)

                        4.符号引用验证(对类自身以外(常量池中的各种符号引用)的信息进行匹配性校验)

注意:若所运行的全部代码都已经被反复使用和验证过,那么在实施阶段就可以考虑使用-Xverify:none参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。

3.准备(正式为类变量分配内存并设置类变量初始值的阶段)

注意:这时候进行内存分配的仅包括类变量(被static修饰的变量),而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在java堆中。这里初始值指的是数据类型的零值

例如:public static int value=123;

则准备后的初始值为0,将value赋值为123在初始化阶段才会执行。

public static final int value=123;

则准备后的初始值为123


4.解析(虚拟机将常量池内的符号引用替换为直接引用的过程)

符号引用:以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义的定位到目标即可。符号引用与虚拟机实现的内存布局无关,引用的目标并不一定已经加载到内存中。

直接引用:直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用和虚拟机实现的内存布局相关。如果有了直接引用,那引用的目标必定已经在内存中存在。

5.初始化(初始化类变量和其他资源或者说是执行类构造器<clinit>()方法的过程)

**<clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块(static{}块)中的语句合并产生的,编译器收集的顺序是由语句在源文件中出现的顺序所决定的。

        **在多线程环境下虚拟机会保证一个类的<clinit>()方法被正确的加锁、同步,如果有多个线程同时初始化一个类,则只会有一个线程去执行这个类的<clinit>()方法,其他线程都需要阻塞等待。

阅读更多
想对作者说点什么?

博主推荐

换一批

没有更多推荐了,返回首页