Java虚拟机就是二进制字节码的运行环境 ,负责装载字节码到其内部,解释/编译为对应平台上的机器指令执行。每一条Java指令,Java虚拟机规范中都有详细的定义,如怎么取操作数、怎么处理操作数、处理结果放在哪里。
Java虚拟机的启动是通过引导类加载器(bootstrap class loader)创建一个初始类(initial class)来完成的,这个类是由虚拟机的具体实现指定的。
有如下的几种情况:
1.程序正常执行结束。
2.程序在执行过程中遇到了异常或错误而异常终止。
3.由于操作系统出现错误而导致Java虚拟机进程终止。
4.某线程调用Runtime类或System类的exit方法,或Runtime的halt方法,并且Java安全管理器也允许这次exit或halt操作。
5.除此之外,JNI(Java Native Interface)规范描述了用JNI Invocation API来加载或卸载Java虚拟机时,Java虚拟机的退出情况。
分析汇编指令:
javap -v filename.class
1.通过一个类的权限定名获取定义此类的二进制字节流。
2.将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
3.在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口。
补充:.class文件的来源:
- 从本地系统中直接加载;
- 通过网络获取,典型场景:Web Applet
- 从zip压缩包中读取,成为日后jar、war格式的基础。
- 运行时计算生成,使用最多的是:动态代理技术。
- 有其他文件生成,典型场景:JSP应用。
- 从专有数据库中提取.class文件,比较少见。
- 从加密文件中获取,典型的防Class文件被反编译的保护措施。
1.验证(Verify):
- 目的在于确保Class文件的字节流中包含信息符合当前虚拟机要求,保证被加载类的正确性,不会危害虚拟机自身安全。
- 主要包括四种验证:文件格式验证、元数据验证、字节码验证、符号引用验证。
2.准备(Prepare):
- 为类变量分配内存并且设置该类变量的默认初始值,即零值。
- 这里不包含用final修饰的static,因为final在编译的时候就会分配了,准备阶段会显式初始化。
- 这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到Java堆中。
3.解析(Resolve):
- 将常量池内的符号引用转换为直接引用的过程。
- 事实上,解析操作往往会伴随着JVM在执行完成初始化之后再执行。
- 符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
- 解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等,对应常量池中的CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info等。
这里的四者之间的关系是包含关系。不是上层下层,也不是子父类的继承关系。
引导类加载器(启动类加载器)
扩展类加载器
系统或应用程序类加载器
用户自定义类加载器,在java的日常应用程序开发中,类的加载几乎是由上述3种类加载器相互配合执行的,在必要时,我们还可以自定义类加载器,来定制类的加载方式。
1.开发人员可以通过继承抽象类java.lang.ClassLoader类的方式,实现自己的类加载器,以满足一些特殊的需求。
2.在JDK1.2之前,在自定义类加载器时,总会去继承ClassLoader类并重写loadClass()方法,从而实现自定义的类加载器,但是在JDK1.2之后已不再建议用户去覆盖loadClass()方法,而是建议把自定义的类加载逻辑卸载findClass()方法中。
3.在编写自定义类加载器时,如果没有太过于复杂的需求,可以直接继承URLClassLoader类,这样就可以避免自己去编写findClass()方法及其获取字节码流的方法,使自定义类加载器编写更加简洁。
ClassLoader类,它是一个抽象类,其后所有的类加载器都继承自ClassLoader(不包括引导类加载器)
方法名 | 描述 |
---|---|
getParent() | 返回该类加载器的超类加载器 |
loadClass(String name) | 加载名称为name的类,返回结果为java.lang.Class类的实例 |
findClass(String name) | 查找名称为name的类,返回结果为java.lang.Class类的实例 |
findLoadedClass(String name) | 查找名称为name的已经被加载过的类,返回结果为java.lang.Class类的实例 |
defineClass(String name,byte[] b,int off,int len) | 把字节数组b中的内容转换为一个Java类,返回结果为java.lang.Class类的实例 |
resolveClass(Class> c) | 链接指定的一个Java类 |
1.获取当前类的ClassLoader:clazz.getClassLoader();
2.获取当前线程上下文的ClassLoader:Thread.currentThread().getContextClassLoader();
3.获取系统的ClassLoader:ClassLoader.getSystemClassLoader();
4.获取调用者的ClassLoader:DriverManager.getCallerClassLoader();
1.如果一个类加载器收到了类加载请求,它并不会自己先去加载,而是把这个请求委托给父类的加载器去执行;
2.如果父类加载器还存在其父类加载器,则进一步向上委托,依次递归,请求最终将到达顶层的启动类加载器;
3.如果父类加载器可以完成类加载任务,就成功返回,倘若父类加载器无法完成此加载任务,子加载器才会尝试自己去加载,这就是双亲委派模式。
1.避免类的重复加载。
2.保护程序安全,防止核心AP被随意篡改。
在JVM中表示两个class对象是否为同一个类存在的两个必要条件:
JVM必须知道一个类型是由引导类加载器加载的还是由系统类加载其加载的。如果一个类型是由系统类加载器加载的,那么JVM会将这个类加载器的一个引用作为类型信息的一部分保存在方法区中。当解析一个类型到另一个类型的引用的时候,JVM需要保证这两个类型的类加载器是相同的。
Java程序对类的使用方式分为:主动使用和被动使用。
主动使用,又分为七种情况:
1.创建类的实例;
2.访问某个类或接口的静态变量,或者对该静态变量赋值;
3.调用类的静态方法;
4.反射;
5.初始化一个类的子类;
6.Java虚拟机启动时被标明为启动类的类;
7.JDK 7开始提供的动态语言支持:java.lang.invoke.MethodHandle实例的解析结果RFF_getStatic、RFF_putStatic、RFF_invokeStatic句柄对应的类没有初始化,则初始化。
除以上七种情况,其它使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。