提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档
内存结构概述
完整图如下
如果自己想手写一个 Java 虚拟机的话,主要考虑哪些结构呢?
- 类加载器
- 执行引擎
类加载器子系统
- 类加载器子系统负责从文件系统或者网络中加载 class 文件,class 文件在文件开头有特定的文件标识。
- ClassLoader 只负责 class 文件的加载,至于它是否可以运行,则由 Execution Engine 决定。
字节码文件
类加载做了哪些事情?
- 通过一个类的全限定名获取定义此类的二进制字节流
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
- 在内存中生成一个代表这个类的 java.lang.Class 对象,放入堆中,单例模式独一份 作为方法区这个类的各种数据的访问入口(类的反射.class对象)
方法区-数据结构
加载的类信息,存放于一块称为方法区的内存空间
- 加载的类信息存放于一块称为方法区的内存空间。
- 方法区中还会存放运行时常量池信息
- 可能还包括字符串字面量和数字常量(这部分常量信息是 class 文件中常量池部分的内存映射)
类加载器子系统的->加载过程
- 加载阶段
- 链接阶段
- 初始化阶段
整体jvm运行流程理解:
- class file 存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到JVM 当中来根据这个文件实例化出 n 个一模一样的实例。
- class file 加载到 JVM 中,被称为 DNA 元数据模板,放在方法区。
- 在 class 文件 -> JVM -> 最终成为元数据模板,此过程就要一个运输工具(类装载器Class Loader),扮演一个快递员的角色。
案例:
public class HelloLoader {
public static void main(String[] args) {
System.out.println("我已经被加载啦");
}
}
它的加载过程是怎么样的呢?
类的加载过程–完整的流程图如下所示
补充:加载 .class 文件的方式
- 从本地系统中直接加载
- 通过网络获取,典型场景:Web Applet
- 从 zip 压缩包中读取,成为日后 jar、war 格式的基础
- 运行时计算生成,使用最多的是:动态代理技术
- 由其他文件生成,典型场景:JSP 应用从专有数据库中提取 .class 文件,比较少见
- 从加密文件中获取,典型的防 class 文件被反编译的保护措施
工具:Binary Viewer 查看
如果出现不合法的字节码文件,那么将会验证不通过
IDEA 的插件,来查看我们的 class 文件
安装完成后,我们编译完一个 class 文件后,点击 view 即可显示我们安装的插件来查看字节码方法了
初始代码
第一步 编译:
第二步展现:
第三步分析:
java中的 变量
- 局部变量(类中 方法里)
在方法被调用时产生,方法调用结束则变量消失。存储与栈内存中
- 成员变量(类中方法外)
随着对象的创建而创建,对象消失则此变量也消失,存储于堆内存中。
成员变量分为两种:
-
实例变量
没有static修饰的,这些成员变量是对象中的成员,称为实例变量。 -
类变量(静态变量)
有static修饰的
存储位置:
- 成员变量:随着对象的创建而创建,对象消失则此变量也消失,存储于堆内存中。
- 局部变量:在方法被调用时产生,方法调用结束则变量消失。存储与栈内存中。
- 类变量:类加载即存在。
初始值:
- 成员变量:无须赋初始值,系统自动默认初始值。例如:String默认为null,int默认为0。
- 局部变量:必须赋初始值才能使用,否则报空指针错误。
- 类变量:和成员变量相似。
调用方式:
- 成员变量:通过对象名调用,此变量属于对象。
- 局部变量:通过方法名调用。
- 类变量:此变量属于类,可以直接通过类名调用,也可以通过对象名调用。
生命周期:
- 成员变量:随着对象的创建而创建,随着对象的消失而消失。
- 局部变量:随着方法的调用而创建,随着方法的完成而消失。
- 类变量:随着类的加载而存在,随着类的消失而消失,生命周期最长。
一: 准备 Prepare
为类变量(static修饰) 分配内存并且设置该类变量的默认初始值,即 零值。
public class HelloApp {
private static int a = 1; // 准备阶段为0,在下个阶段,也就是初始化的时候才是1
public static void main(String[] args) {
System.out.println(a);
}
}
上面的变量 a 在准备阶段会赋初始值,但不是1,而是0。
- 为类变量分配内存并且设置该类变量的默认初始值,即零值;
- 这里不包含用 final 修饰的 static,因为 final 在编译的时候就会分配了,准备阶段会显式初始化;
- 这里不会为实例变量(无static修饰)分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到 Java 堆中。
类变量===>static修饰===>方法区
实例变量===>没static修饰===>Java 堆
二: 解析 Resolve
- 将常量池内的符号引用转换为直接引用的过程。
- 事实上,解析操作往往会伴随着 JVM 在执行完初始化之后再执行。
- 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《Java虚拟机规范》的class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
- 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info 等
三: 初始化
- 初始化阶段就是执行类构造器法 clinit()的过程。
- 此方法不需定义,是 javac 编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来。
- 也就是说,当我们代码中包含 static 变量的时候,就会有 clinit 方法
- 构造器方法中指令按语句在源文件中出现的顺序执行。
- clinit()不同于类的构造器。(关联:构造器是虚拟机视角下的 ())
- 若该类具有父类,JVM 会保证子类的clinit ()执行前,父类的 clinit()已经执行完毕。
- 虚拟机必须保证一个类的clinit ()方法在多线程下被同步加锁。(保证类只加载一次)
案例:
关于涉及到父类时候的变量赋值过程
public class ClinitTest1 {
static class Father {
public static int A = 1;
static {
A = 2;
}
}
static class Son extends Father {
public static int b = A;
}
public static void main(String[] args) {
System.out.println(Son.b);
}
}
我们输出结果为 2,
- 首先加载 ClinitTest1 的时候,会找到 main 方法,
- 然后执行 Son 的初始化,但是Son 继承了 Father,
- 因此还需要执行 Father 的初始化,
- Father 类的类变量A 的默认初始值为0,被赋值成1,然后又被赋值成2.
(构造器方法中指令按语句在源文件中出现的顺序执行)
类加载器的分类
JVM 支持两种类型的类加载器
- 引导类加载器(Bootstrap ClassLoader)
- 自定义类加载器(User-Defined ClassLoader)
从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是 Java 虚拟机规范却没有这么定义,而是将所有派生于抽象类 ClassLoader 的类加载器都划分为自定义类加载器。
无论类加载器的类型如何划分,在程序中我们最常见的类加载器始终只有3个,如下所示:
这里的四者之间是包含关系,不是上层和下层,也不是子系统的继承关系。
虚拟机自带的加载器
启动类加载器(引导类加载器,Bootstrap ClassLoader)
- 这个类加载使用 C/C++ 语言实现的,嵌套在 JVM 内部。
- 它用来加载 Java 的核心库(JAVAHOME/jre/lib/rt.jar、resources.jar 或
sun.boot.class.path 路径下的内容),用于提供 JVM 自身需要的类 - 并不继承自 java.lang.ClassLoader,没有父加载器。
- 加载扩展类和应用程序类加载器,并指定为他们的父类加载器。
- 出于安全考虑,Bootstrap 启动类加载器只加载包名为 java、javax、sun 等开头的类
扩展类加载器(Extension ClassLoader)
- Java 语言编写,由 sun.misc.Launcher$ExtClassLoader 实现。
- 派生于 ClassLoader 类
- 父类加载器为启动类加载器
- 从 java.ext.dirs 系统属性所指定的目录中加载类库,或从 JDK 的安装目录的 jre/lib/ext
子目录(扩展目录)下加载类库。如果用户创建的 JAR 放在此目录下,也会自动由扩展类加载器加载。
应用程序类加载器(系统类加载器,AppClassLoader)
- Java 语言编写,由 sun.misc.LaunchersAppClassLoader 实现
- 派生于 ClassLoader 类
- 父类加载器为扩展类加载器
- 它负责加载环境变量 classpath 或系统属性 java.class.path 指定路径下的类库
- 该类加载是程序中默认的类加载器,一般来说,Java 应用的类都是由它来完成加载
- 通过 ClassLoader#getSystemClassLoader() 方法可以获取到该类加载器
用户自定义类加载器
在 Java 的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。 为什么要自定义类加载器?
- 隔离加载类
- 修改类加载的方式
- 扩展加载源
- 防止源码泄漏
关于ClassLoader
- ClassLoader 类,它是一个抽象类,其后所有的类加载器都继承自 ClassLoader(不包括启动类加载器)
sun.misc.Launcher 它是一个 Java 虚拟机的入口应用
获取 ClassLoader 的途径
- 获取当前 ClassLoader:clazz.getClassLoader()
- 获取当前线程上下文的 ClassLoader:Thread.currentThread().getContextClassLoader()
- 获取系统的 ClassLoader:ClassLoader.getSystemClassLoader()
- 获取调用者的 ClassLoader:DriverManager.getCallerClassLoader()
双亲委派机制
- Java 虚拟机对 class 文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的 class 文件加载到内存生成 class 对象。
- 而且加载某个类的 class 文件时,Java 虚拟机采用的是双亲委派模式,即把请求交由父类处理,它是一种任务委派模式。
工作原理
- 如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;
- 如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的启动类加载器;
- 如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式。
举例:
- 当我们加载 jdbc.jar 用于实现数据库连接的时候,首先我们需要知道的是 jdbc.jar 是基于 SPI 接口进行实现的,
- 所以在加载的时候,会进行双亲委派,最终从根加载器中加载 SPI 核心类,
- 然后在加载 SPI 接口类,接着在进行反向委派,通过线程上下文类加载器进行实现类 jdbc.jar 的加载。
双亲委派机制的优势
- 避免类的重复加载
- 保护程序安全,防止核心 API 被随意篡改
自定义类:java.lang.String 自定义类:
java.lang.SzzStart(报错:阻止创建 java.lang 开头的类)
沙箱安全机制
自定义 String 类,但是在加载自定义 String 类的时候会率先使用引导类加载器加载,而引导类加载器在加载的过程中会先加载 JDK 自带的文件(rt.jar包中java\lang\String.class),报错信息说没有 main 方法,就是因为加载的是 rt.jar 包中的 String 类。这样可以保证对 Java 核心源代码的保护,这就是沙箱安全机制。
扩展:
如何判断两个 class 对象是否相同
在 JVM 中表示两个 class 对象是否为同一个类存在两个必要条件: -
- 类的完整类名必须一致,包括包名。
- 加载这个类的加载器 ClassLoader(指 ClassLoader 实例对象)必须相同。
换句话说,在 JVM 中,即使这两个类对象(class对象)来源同一个 Class 文件,被同一个虚拟机所加载,但只要加载它们的 ClassLoader 实例对象不同,那么这两个类对象也是不相等的。
JVM 必须知道一个类型是由启动加载器加载的还是由用户类加载器加载的。如果一个类型是由用户类加载器加载的,那么 JVM 会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。当解析一个类型到另一个类型的引用的时候,JVM 需要保证这两个类型的类加载器是相同的。
类的主动使用和被动使用
Java 程序对类的使用方式分为:主动使用和被动使用。 主动使用,又分为七种情况:
- 创建类的实例
- 访问某个类或接口的静态变量,或者对该静态变量赋值
- 调用类的静态方法
- 反射(比如:Class.forName(“com.atguigu.Test”))
- 初始化一个类的子类
- Java 虚拟机启动时被标明为启动类的类
- JDK 7 开始提供的动态语言支持: java.lang.invoke.MethodHandle 实例的解析结果 REF
getStatic、REF putStatic、REF invokeStatic 句柄对应的类没有初始化,则初始化
除了以上七种情况,其他使用 Java 类的方式都被看作是对类的被动使用,都不会导致类的初始化。