jvm上篇

国菜土豆丝

于 2023-12-16 14:02:28 发布

阅读量876

点赞数 20

文章标签： jvm

本文链接：https://blog.csdn.net/weixin_41421875/article/details/134750906

版权

JVM虚拟机上篇

常见的Java虚拟机有：

1、Oracle（甲骨文公司）的HotSpot虚拟机；

2、BEA System（毕益辉系统有限公司）的JRockit虚拟机；

3、IBM（国际商业机器公司）的J9虚拟机。

虚拟机与JVM

虚拟机

所谓虚拟机就是一台虚拟的计算机，它是一款软件，用来执行一系列虚拟计算机指令。大体上虚拟机可以分为系统虚拟机和程序虚拟机。

大名鼎鼎的Visual Box，VMware 就属于系统虚拟机，它们完全是对物理计算机的仿真，提供了一个可运行完整操作系统的软件平台；

程序虚拟机的典型代表就是java虚拟机，它专门为执行某个单个的计算机程序而设计，在Java虚拟机中执行的指令我们称之为java字节码指令。

无论是系统虚拟机还是程序虚拟机，在上面运行的软件都被限制于虚拟机提供的资源中。

JVM

java虚拟机是一台执行java字节码的虚拟计算机，它拥有独立的运行机制，其运行的字节码文件也未必一定由java语言编写而成。
JVM平台的各种语言可以共享java虚拟机带来的跨平台性、优秀的垃圾回收器以及可靠的即使编译器。
java的核心技术就是java虚拟机，因为所有的java程序都运行在java虚拟机内部。
java虚拟机就是二进制字节码文件的运行环境，负责装载字节码到其内部，解释/编译为对应平台的机器执行指令。每一条java指令，java虚拟机规范中都有详细定义，如怎么取操作数，怎么处理操作数，处理结果放在哪里等。
java虚拟机的特点：

一次编译、到处运行

自动内存管理

自动垃圾回收功能

JVM的架构模型

java编译器输入的指令流基本上是一种基于栈的指令集架构，另外一种指令集架构则是基于寄存器的指令集架构。
具体来说，这两种架构的区别优缺点如下：

基于栈式架构的特点：

设计和实现更简单，适用于资源受限的系统；

避开了寄存器的分配难题：使用零地址指令方式分配；

指令流中的指令大部分是零地址指令，其执行过程依赖于操作栈。指令集更小，编译器更容易实现；

不需要硬件支持，可移植性更好，更好实现跨平台。

基于寄存器架构的特点：

典型的应用是x86的二进制指令集：比如传统的PC以及Android的Davlik虚拟机；

指令集架构则完全依赖于硬件，可移植性差；

性能优秀和执行更高效；

花费更少的指令去完成一项操作；

在大部分情况下，基于寄存器架构的指令集往往都是以一地址指令、二地址指令和三地址指令为主，而基于栈式架构的指令集却是以零地址指令为主。

由于跨平台性的设计，java的指令都是根据栈来进行设计的。不同平台的cpu架构不同，所以不能设计为基于寄存器的。优点是跨平台，指令集小，编译器容易实现，缺点是性能下降，实现相同的功能需要更多的指令。

JVM的生命周期

虚拟机启动

Java 虚拟机的启动是通过引导类加载器（bootstrap class loader）创建一个初始类（initial class）来完成。这个类是由虚拟机的具体实现指定的

虚拟机运行

一个运行中的java 虚拟机有着一个清晰的任务：执行Java程序

程序开始执行它才运行，程序结束时它就停止

执行一个所谓的Java程序，执行的是一个叫做java虚拟机的进程

虚拟机的退出

有如下的几种情况：

程序正常执行结束；

程序在执行过程中遇到了异常或错误而异常终止；

由于操作系统出现错误而导致java虚拟机进程停止；

某线程调用Runtime类或System类的exit方法，或Runtime类的halt方法，并且java安全管理器也允许这次exit或halt操作；

除此之外，JNI（Java Native Interface）规范描述了用JNI Invocation API 来加载或者卸载java虚拟机时，java虚拟机的退出情况。

类加载子系统执行流程详解

1、加载（loading）

首先类加载子系统会根据类的全限定类名获取定义此类的二进制字节流；

然后将这个字节流所代表的静态存储结构转化为方法区的运行时的数据结构；

最后在内存中生成一个代表这个类的java.lang.Class对象，作为方法区中这个类的各种数据的访问入口。

补充：加载.class文件的途径

从本地系统磁盘中获取；

通过网络获取，典型场景：Web Applet；

通过.zip压缩包获取，成为日后jar、war格式打包的基础；

程序运行时计算生成，例如动态代理技术；

由其他的文件生成，典型场景：JSP；

从专用的数据库中提取.class文件，比较少见；

从加密文件中获取，典型的防Class文件被反编译的保护措施。

2、链接：链接部分主要分为三部分内容

验证（Verify）

验证的目的在于确保Class文件的字节流中包含的信息符合当前虚拟机要求，保证被加载类的正确性，不会危害虚拟机的安全；

主要包括四种验证：文件格式验证，元数据验证，字节码验证，符号引用验证。

准备（Prepare）

准备阶段会为类变量分配内存并且设置该类变量的默认初始值，即零值，不同数据类型的类变量初始值不同；

分配内存以及赋初值的操作不包含被final修饰的static类变量，因为final修饰的类变量是常量，在编译的时候就会分配内存以及赋予真正的值，即显式的初始化它，并且以后都不会进行修改；

准备阶段不会为实例变量进行初始化，因为类变量是分配在方法区中，而实例变量是会随着对象一起分配到java堆之中。

解析（Resolve）

是将常量池中的符号引用转换为直接应用的过程；

事实上，解析操作往往会伴随着JVM执行完初始化之后再执行；

符号引用就是一组符号来描述所引用的目标。符号引用的字面量形式明确定义在《java虚拟机规范》的Class文件格式中。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。（可以理解为，我们最简单的java程序也是会引用很多的jdk类库资源的，在实际执行过程中远比我们编写的程序内容要复杂，而对于字节码文件来说，直接将这些引用都解析到文件中也是不现实的，所以会采用符号引用的方式去指向它，这个步骤是将符号引用翻译为能够直接获得到目标的直接引用。）

解析动作主要针对类或接口、字段、类方法、接口方法、方法类型等等。

3、初始化

初始化阶段就是执行类构造器方法<clinit>()的过程；

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

构造器方法中的指令按照语句在源文件中出现的顺序执行；

<clinit>()不同于类的构造器，构造器是虚拟机的视角下是<init>()；

若该类具有父类，jvm会保证子类的<clinit>()执行前，父类的<clinit>()方法已经执行完毕；

虚拟机必须保证一个类的<clinit>()方法在多线程下被同步加锁，即<clinit>()方法有且仅会被某个线程执行一次，并且当某个线程在初始化某个类阻塞时，其他线程都会进入阻塞状态。

类加载器的分类

JVM支持两种类型的类加载器，分别为引导类加载器（Bootstrap ClassLoader）和自定义加载器（User-Defined ClassLoader）。

从概念上来讲，自定义加载器指的是间接或直接继承了ClassLoader抽象类的加载器，并不是简单指由开发者自定义的类加载器，即将所有派生于抽象类ClassLoader的类加载器都划分为自定义类加载器。

启动类加载器（引导类加载器，bootstrap classloader）

这个类加载使用c/c++语言实现的，嵌套在JVM内部

它用来加载Java核心库（JAVA_HOME/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.Launcher$AppClassLoader实现

派生于classloader类

父类加载器为扩展类加载器

它负责加载环境变量classpath或系统属性 java.class.path指定路径下的类库

该类加载是程序中默认的类加载器，一般来说，Java应用的类都是由它来完成加载

通过classloader#getSystemClassLoader()方法可以获取到该类加载器

用户自定义类加载器

在Java的日常应用程序开发中，类的加载几乎是由上述3种类加载器相互配合执行的，在必要时，我们还可以自定义类加载器，来定制类的加载方式。

为什么要自定义类加载器？

隔离加载类

修改类加载的方式

扩展加载源

防止源码泄露

类加载器的继承关系

sun.misc.Launcher 它是一个Java虚拟机的入口应用

获取classLoader方法

双亲委派机制

JVM对class文件采用的是按需加载的方式，也就是说当需要使用某个类的时候才会将他的class文件加载到内存生成class对象。而且加载某个类的class文件时，JVM采用的是双亲委派机制，即将请求交给父类处理，它是一种任务委派模式。

双亲委派机制工作原理

1、如果一个类加载器收到了类加载请求，它并不会直接进行类的加载，而是把这个加载类的请求委托给自己的父类的加载器去执行；
2、如果父类加载器还存在其他的父类加载器，则进一步向上委托，依次递加，请求最终将到达顶层的启动类加载器；
3、如果父类加载器可以完成类的加载请求，就成功返回，倘若父类加载器无法完成此任务，子加载器才会自己尝试去加载，这就是双亲委派机制。

举例：加载第三方jdbc.jcr

双亲委派机制优势

避免类的重复加载

保护程序安全，防止核心API被随意篡改

自定义类：java.lang.String

自定义类：java.lang.ShkString

沙箱安全机制

自定义String类,但是在加载自定义String类的时候会率先使用引导类加载器加载，而引导类加载器在加载的过程中会先加载jdk自带的文件(rt.jar包中Java\lang\String.class),报错信息说没有main方法就是因为加载的是包中的String类，这样可以保证对java核心源代码保护，这就是沙箱安全机制

运行时数据区

程序计数器（PC寄存器）

PC寄存器在运行时数据区中是占用内存非常少的一块区域，也是运行速度最快的存储区域。主要功能是存储指向下一条指令的地址，也就是下一个要执行的指令代码，由存储引擎来读取，然后决定执行什么指令，也是唯一一个在JVM规范中没有规定任何OutOtMemoryError情况的区域。
PC寄存器是每个线程都独立拥有的，其生命周期与线程的生命周期一致。

PC寄存器存在的意义？
由于CPU需要不断的切换工作线程，所以当切换到某个线程的时候就需要知道接下来从什么位置开始继续执行指令，PC寄存器就负责记录当前线程接下来要执行那一条指令内容。

示例演示：

JVM中 int 类型数值，根据取值范围将入栈的 字节码指令 就分为4类：

取值 -1~5 采用 iconst 指令；

取值 -128~127 采用 bipush 指令；

取值 -32768~32767 采用 sipush指令；

取值 -2147483648~2147483647 采用 ldc 指令

将一个局部变量加载到操作栈，比如iload、iload<n>、fload、fload<n>、lload、lload<n>、dload、dload<n>、aload、aload<n>；

将一个数值从操作数栈存储到局部变量表，比如istore、istore<n>、lstore、lstore<n>、fstore、fstore<n>、dstore、dstore<n>、astore、astore<n>；

将一个常量加载到操作数栈，比如bipush、sipush、ldc、ldc_w、ldc2_w、aconst_null、iconst_ml、iconst_<i>、lconst_<l>、fconst_<f>、dconst_<d>；

扩充局部变量表的访问索引的指令：wide；

加法指令：iadd、ladd、fadd、dadd；

减法指令：isub、lsub、fsub、dsub；

乘法指令：imul、lmul、fmul、dmul；

除法指令：idiv、ldiv、fdiv、ddiv；

求余指令：irem、lrem、frem、drem；

取反指令：ineg、lneg、fneg、dneg；

位移指令：ishl、ishr、iushr、lshl、lshr、lushr；

按位或指令：ior、lor；

按位与指令：iand、land；

按位异或指令：ixor、lxor；

局部变量自增指令：iinc；

比较指令：dcmpg、dcmpl、fcmpg、fcmpl、lcmp；

GC、OOM ？

虚拟机栈

虚拟机栈是什么？

早期也叫java栈，每个线程创建的时候都会创建一个虚拟机栈，其内部保存一个个的栈帧（Stack Frame），对应着一次次的Java方法调用，。

生命周期

虚拟机栈的生命周期和线程一致

作用

它的主要职责是主管Java程序的运行，保存方法的局部变量、部分结果，并参与方法的调用和返回

局部变量vs成员变量（属性）

基本数据类型变量 vs 引用类型变量（类、数组、接口）

虚拟机栈中保存的局部变量需要区分基本数据类型和引用数据类型的变量，虚拟机栈会直接保存基本数据类型的局部变量，但是只会保存引用类型变量的指针，指针指向引用类型变量在堆中的具体位置

栈的特点

栈是一种快速有效的分配存储方式，在运行时数据区中，虚拟机栈的访问速度仅次于程序计数器

jvm直接对java栈的操作只有两个

每个方法的执行伴随着进栈（入栈、压栈）

执行结束后的出栈工作

对于栈来说不存在垃圾回收问题

栈中可能出现的异常
JVM规范允许栈的大小是动态的或者固定不变的。
1、如果采用固定大小的虚拟机栈，那每一个线程的虚拟机栈容量可以在线程创建的时候指定。如果线程请求分配的栈容量超过JVM虚拟机栈所允许的最大容量，JVM会抛出一个StackOverflowError异常；
2、如果虚拟机栈的大小选择动态扩展，并且在尝试扩展的时候无法申请到足够的内存，或者在创建新的线程时没有足够的内存去创建对应的虚拟机栈，那JVM则会抛出一个OutofMenoryError异常。

指定虚拟机栈的大小：-Xss
通过-Xss配置可以指定虚拟机栈的大小，此配置是作用于JVM的，可以在启动jar的时候采用命令指定。

栈内部的存储结构

虚拟机栈是在每个线程中独立存在的，栈中的数据都是以栈帧的格式存在。

在这个线程中正在执行的每个方法都各自对应一个栈帧，

栈帧是一个内存区块，是一个数据集，维系着方法执行过程中的各种数据信息。

栈运行原理

JVM直接对Java栈的操作只有两个，就是对栈帧的压栈和出栈，遵循“先进后出”／“后进先出”原则。

在一条活动线程中，一个时间点上，只会有一个活动的栈帧。即只有当前正在执行的方法的栈帧（栈顶栈帧）是有效的，这个栈帧被称为当前栈帧（Current Frame），与当前栈帧相对应的方法就是当前方法（CurrentMethod），定义这个方法的类就是当前类（Current Class）。

执行引擎运行的所有字节码指令只针对当前栈帧迎行操作。

如果在该方法中调用了其他方法，对应的新的栈帧会被创建出来，放在栈的顶端，成为新的当前帧。

不同线程中所包含的栈帧是不允许存在相互引用的，即不可能在一个栈帧之中引用另外一个线程的栈帧。

如果当前方法调用了其他方法，方法返回之际，当前栈帧会传回此方法的执行结果给前一个栈帧，接着，虚拟机会丢弃当前栈帧，使得前一个栈帧重新成为当前栈帧。

Java方法有两种返回函数的方式，一种是正常的函数返回，使用return指令：另外一种是抛出异常。不管使用哪种方式，都会导致栈帧被弹出

栈桢的内部结构

局部变量表（Local Variables）

操作数栈（Operand Stack）（或表达式栈

动态链接（Dynamic Linking）（或指向运行时常量池的方法引用）

方法返回地址（Return Address）（或方法正常退出或者异常退出的定义）

一些附加信息

局部变量表

局部变量表也被称之为局部变量数组或本地变量表

定义为一个数字数组，主要用于存储方法参数和定义在方法体内的局部变量，这些数据类型包括各类基本数据类型、对象引用（reference），以及returnAddress类型。 I

由于局部变量表是建立在线程的栈上，是线程的私有数据，因此不存在数据安全问题

局部变量表所需的容量大小是在编译期确定下来的，并保存在方法的Code属性的maximum local variables数据项中。在方法运行期间是不会改变局部变量表的大小的。

方法嵌套调用的次数由栈大小决定。一般米说，栈越大，方法嵌套调用次I数越多。对一个函数而言，它的参数和局部变量越多，使得局部变量表膨胀，它的栈帧就越大，以满足方法调用所需传递的信息增大的需求。进而函数调用就会古用更多的栈空间，导致其嵌套调用次数就会减少。

局部变量表中的变量只在当前方法调用中有效。在方法执行时，虚拟机通过使用局部变量表完成参数值到参数变量列表的传递过程。当方法调用结束后，随着方法栈帧的销毁，局部变量表也会随之销毁。

关于slot的理解

参数值的存放总是在局部变量数组的index0开始，到数组长度-1的索引结束。

局部变量表，最基本的存储单元是Slot（变量槽）

局部变量表中存放编译期可知的各种基本数据类型（8种），引用类型（reference），returnAddress类型。

在局部变量表里，32位以内的类型只占用一个slot（包括returnAddress类型），64位的类型（1ong和double）占用两个slot。

byte，short 、char 在存储前被转换为int，boolean 也被转换为int，0 表示false，非01表示true。

long 和double 则占据两个Slot。

JVM会为局部变量表中的每一个slot都分配一个访问索引，通过这个索引即可成功访问到局部变量表中指定的局部变量值

当一个实例方法被调用的时候，它的方法参数和方法体内部定义的局部变量将会按照顺序被复制到局部变量志中的每一个s1ot上

如果需要访问局部变量表中一个64bit的局部变量值时，只需要使用前一个索引即可（比如：访问1ong或double类型变量）

如果当前帧是由构造方法或者实例方法创建的，那么该对象引用this将会存放在index为0的slot处，其余的参数按照参数表顺序继续排列。

Slot的重复利用

栈帧中的局部变量表中的槽位是可以重用的，如果一个局部变量过了其作用域，那么在其作用域之后申明的新的局部变量就很有可能会复用过期局部变量的槽位，从而达到节省资源的目的。

静态变量与局部变量的对比

参数表分配完毕之后，再根据方法体内定义的变量的顺序和作用域分配。

我们知道类变量表有两次初始化的机会，第一次是在“准备阶段”，执行系统初始化，对类变量设置零值，另一次则是在“初始化”阶段，赋予程序员在代码中定义的初始值。

和类变量初始化不同的是，局部变量表不存在系统初始化的过程，这意味着一旦定义了局部变量则必须人为的初始化，否则无法使用。

补充说明

在栈帧中，与性能调优关系最为密切的部分就是前面提到的局部变量表。在方法摄行时，虚拟机使用局部变量表完成方法的传递。

局部变量表中的变量也是重要的垃圾回收根节点，只要被局部变量表中直接或间接引用的对象都不会被回收。

操作数栈

每一个独立的栈帧中除了包含局部变量表以外，还包含一个后进先出（Last-In-First-Out）的操作数栈，也可以称之为表达式栈(Expression Stack)。

操作数栈，在方法执行过程中，根据字节码指令，往栈中写入数据或提取数据，即入栈（push）／出栈（pop）。

某些字节码指令将值压入操作数栈，其余的字节码指令将操作数取出栈。使用它们后再把结果压入栈。

比如：执行复制、交换、求和等操作

操作数栈，主要用于保存计算过程的中间结果，同时作为计算过程中变量临时的存储空间。

操作数栈就是JVM执行引擎的一个工作区，当一个方法刚开始执行的时候，一个新的栈帧也会随之被创建出来，这个方法的操作数栈是空的。

每一个操作数栈都会拥有一个明确的栈深度用于存储数值，其所需的最大深度在编译期就定义好了，保存在方法的Code属性中，为max stack的值。

栈中的任何一个元素都是可以任意的Java数据类型。

32bit的类型占用一个栈单位深度

64bit的类型占用两个栈单位深度

操作数栈并非采用访问索引的方式来进行数据访问的，而是只能通过标准的入栈（push）和出栈（pop）操作来完成一次数据访问。

如果被调用的方法带有返回值的话，其返回值将会被压入当前栈帧的操作数栈中，并更新PC寄存器中下一条需要执行的字节码指令。

操作数栈中元素的数据类型必须与字节码指令的序列严格匹配，这山编译器在编译器期间进行验证，同时在类加载过程中的类检验阶段的数据流分析阶段要再次验证。

另外，我们说Java虚拟机的解释引擎是基于栈的执行引擎，其中的栈指的就是操作数栈。

如果被调用的方法带有返回值的话，其返回值将会被压入当前栈帧的操作数栈中，并更新PC寄存器中下一条需要执行的字节码指令。

操作数栈中元素的数据类型必须与字节码指令的序列严格匹配，这由编译器在编译器期间进行验证，同时在类加载过程中的类检验阶段的数据流分析阶段要再次验证。

另外，我们说Java虚拟机的解释引擎是基于栈的执行引擎，其中的栈指的就是操作数栈。

操作指令分析

栈顶缓存技术

基于栈式架构的虚拟机所使用的零地址指令更加紧凑，但完成一项操作的时候必然需要使用更多的入栈和出栈指令，这同时也就意味若将需要更多的指令分派（instruction dispatch）次数和内存读／写次数。

由于操作数是存储在内存中的，因此频繁地执行内存读／写操作必然会影响执行速度。为了解决这个问题，HotSpot JVM的设计者们提出了栈顶缓存（Tos，Top-of-Stack Cashing）技术，将栈顶元素全部缓存在物理CPU的寄存器中，以此降低对内存的读／写次数，提升执行引擎的执行效率。

动态链接（或指向运行时常量池的方法引用）

每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接（Dynamic Linking）。比如：invokedynamic指令

在Java源文件被编译到字节码文件中时，所有的变量和方法引用都作为符号引用（Symbolic Reference）保存在class文件的常量池里。比如：描述一个方法调用了另外的其他方法时，就是通过常量池中指向方法的符号引用来表示的，那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。

===================================

为什么需要常量池呢？

常量池的作用，就是为了提供一些符号和常量，便于指令识别。

方法的调用

在JVM中，将符号引用转换为调用方法的直接引用与方法的绑定机制相关

静态链接：

当一个字节码文件被装载进JVM内部时，如果被调用的目标方法在编译期可知，

且运行期保持不变时。这种情况下将调用方法的符号引用转换为直接引用的

过程称之为静态链接。

动态链接：

如果被调用的方法在编译期无法被确定下来，也就是说，只能够在程序运行

期将调用方法的符号引用转换为直接引用，由于这种引用转换过程具备动念

性，因此也就被称之为动态链接。

对应的方法的绑定机制为：早期绑定（Early Binding）和晚期绑定（Late Binding）。绑定是一个字段、方法或者类在符号引用被替换为直接引用的过程，这仅仅发生一次。

早期绑定：

早期绑定就是指被调用的目标方法如果在编译期可知，且运行期保持不变时，即可将这个方法与所属的类型进行绑定，这样一来，由于明确了被调用的目。标方法究竟是哪一个，因此也就可以使用静态链接的方式将符号引用转换为直接引用。

晚期绑定：

如果被调用的方法在编译期无法被确定下来，只能够在程序运行期根据实际的类型绑定相关的方法，这种绑定方式也就被称之为晚期绑定。

随着高级语言的横空出世，类似于Java一样的基于面向对象的编程语言如今越来越多，尽管这类编程语言在语法风格上存在一定的差别，但是它们彼此之间始终保持着一个共性，那就是都支持封装、继承和多态等面向对象特性，既然这一类的编程语言具备多态特性，那么自然也就具备早期绑定和晚期绑定两种绑定方式。

Java中任何一个普通的方法其实都具备虚函数的特征，它们相当于C＋＋语言中的虚函数（C＋＋中则需要使用关键字virtual来显式定义）。如果在Java程序中不希望某个方法拥有虚函数的特征时，则可以使用关键字final来标记这个方法。

虚方法与非虚方法

非虚方法：

如果方法在编译期就确定了具体的调用版本，这个版本在运行时是不可变的。这样的方法称为非虚方法。

静态方法、私有方法、final方法、实例构造器、父类方法都是非虚方法。

其他方法称为虚方法。

虚拟机中提供了以下几条方法调用指令：

普通调用指令：

1．invokestatic：调用静态方法，解析阶段确定唯一方法版本

2． invokespecial：调用＜init＞方法、私有及父类方法，解析阶段确定唯一方法版本

3．invokevirtual：调用所有虚方法

4．invokeinterface：调用接口方法

动态调用指令：

5． invokedynamic：动态解析出需要调用的方法，然后执行

前四条指令固化在虚拟机内部，方法的调用执行不可人为干预，而invokedynamic指令则支持由用户确定方法版本。其中invokestatic指令和invokespecial指令调用的方法称为非虚方法，其余的（final修饰的除外）称为虚方法。

关于invokedynamic指令

JVM字节码指令集一直比较稳定，一直到Java7中才增加了一个invokedynamic指令，这是Java为了实现「动态类型语言』支持而做的一种改进。

但是在Java7中并没有提供直接生成invokedynamic指令的方法，需要借助ASM这种底层字节码工具来产生invokedynamic指令。直到Java8的Lambda表达式的出现，invokedynamic指令的生成，在Java中才有了直接的生成方式。

Java7中增加的动态语言类型支持的本质是对Java虚拟机规范的修改，而不是对Java语言规则的修改，这一块相对来讲比较复杂，增加了虚拟机中的方法调用，最直接的受益者就是运行在Java平台的动态语言的编译器。

动态类型语言和静态类型语言

动态类型语言和静态类型语言两者的区别就在于对类型的检查是在编译期还是在运行期，满足前者就是静态类型语言，反之是动态类型语言。

说的再直白一点就是，静态类型语言是判断变量自身的类型信息：动态类型语言是判断变量值的类型信息，变量没有类型信息，变量值才有类型信息，这是动态语言的一个重要特征。

方法重写的本质

1．找到操作数栈顶的第一个元素所执行的对象的实际类型，记作C。

2．如果在类型C中找到与常量中的描述符合简单名称都相符的方法，则进行访问权限校验，如果通过则返回这个方法的直接引用，查找过程结束；如果不通过，则返回java.lang.IllegalAccessError 异常。

3．否则，按照继承关系从下往上依次对C的各个父类进行第2步的搜索和验证过程。

4．如果始终没有找到合适的方法，则抛出 java．lang．AbstractMethodError异常。

IllegalAccessError介绍：

程序试图访问或修改一个属性或调用一个方法，这个属性或方法，你没有权限访问。一般的，这个会引起编译器异常。这个错误如果发生在运行时，就说明一个类发生了不兼容的改变。

虚方法表

在面向对象的编程中，会很频繁的使用到动态分派，如果在每次动态分派的过程中都要重新在类的方法元数据中搜索合适的目标的话就可能影响到执行效率。因此，为了提高性能，JVM采用在类的方法区建立一个虚方法表able）（非虚方法不会出现在表中）来实现。使用索引表来代替查找。

每个类中都有一个虚方法表，表中存放着各个方法的实际入口。

那么虚方法表什么时候被创建？

虚方法表会在类加载的链接阶段被创建并开始初始化，类的变量初始值准备完成之后，JVM会把该类的方法表也初始化完毕。

================================

方法返回地址

存放调用该方法的pc寄存器的值。

个方法的结束，有两种方式：

正常执行完成

出现未处理的异常，非正常退出

无论通过哪种方式退出，在方法退出后都返回到该方法被调用的位置。方法正常退出时，调用者的pc计数器的值作为返回地址，即调用该方法的指令的下一条指令的地址。而通过异常退出的，返回地址是要通过异常表来确定，栈帧中一般不会保存这部分信息。

当一个方法开始执行后，只有两种方式可以退出这个方法：

1、执行引擎遇到任意一个方法返回的字节码指令（return），会有返回值传递给上层的方法调用者，简称正常完成出口；

一个方法在正常调用完成之后究竟需要使用哪一个返回指令还需要根据方法返回值。的实际数据类型而定。

在字节码指令中，返回指令包含ireturn（当返回值是boolean、byte、char、short和int类型时使用）、1return、freturn、dreturn以及areturn，另外还有一个return指令供声明为void的方法、实例初始化方法、类和接口的初始化方法使用。

2、在方法执行的过程中遇到1异常（Exception），并且这个异常没有在方法内进行处理，也就是只要在本方法的异常表中没有搜索到匹配的异常处理器，就会导致方法退出。简称异常完成出口。

方法执行过程中抛出异常时的异常处理，存储在一个异常处理表，方便在发生异常的时候找到处理异常的代码。

本质上，方法的退出就是当前栈帧出栈的过程。此时，需要恢复上层方法的局部变量表、操作数栈、将返回值压入调用者栈帧的操作数栈、设置PC寄存器值等，让调用者方法继续执行下去。

正常完成出口和异常完成出口的区别在丁：通过异常完成出口退出的不会给他的上层调用者产生任何的返回值！

一些附加信息

栈帧中还允许携带与Java虚拟机实现相关的一些附加信息。例如，对程序调试提供支持的信息。

另外有些地方会将动态链接、方法返回地址、一些附加信息统称为帧数据区

本地方法接口

1、一个Native Method就是一个Java调用非Java代码的接口。一个Native Method是这样一个Java方法:该方法的实现由非Java语言实现，比如C,。这个特征并非Java所特有，很多其它的编程语言都有这一机制，比如在C++中，你可以用extern "C"告知C++编译器去调用一个C的函数。

"A native method is a Java method whose implementation isprovided by non-java code . "

在定义一个native method时，并不提供实现体（有些像定义一个Javainterface)，因为其实现体是由非java语言在外面实现的。

本地接口的作用是融合不同的编程语言为Java所用，它的初衷是融合C/C++程序。

2、为什么使用Native Method

Java使用起来非常方便，然而有些层次的任务用Java实现起来不容易，或者我们对程序的效率很在意时，问题就来了。

2.1、与Java环境外交互

有时Java应用需要与Java外面的环境交互，这是本地方法存在的主要原因。你可以想想Java需要与一些底层系统，如操作系统或某些硬件交换信息时的情况。本地方法正是这样一种交流机制:它为我们提供了一个非常简洁的接口，而且我们无需去了解Java应用之外的繁琐的细节。

2.2、与操作系统交互

JVM支持着Java语言本身和运行时库，它是Java程序赖以生存的平台，它由一个解释器（解释字节码）和一些连接到本地代码的库组成。然而不管怎样，它毕竟不是一个完整的系统，它经常依赖于一些底层系统的支持。这些底层系统常常是强大的操作系统。通过使用本地方法，我们得以用Java实现了jre的与底层系统的交互，甚至JVM的一些部分就是用C写的。还有，如果我们要使用一些Java语言本身没有提供封装的操作系统的特性时，我们也需要使用本地方法。

2.3、Sun's Java

Sun的解释器是用C实现的，这使得它能像一些普通的C一样与外部交互。jre大部分是用Java实现的，它也通过一些本地方法与外界交互。例如:类iava.lang.Thread的 setPriority()方法是用Java实现的，但是它实现调用的是该类里的本地方法setPriority0()。这个本地方法是用C实现的，并被植入JVM内部，在Windows 95的平台上，这个本地方法最终将调用Win32 SetPriority () API。这是一个本地方法的具体实现由JVM直接提供，更多的情况是本地方法由外部的动态链接库(external dynamic link library）提供，然后被JVM调用。

本地方法栈

1、Java虚拟机栈用于管理Java方法的调用，而本地方法栈用于管理本地方法的调用。|

2、本地方法栈，也是线程私有的。

3、允许被实现成固定或者是可动态扩展的内存大小。(在内存溢出方面是相同的)。①、如果线程请求分配的栈容量超过本地方法栈允许的最大容量，Java虚拟机将会抛出一个 stackoverflowError异常。②、如果本地方法栈可以动态扩展，并且在尝试扩展的时候无法申请到足够的内存，或者在创建新的线程时没有足够的内存去创建对应的本地方法栈，那么Java虚拟机将会抛出一个OutofMemoryError异常。

4、本地方法是使用c语言实现的。

5、它的具体做法是Native Method stack中登记native方法，在Execution Engine执行时加载本地方法库。

6、当某个线程调用一个本地方法时，它就进入了一个全新的并且不再受虚拟机限制的世界。它和虚拟机拥有同样的权限。①、本地方法可以通过本地方法接口来访问虚拟机内部的运行时数据区。②、它甚至可以直接使用本地处理器中的寄存器。③、直接从本地内存的堆中分配任意数量的内存。

7、并不是所有的JVM都支持本地方法。因为Java虚拟机规范并没有明确要求本地方法栈的使用语言、具体实现方式、数据结构等。如果JVM产品不打算支持native方法，也可以无需实现本地方法栈。

8、在Hotspot JVM中，直接将本地方法栈和虚拟机栈合二为一。

HotSpot指的是它的热点代码探测技术

通过计数器找到最具编译价值代码，触发即使编辑或栈上替换

通过编译器与解释器协同工作，在最优化的程序响应时间与最佳执行性能中取得平衡