1. 内存结构概述
内存图简图
- 从字节码文件开始,后续的操作就需要我们JVM负责了。
- 【加载】首先,我们需要把字节码文件加载到内存当中,需要用到类加载子系统
- 在内存中生成一个大的Class对象,同时一些必要的操作(静态属性初始化)主要在方法区体现作用;
- 或者说需要【创建对象】的时候,要用到我们的堆空间;
- 程序依次往下执行需要用到程序计数器;
- 如果需要调用本地的方法(C类库、方法),还需要用到本地方法栈;
内存详细图
本章重要讲的内容:
- 字节码【加载】又分成3个具体的环节
- 第一个环节:Loading 加载,加载需要用到类加载器,有3个典型的类加载器。
- 第二个环节: Linking 链接,分为3个环节(验证、准备、解析)
- 第三个环节: Initialization 初始化
2. 类加载子系统
简单来说,类加载子系统就是把Class文件加载进内存
把人领进门,能不能运行还是要看执行引擎
-
类加载器子系统负责从文件系统或者网络中加载Class文件,class文件在文件开头有特定的文件标识。
-
ClassLoader只负责class文件的加载,至于它是否可以运行,则由Execution Engine决定。
-
加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常量池信息,可能还包括字符串字面量和数字常量(这部分常量信息是Class文件中常量池部分的内存映射)
2.1 类加载器ClasLoader角色
-
class file存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到JVM当中来根据这个文件实例化出n个一模一样的实例。
-
class file加载到JVM中,被称为DNA元数据模板,放在方法区。
-
在.class文件->JVM->最终成为元数据模板,此过程就要一个运输工具(类装载器Class Loader),扮演一个快递员的角色。
2.2 类加载过程
ps: 第一个环节的加载Loading与类加载过程的加载是不一样的,前者是侠义的加载,后者是广义的加载。
2.3 加载Loading
这个阶段重点记住:生成一个Class实例
-
通过一个类的全限定名获取定义此类的二进制字节流
-
将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构 . (方法区是一个区的概念,具体落地需要看jdk版本,jdk7及以前叫永久代,之后叫元空间,这都是方法区的落地实现,此处泛称为方法区)
-
在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口(通过对象去访问具体的功能)
补充:加载Class文件的方式
-
从本地系统中直接加载
-
通过网络获取,典型场景:Web Applet
-
从zip压缩包中读取,成为日后jar、war格式的基础
-
运行时计算生成,使用最多的是:动态代理技术
-
由其他文件生成,典型场景:JSP应用
-
从专有数据库中提取.class文件,比较少见
-
从加密文件中获取,典型的防Class文件被反编译的保护措施
2.4 链接Linking
2.4.1 验证
保证加载的是类
- 目的在子确保Class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
- 主要包括四种验证,文件格式验证,元数据验证,字节码验证,符号引用验证。
2.4.2 准备
给变量分配内存,赋初值
- 为类变量分配内存并且设置该类变量的默认初始值,即零值。
- 这里不包含用final修饰的static,因为final在编译的时候就会分配了,准备阶段会显式初始化;
- 这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到Java堆中
观察以下代码
public class Hello{
// a变量在准备阶段,被赋值为0
// 只有在初始化阶段,才被赋值为1
private static int a = 1;
}
2.4.3 解析
了解即可,通常在初始化之后完成的。
- 将常量池内的符号引用转换为直接引用的过程。
- 事实上,解析操作往往会伴随着JVM在执行完初始化之后再执行。
- 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
- 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等。对应常量池中的CONSTANT_Class_info,CONSTANT_Fieldref_info、CONSTANT_Methodref_info等。
2.5 初始化Initialization
clinit 不是我们自定义的,自动生成的。
● 初始化阶段就是执行类构造器方法clinit()的过程。
● 此方法不需定义,是javac编译器自动收集类中的所有类变量的赋值动作和静态代码块中的语句合并而来。
● 构造器方法中指令按语句在源文件中出现的顺序执行。
● clinit()不同于类的构造器。(关联:构造器是虚拟机视角下的init())
● 若该类具有父类,JVM会保证子类的clinit()执行前,父类的clinit()已经执行完毕。
● 虚拟机必须保证一个类的\clinit()方法在多线程下被同步加锁。
观察以下代码:
public class Hello{
private static int a = 1;
static{
a = 2;
}
}
在clinit中的code中查看发现,有 a被赋值为1,a被赋值为2,最终a为2.
说明:构造器方法会把我们的显式初始化,和静态代码块的初始化,合并在一起,形成了一个clinit方法结构。
再观察以下代码:
public class Hello{
static{
num = 2;
}
private stiatic int num = 3;
}
在经过linking阶段的prepare后,num赋初值为0,然后在initialization阶段赋值为2,然后按顺序赋值为3.
最终结果num=3
注意:
假如说我们试图在static中打印Num时会报错
public class Hello{
static{
num = 2;
System.out.println(num); //非法的前向引用
}
private stiatic int num = 3;
}
你声明在后面,但在前面的代码块你可以赋值,但你不能调用它。
Java虚拟机必须保证一个类的clinit方法在多线程环境中被正确地加锁同步
如果多个线程同时去初始化一个类,那么只会有其中一个线程去执行这个类的clinit方法,其他线程都需要阻塞等待。直到活动线程执行完成clinit方法。
以下代码演示了一个类的clinit方法中存在一个很耗时的操作,会造成多个进程阻塞:
public class Test{
static class DeadLoopClass{
static{
//如果不加if(true),编译器提示"Initializer does not complete normally"
if(true){
System.out.println(Thread.currentThread() + "初始化该类");
//模拟耗时操作
while(true){}
}
}
}
public static void main(String[] args){
Runnable r = new Runnable(){
public void run(){
System.out.println(Thread.currentThread() + "开始");
DeadLoopClass dlc = new DeadLoopClass();
System.out.println(Thread.currentThread() + "结束");
}
};
Thread t1 = new Thread(r);
Thread t2 = new Thread(r);
t1.start();
t2.start();
}
}
运行结果是,一个线程A在死循环里模拟长时间操作,另一个线程B在阻塞等待。但如果A执行完成,B被唤醒后不会进入clinit方法,因为在同一个类加载器下,一个类只会被初始化一次
3. 类加载器的种类
JVM支持两种类型的类加载器 。分别为引导类加载器(Bootstrap ClassLoader)和自定义类加载器(User-Defined ClassLoader)。
从概念上来讲,自定义类加载器一般指的是程序中由开发人员自定义的一类类加载器,但是Java虚拟机规范却没有这么定义,而是将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器。
类加载器具有等级制度,它们并不是一种继承关系。更是一种组合关系。也可以认为是包含关系。
该图所展示的各种类加载器之间的层次关系被称为类加载器的"双亲委派模型"。
- 【是什么?】双亲委派模型要求,除了顶层的启动类加载器外,其余的类加载器都应有自己的父类加载器。
- 【怎么做?】双亲委派模型工作过程:如果一个类加载器收到了类加载的请求,它首先不会自己去尝试加载这个类,而是把这个请求委派给父类加载器去完成,每一个层次的类加载器都是如此,因此所有的 加载请求最终都应该传送到最顶层的启动类加载器中,只有当父加载器反馈自己无法完成这个加载请求(它的搜索范围中没有找到所需的类)时,子加载器才会尝试自己去完成加载;
- 【好处?】是Java中的类随着它的类加载器一起具备了一种带有优先级的层次关系。比如:Object类,无论哪一个类加载器去加载它,都被委派给顶端的启动类加载器加载。如果用户自己写了个Object类,会发现能通过编译,但永远无法被加载运行;因此其1.避免类的重复加载;2.保护程序安全,防止核心API被篡改;
观察Launcher.class代码:
public class Launcher{
static class ExtClassLoader extends URLClassLoader {}
static class AppClassLoader extends URLClassLoader {}
}
ExtClassLoader 和 AppClassLoader 都是用户自定义类加载器,继承于URLClassLoader,他们都继承于ClassLoader
3.1 引导类加载器(启动类加载器 Bootstrap ClassLoader)
-
这个类加载使用C/C++语言实现的,嵌套在JVM内部。
-
它用来加载Java的核心库(JAVA_HOME/jre/lib/rt.jar、resources.jar或sun.boot.class.path路径下的内容),用于提供JVM自身需要的类
-
并不继承自ava.lang.ClassLoader,没有父加载器。
-
加载扩展类和应用程序类加载器,并指定为他们的父类加载器。
-
出于安全考虑,Bootstrap启动类加载器只加载包名为java、javax、sun等开头的类
3.2 扩展类加载器(Extension ClassLoader)
-
Java语言编写,由sun.misc.Launcher$ExtClassLoader实现。
-
派生于ClassLoader类
-
父类加载器为启动类加载器
-
从java.ext.dirs系统属性所指定的目录中加载类库,或从JDK的安装目录的jre/1ib/ext子目录(扩展目录)下加载类库。如果用户创建的JAR放在此目录下,也会自动由扩展类加载器加载。
3.3 应用程序类加载器(AppClassLoader)
-
java语言编写,由sun.misc.LaunchersAppClassLoader实现
-
派生于ClassLoader类
-
父类加载器为扩展类加载器
-
它负责加载环境变量classpath或系统属性java.class.path指定路径下的类库
-
该类加载是程序中默认的类加载器,一般来说,Java应用的类都是由它来完成加载
-
通过ClassLoader#getSystemclassLoader() 方法可以获取到该类加载器
以上三种类加载器,是系统给我们提供好的。除此之外,还有一个用户自定义类加载器
3.4 用户自定义类加载器
在Java的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。 为什么要自定义类加载器?
● 隔离加载类
● 修改类加载的方式
● 扩展加载源
● 防止源码泄漏
用户自定义类加载器实现步骤:
- 开发人员可以通过继承抽象类ava.lang.ClassLoader类的方式,实现自己的类加载器,以满足一些特殊的需求
- 在JDK1.2之前,在自定义类加载器时,总会去继承ClassLoader类并重写loadClass() 方法,从而实现自定义的类加载类,但是在JDK1.2之后已不再建议用户去覆盖loadclass() 方法,而是建议把自定义的类加载逻辑写在findClass()方法中
- 在编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承URLClassLoader类,这样就可以避免自己去编写findClass() 方法及其获取字节码流的方式,使自定义类加载器编写更加简洁。
4. ClassLoader的使用说明
ClassLoader类是一个抽象类,其后所有的类加载器都继承自ClassLoader(不包括启动类加载器)
sun.misc.Launcher 它是一个java虚拟机的入口应用
5. 双亲委派机制
Java虚拟机对class文件采用的是按需加载的方式,也就是说当需要使用该类时才会将它的class文件加载到内存生成class对象。而且加载某个类的class文件时,Java虚拟机采用的是双亲委派模式,即把请求交由父类处理,它是一种任务委派模式。
工作原理
1)如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;
2)如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的启动类加载器;
3)如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式。
5.1 双亲委派优势
● 避免类的重复加载
● 保护程序安全,防止核心API被随意篡改
○ 自定义类:java.lang.String
○ 自定义类:java.lang.ShkStart(报错:阻止创建 java.lang开头的类)
其他途径传来的String,若进行了恶意修改,会导致程序不安全
5.2 沙箱安全机制
自定义类试图使用引导类加载器加载,会报错 —— 沙箱安全机制
自定义String类,但是在加载自定义String类的时候会率先使用引导类加载器加载,而引导类加载器在加载的过程中会先加载jdk自带的文件(rt.jar包中java\lang\String.class),报错信息说没有main方法,就是因为加载的是rt.jar包中的string类。这样可以保证对java核心源代码的保护,这就是沙箱安全机制。
6. 补充内容
如何判断两个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类的方式都被看作是对类的被动使用,都不会导致类的初始化。
一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的。
类的主动使用和被动使用
Java程序对类的使用方式分为:主动使用和被动使用。
主动使用,又分为七种情况:
-
创建类的实例
-
访问某个类或接口的静态变量,或者对该静态变量赋值
-
调用类的静态方法
-
反射(比如:Class.forName(“com.atguigu.Test”))
-
初始化一个类的子类
-
Java虚拟机启动时被标明为启动类的类
-
JDK 7 开始提供的动态语言支持:
java.lang.invoke.MethodHandle实例的解析结果
REF_getStatic、REF_putStatic、REF_invokeStatic句柄对应的类没有初始化,则初始化
除了以上七种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。