JVM内功心法-JVM内存模型之内存区域

JVM内功心法-JVM内存模型之内存区域

1. 程序计数器（线程隔离）
   

   程序计数器（Program Counter Register）：也叫PC寄存器，是一块较小的内存空间，它可以看做是当前线程所执行的字节码的行号指示器。在虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令、分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。
   
   打开字节码文件可以看到一排排的index加上相应的指令，这个程序计数器就是用来记录这个即将执行的一个流程，当然这个顺序是可以改变的，这里涉及到一个概念叫指令重排，在并发编程里面对这个有具体的讲解，这里不过多的阐述了
   
   思考1：使用PC寄存器存储字节码指令地址有什么用呢？
   　　答：多线程宏观上是并行（多个事件在同一时刻同时发生）的，但实际上是并发交替执行的（只要速度够换线程是感受不到切换的延迟），因为CPU需要不停的切换各个线程，这时候切换回来以后，就得知道接着从哪开始继续执行，JVM的字节码解释器就需要通过改变PC寄存器的值来明确下一条应该执行什么样的字节码指令，这样以此保证代码执行过程中不会落下某一行代码。
   
   思考2：PC寄存器为什么会设定为线程私有？
   　　答：多线程在一个特定的时间段内只会执行其中某一个线程的方法，CPU会在用户态和内核态之前切换，这时候当然是为每个线程分配一个PC寄存器，这样来保证每个线程都是独立且不受干扰的

• 本地方法栈（线程隔离）
  
  
  　　看源码的时候经常能碰到native修饰的方法，而且还不能继续往下看，这就是我们常说的本地方法栈中的方法，native方法就是一个Java调用非Java代码的接口。native 方法是这样一个Java方法：该方法的实现由非Java语言实现，比如C。这个特征并非Java特有，很多其他的编程语言都有这一机制，比如在C++中可以用 extern “C” 告知C++编译器去调用一个C的函数，本地方法接口的作用是融合不同的编程语言为Java所用，它的初衷是融合C/C++程序
  　　
  思考1：为什么要使用native方法
  　　答：有时Java应用需要与Java外面的环境交互，这是本地方法存在的主要原因。例如Java需要与一些底层系统如操作系统或某些硬件交换信息时的情况。本地方法正是这样一种交流机制：它为我们提供一个非常简洁的接口，而且我们无需去了解Java应用之外的繁琐的细节。【像JUC包下面的有大量操作线程的方法都是需要与底层交互，靠java无法去调动底层的驱动引擎及cpu线程，而操作系统底层早就提供了C/C++的api供你去调用，这样一来系统底层定义了规范也彻底的与外界隔离保证了安全，你只需要知道我能帮你完成某个动作，而不用了解我是怎么完成的，有点像接口与接口实现类的关系，你只需要调接口，至于怎么实现接口你不用关心】

• 虚拟机栈（线程隔离）
  

Java虚拟机栈(Java virtual Machine stack) ,早期也叫Java栈。每个线程在创建时都会创建一个虚拟机栈,其内部保存一个个的栈帧(stack Frame) ,对应着一次次的Java方法调用。一次方法的调用，就是栈帧入栈到出栈的过程，一个栈帧记录了一个方法的全部信息，虚拟机栈是线程私有的，每个线程都有一个独立的栈结构。

class Demo {

    public int method1() {
       return 1;
    }
    public int method2() {
        return 2;
    }
    public int method3() {
        return 3;
    }
    public int method4() {
        return 4;
    }
}

1.局部变量表（Local Variables）
（1）用于存储方法参数和定义在方法体内的局部变量，这些数据类型包括各类本数据类型、对象引用，以及ReturnAddress类型

2.操作数栈（Oprand Stack）
（1）主要用于保存操作过程中的中间结果，同时作为计算过程中变量临时的存储空间操作数栈就是jvm执行引擎的一个工作区，当一个方法刚开始执行的时候，一个新的栈帧也会随之被创建出来，这个方法的操作数栈是空的
（2）每一个操作数栈都会拥有一个明确的栈深度用于存储数值，其所需的最大深度在编译期就定义好了，保存在方法的code属性中，为max_stack的值
（3）栈中的任何一个元素都是可以任意的java数据类型，32bit的类型占用一个栈单位深度，64bit的类型占用两个栈单位深度
（4）操作数栈并非采用访问索引的方式来进行数据访问的，而是只能通过标准的入栈（push）和出栈（pop）操作来完成一次数据访问

常见指令含义：
    （1）入操作数栈 iconst[-1 - 5],bipush[-128 - 127],sipubh[-32768 - 32767],Idc[-2147483648 - 2147483647]
    例如上图中iconst_1表示就是入操作数栈数字1，指令接的数字就是入栈的数据
    （2）从操作数栈到局部变量表 istore
}   例如上图中istore_1就是放在局部变量表下标为1的位置
    （3）从局部变量表到操作数栈 iload
     例如上图中iload_1表示局部变量表下标为1的位置取出来放到操作数栈
    （4）idd 相加结果集
     例如上图中iadd表示把i+j的结果相加

3.动态链接（Dynamic Linking）
（1）链接
　　每个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接（Dynamic Linking）.比如：invokedynamic指令
在java源文件被编译到字节码文件中时，所有的变量和方法引用都作为符号引用（Symbolic Reference）保存在class文件的常量池里。比如：描述一个方法调用了另外的其他方法时，就是通过常量池中指向方法的符号引用来表示的，那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用
1）静态链接
　　当一个字节码文件被装载进jvm内部时，如果被调用的目标方法在编译期可知，且运行期保持不变时。这种情况下将调用方法的符号引用转换为直接引用的过程称为静态链接
2）动态链接
　　如果被调用的方法在编译期无法被确定下来，也就是说，只能够在程序运行期将调用方法的符号引用转换为直接引用，由于这种引用转换过程具备动态性，因此也就被称之为动态链接

（2）绑定机制
　　对应的方法的绑定机制为：早期绑定（Early Binding）和晚期绑定（Late Binding）。绑定是一个字段、方法或者类在符号引用被替换为直接引用的过程，这仅仅发生一次。
1）早期绑定
　　早期绑定就是指被调用的目标方法如果在编译期可知，且运行期保持不变时，即可将这个方法与所属的类型进行绑定，这样一来，由于明确了被调用的目标方法究竟是哪一个，因此也就可以使用静态链接的方式将符号引用转换为直接引用。
2）晚期绑定
　　如果被调用的方法在编译期无法被确定下来，只能够在程序运行期根据实际的类型绑定相关的方法，这种绑定方式也就被称之为晚期绑定。

/**
 * Animal
 *
 * @author OMZ
 * @create 2022/05/03
 */
public class Animal {
    public void eat(){
        System.out.println("吃东西");
    }
    public void sleep(Animal animal){
        animal.sleep();
    }
}
class Mokey extends Animal{
    @Override
    public void eat(){
        super.eat(); //早期绑定，编译期间就已经知道被调用的目标方法
        System.out.println("猴子吃东西");
    }
}
class Tiger extends Animal{
    @Override
    public void sleep(Animal animal){
        animal.eat(); //晚期绑定，在运行过程中才知道谁是调用对象
        System.out.println("老虎吃东西");
    }

    public static void main(String[] args) {
        Tiger tiger=new Tiger();
        tiger.sleep(new Mokey());
    }
}

JVM调用方法有五条指令分别是invokestatic,invokespecial,invokevirtual,invokeinterface,invokedynamic。invokestatic用来调用静态方法；invokespecial用来调用私有方法，父类方法(super.)，类构造器方法；invokeinterface调用接口方法；invokedynamic方法动态执行；invokevirtual调用所有虚方法【编译器无法确认调用对象的方法】，即除了以上的方法外全用invokevirtual调用。

4.方法返回地址（Return Address）(或方法正常退出或者异常退出的定义)
（1）方法正常退出时，调用者的pc寄存器的值作为返回地址，即调用该方法的指令的下一条指令的地址。而通过异常退出的，返回地址是要通过异常表来确定，栈帧中一般不会保存这部分信息。

• 堆区（线程共享）
  
  （1）新生代
  　　新生代中分为了三个区域，分别时Eden、ServivorTo、ServivorFrom(这两空间交替变成ServivorTo和ServivorFrom的)
　　Eden:我们新创建的对象首先就会放入到Eden区。
  　　ServivorTo（S0）:存放上一次MinorGC的幸存者，也是下一次的ServivorFrom区。
  　　ServivorFrom（S1）:存放的是上一次MinorGC的幸存者，在上一次中他是ServivorTo区，他在这一次中充当被扫描者的角色 。
  （2）老年代
  　　老年代主要存放的就是长生命周期的对象和大对象，不会频繁出发GC了，老年代的GC叫做MajorGC，在进行老年代GC之前，他会调用新生代的GC一次，然后将那些要存放到老年代的对象都复制过来，如果在新生代GC后，老年代的空间不足，那么就会触发MajorGC
  （3）永久代
  　　永久代主要保存的是Class和元数据信息，Class在类加载时被放入永久代，永久代不会触发GC，因为他不会GC，所以他的内存会随着加载Class文件的增加而增加，加载的Class文件过多时就会OOM，比如Tomcat引用的jar文件过多时就会导致JVM内存不足而无法启动
  在1.8之前，永久代是用的JVM虚拟机的内存，所以他的实际可用内存就受到了JVM内存的限制，1.8之后用的是操作系统的内存

• 元空间（线程共享）
  
  思考1：JDK1.7的永久代和JDK1.8的元空间有什么区别？
  　　答：存储位置不同：永久代在物理上是堆的一部分，和新生代、老年代的地址是连续的，而元空间属于本地内存。存储内容不同：在原来的永久代划分中，永久代用来存放类的元数据信息、静态变量以及常量池等。现在类的元信息存储在元空间中，静态变量和常量池等并入堆中，相当于原来的永久代中的数据，被元空间和堆内存给瓜分了。
  
  思考2：为什么要废弃永久代，引入元空间？
  　　答：在原来的永久代划分中，永久代需要存放类的元数据、静态变量和常量等。它的大小不容易确定，因为这其中有很多影响因素，比如类的总数，常量池的大小和方法数量等，-XX:MaxPermSize 指定太小很容易造成永久代内存溢出。移除永久代是为融合HotSpot VM与 JRockit VM而做出的努力，因为JRockit没有永久代，不需要配置永久代。永久代会为GC带来不必要的复杂度，并且回收效率偏低。由于类的元数据分配在本地内存中，元空间的最大可分配空间就是系统可用内存空间。不会遇到永久代存在时的内存溢出错误。将运行时常量池从PermGen分离出来，与类的元数据分开，提升类元数据的独立性。将元数据从PermGen剥离出来到Metaspace，可以提升对元数据的管理同时提升GC效率。