类加载子系统详解
类加载子系统
- 类加载器子系统负责从文件系统或者网络中加载Class文件,class文件在文件开头有特定的文件标识。
- ClassLoader
只负责
class文件的加载
,至于它是否可以运行,则由Execution Engine
(执行引擎)决定。 - 加载的类信息存放于一块称为方法区的内存空间。除了类的信息外,方法区中还会存放运行时常最池信息,可能还包括字符串字而量和数字常量(这部分常量信息是Class文件中常量池部分的内存映射)
例子
- class file存在于本地硬盘上,可以理解为设计师画在纸上的模板,而最终这个模板在执行的时候是要加载到JVM当中来根据这个文件实例画出n个- -模-样的实例。
- class file加载到JVM中,被称为DNA元数据模板,放在
方法区
。
3.在.class文件-> JVM ->最终成为元数据模板,此过程就要-一个运输工具(类装载器Class Loader)
,扮演-一个快递员的角色。
比如我们有一个HellowLoader类,他的类转载过程如下图所示。
类加载过程
加载-Loading
1.通过一个类的全限定名
获取定义此类的二进制字节流
(以物理磁盘为例)
2.将这个字节流所代表的静态存储结构转化为方法区
的运行时数据结构
3.在内存中生成一个代表这个类的java. lang.Class
对象,作为方法区这个类的各种数据的访问入口
补充:加载. class文件的方式
1.从本地系统中直接加载
2.通过网络获取,|典型场景: web Applet
3.从zip压缩包中读取,成为日后jar、war格式的基础
4.运行时计算生成,使用最多的是:动态代理技术
5.由其他文件生成,典型场景: JSP应用
6.从专有数据库中提取. class文件,比较少见
7.从加密文件中获取,典型的防Class文件被反编译的保护措施
链接-Linking
验证(Verify)
- 目的在于
确保Class文件的字节流中包含信息符合当前虚拟机要求
,保证被加载类的正确性
,不会危害虚拟机自身安全。(虚拟机要求:例如字节码文件以cafebabe开头等) - 主要包括
四种验证
,文件格式验证,元数据验证,字节码验证,符号引用验证。(验证出错会报VerifyError错误)
准备(Prepare)
- 为类变量分配内存并且设置该类变量的默认初始值。
- 这里
不包含用final修饰的static,
因为final在编译的时候就会分配了,准备阶段会显式初始化;
- 这里不会为
实例变量分配初始化
,类变量会在方法区中,而实例变量是会随着对象一起分配到Java堆中
。
解析(Resolve)
- 将
常量池内
的符号引用转换为直接引用的过程。 - 事实上,
解析操作
往往会伴随着JVM在执行完*初始化*之后再执行
。 - 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
-
解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等
。对应常量池中的CONSTANT_ Class_ info、 CONSTANT_ Fieldref_ info、 CONSTANT Methodref_ info等。
初始化-Initialization
- 初始化阶段就是执行
类构造器方法<clinit> ()
的过程。(注意:这个方法和类中定义的构造方法不一样) - 此方法不需定义,
是javac编译器
自动收集类中的所有类变量
的赋值动作和静态代码块
中的语句(也就是static修饰的)合并而来
。Clinit构造器会把显示初始化和构造代码块初始化合并在一起构成构造器方法,如果没有类变量(静态变量)的赋值动作或者是今天代码块语句那么就不会生成这个clinit方法了。还有一点:<init> ()
这个就是默认的构造方法。 - 构造器方法中指令按语句在源文件中出现的
顺序执行
。这里要注意我在前面有一篇文章类成员加载顺序说到了类成员加载顺序是:父类的静态字段——>父类静态代码块——>子类静态字段——>子类静态代码块——>父类成员变量(非静态字段)——>父类非静态代码块——>父类(无参)构造器——>子类成员变量——>子类非静态代码块——>子类构造器,这里要注意的就是静态字段和静态代码块之间对类(静态)变量的初始化,是按照书写顺序的,并不是按照先字段初始化再代码块初始化
。 - ()
不同于类的构造器
。(关联: 构造器是虚拟机视角下的 ()) - 若该类具有父类,JVM会保证子类的()执行前,父类的()已经执行完毕。
- 虚拟机必须保证一个类的()方法在
多线程下被同步加锁
。