image-20210717153811503
加载--> 链接--> 初始化

如果自己手写一个java虚拟机的话,主要考虑哪些结构? 类加载器和执行引擎

类的加载过程

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

具体的类加载过程图

image-20210717160035120

第一步 加载 --生成 java.lang.Class对象

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

第二步 链接

1.验证( Verify):

  • 目的在于确保class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
  • 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证

java .class文件开头是COFFBABE

2.准备( Prepare):

  • 类变量分配内存并且设置该类变量的默认初始值,即零值。

    class Demo{
        //这时a会被赋值为0,在初始化时才会被初始化为1
        private static int a = 1;
    }
    
  • 这里不包含用final修饰的 static,因为final在编译的时候就会分配了,准备阶段会显式初始化

  • 这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分
    配到java堆中。

3.解析( Resolve)

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

第三步 初始化

  • 初始化阶段就是执行类的构造器方法 () 的过程(cl可以理解为 class ,init为 inital)

  • 此方法不需要定义,是javac编译器自动收集类中的所有变量的赋值动作和静态代码块中的语句合并而来的。

  • 构造器方法按语句顺序执行所有类变量(static修饰的成员变量)显式初始化和静态代码块中语句

    /*这里的话,a最终的值为1
    * 首先在第二步链接的准备阶段,会将a初始化为0
    * 在第三步初始化时,类的构造器方法按照顺序执行,先将a赋值为10,再将a赋值为1,所以最后a=1
    */
    class Demo{
        static{
            a = 10;
        }
        private static int a = 1;
    }
    
  • 类的构造器方法 () 不同于类的构造函数,当一个类中不存在类变量的时候,则.class文件中没有()

  • 若该类有父类,JVM会保证父类的 ()执行完毕之后再执行子类的()

    class Father{
        public static int a = 1;
        static{
            a = 2;
        }
    }
    
    class Son extends Father{
        public static int b = a;
        
        public static void main(String []args){
            //最终的结果为2
            Sysytem.out.println(Son.b);
        }
    }
    
  • 虚拟机必须保证一个类的()方法在多线程下被同步加锁,即一个类只会被加载一次

类的加载器

类加载器分类

JVM支持两种类型的类加载器,分别为

  1. 引导加载器(Bootstrap ClassLoader)
  2. **自定义加载器(**User-Defined ClassLoader),是指继承自ClassLoader的加载器

虚拟机自带的加载器

image-20210718143802701

启动类加载器(引导类加载器 Bootstrap ClassLoader)

  • 我们不能直接获取到

  • java的核心类库都是使用引导类加载器来进行加载的。

  • 这个类加载使用C++/C来实现的,嵌套在JVM内部

  • 并不继承于java.lang.ClassLoader

  • 加载扩展类和程序类加载器,并指定为它们的父加载器

  • 出于安全考虑,Bootstrap启动类加载器只加载包名为java、javax、sun等开头的类

拓展类加载器(Extension ClassLoader)

  • java语言编写
  • 派生于ClassLoader类
  • 父加载器为启动类加载器
  • 从java。ext.dirs系统属性所指定的目录中加载类库,或者从JDK安装目录的jre/lib/ext子目录下加载类库。如果用户创建的jar在此目录下,也会自动由扩展类加载器加载

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

  • java语言编写
  • 派生于ClassLoader类
  • 父加载器为拓展类加载器
  • 负责加载环境变量classpath系统属性java.class.path指定路径下的类库
  • 我们自己写的类中默认加载器就是应用程序类加载器

用户自定义加载类

image-20210718151625921

ClassLoader

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

这里暂且了解就够了(嗯,大概

双亲委派机制

Java虚拟机对class文件采用的是按需加载的方式,也就是需要的时候才会将它的class文件加载到内存,生成class对象。

而在加载某个类的class文件时,JVM采用双亲委派模式,即把请求交给父类处理,是一种任务委派模式。

双亲委派机制

  1. 当一个类加载器收到了加载请求时,它是不会先自己去尝试加载的,而是委派给父类去完成,

  2. 如果父类还有父类加载器,则进一步向上委托,以此类推,直到顶层的启动类加载器

  3. 如果父类加载器可以完成加载任务,则成功返回;否则,子类加载器尝试去加载

可以理解为 类加载器这个家族很重亲情,能爸爸做的就爸爸做,爸爸实在做不了就儿子做

image-20210718154731162

优势:

  • 避免类的重复加载

  • 保护程序的安全,防止核心api被随意的篡改

    比如你自定义一个包 java.lang,包下面有一个类Demo

    package java.lang
    class Demo{
        public static void main(String[] args){
            System.out.println("test");
        }
    }
    

    当你运行的时候,由于双亲委派机制,这和Demo类是java开头的,所以最终的加载器是引导类加载器。(引导类加载器只加载包名为java、javax、sun等开头的类),而java核心类包中并没有Demo这个类,所以就会报错。

其他小的点

在JVM中表示两个class对象相同的两个必要条件:

  1. 类的完整类名要一致,包括包名
  2. 加载 这个类的ClassLoader(指ClassLoader实例对象)必须相同。

对类加载器的引用

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