【笔记一】Java程序运行时,内存是如何分配的

Java 虚拟机在执行Java 程序的过程中,会把它所管理的内存划分为不同的数据区域;主要分为:程序计数器虚拟机栈本地方法栈方法区

下图描述一个 HelloWord.java 文件被加载到内存的过程:

  • HelloWord.java 首先需要经过编译器编译,生成 HelloWord.class 字节码文件;
  • Java 程序中访问 HelloWord 这个类时,需要通过 ClassLoader(类加载器) 将HelloWord.class加载到 JVM 内存中;
  • JVM 中的内存可以划分为若干个不同的数据区域,主要分为:程序计数器、虚拟机栈、本地方法栈、堆、方法区。
img

1.1 程序计数器(Program Counter Register)

Java 程序时多线程的,CPU 可以在多个线程中分配执行时间片段,当其中一个线程被 CPU 挂起时,需要记录代码已经执行到的位置,方便 CPU 重新执行此线程时,可以知道从那一行指令开始继续执行,这就是程序计数器的作用。

"程序计数器" 是虚拟机中较小的一块存储空间,主要用于记录当前线程执行的位置。

如下图所示:每个线程都会记录一个当前方法执行到的位置,当 CPU 切回到某一个线程时,可以根据程序计数器记录的位置,继续向下执行指令。

img

除了上图所示的恢复线程数据之外,其他一些我们熟悉的分支操作、循环操作、跳转、异常处理等也都需要依赖程序计数器来完成

关于程序计数器需要注意的地方:

  1. 在 Java 虚拟机规范中,并没有对程序计数器这一区域规定任何的 OutOfMemoryError 情况。

  2. 程序计数器是线程私有的,每个线程中都有一个程序计数器。它的生命周期随着线程的创建而创建,随着线程的结束而死亡。

  3. 当一个线程正在执行一个 Java 方法的时候,这个程序计数器记录的是正在执行的虚拟机字节码指令的地址。如果正在执行的是 Native 方法,这个程序计数器的值是则为空(Undefined)。

1.2 虚拟机栈

虚拟机栈也是线程私有的,与线程的生命周期同步。在 Java 虚拟机规范中,对各个区域规定了两种异常状况:

  1. StackOverflowError :当线程请求栈深度超出虚拟机栈所允许的深度时抛出。
  2. OutOfMemoryError :当 Java 虚拟机栈动态扩展到无法申请足够内存时抛出。

在我们学习Java 虚拟机的过程中,经常会看到一句话

JVM 是基于栈的解释器执行的,DVM 是基于寄存器的解释器执行的。

上面这句话中的 『基于栈』指的就是虚拟机栈。虚拟机栈的初衷是用来描述 Java 方法执行的内存模型,每个方法被执行的时候,JVM 都会在虚拟机栈中创建一个栈帧,接下来看这个栈帧具体是什么:

1.2.1 栈帧

栈帧(Stack Frame) 是用于支持虚拟机进行方法调用和执行的数据结构,每一个线程在执行某个方法时,都会为该方法创建一个对应的栈帧。

我们可以这样理解:**一个线程包含多个栈帧,而每个栈帧内部包含『局部变量表』,『操作数栈』,『动态链接』『返回地址』等。**如下图所示:

img

1.2.1.1 局部变量表

局部变量表是变量值的存储空间,我们调用方法时传递的参数,以及在方法内部创建的局部变量都保存在 局部变量表 中。在 Java 编译成 class 文件的时候,就会在方法的 Code 属性表中的 max_locals 数据项中,确定该方法需要分配的最大局部变量表的容量。如下代码所示:

public static int add(int k) {
	int i = 1;
	int j = 2;
	return i + j + k;
}

使用 javap -v 反编译之后,得到如下字节码指令:

public static int add(int);
    descriptor: (I)I
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
         0: iconst_1
         1: istore_1
         2: iconst_2
         3: istore_2
         4: iload_1
         5: iload_2
         6: iadd
         7: iload_0
         8: iadd
         9: ireturn
     

上面的 locals=3 代表的就是局部变量表的长度为3,也就是说经过编译之后,局部变量表的长度已经固定为3,分别保存 参数k 和 局部变量 i 、j 。

注意:系统不会为局部变量表赋予初始值(实例变量和类变量都会被赋予初始值),也就是说不存在类变量那样的准备阶段。

1.2.1.2 操作数栈

**操作数栈(Operand Stack)**也常称为操作栈,它是一个后入先出栈(LIFO)。

同局部变量表一样,操作数栈的最大深度也是在编译的时候写入方法的 Code 属性表中的 max_tacks 数据项中。栈中的数据元素可以是任意的Java 数据类型,包括longdouble

当一个方法刚刚开始执行时,这个方法的操作数栈时空的;在方法执行过程中,会有各种字节码的指令被压入和弹出操作数栈。比如:iadd 指令就是将操作数栈中栈顶的两个整型元素弹出,执行加法运算,并将运算结果重新压回操作数栈中。

1.2.1.3 动态链接

动态链接 的主要目的是为了支持方法调用过程中的动态链接(Dynamic Linking)。

在一个class 文件中,一个方法调用其他方法,需要将这些方法的符号引用转化为其所在内存地址中的直接引用;而符号引用存在于方法区中。

在Java虚拟机栈中,每个栈帧都包含一个指向运行时常量池中该栈中所属方法的符号引用,持有这个引用的目的就是为了支持方法调用过程中的动态链接(Dynamic Linking)。

1.2.1.4 返回地址

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

  • 正常退出 :指方法中的代码正常完成,或者遇到任意一个方法返回的字节码指令(如return)并退出,没有抛出任何异常;
  • 异常退出 :指方法执行过程中遇到异常,并且这个异常在方法体中没有得到处理,导致方法退出。

无论当前方法采用何种方式退出,在方法退出后,都需要返回到方法被调用的位置,程序才能继续执行。而虚拟机栈中所说的返回地址就是用来帮助当前方法恢复它的上层方法执行状态。

一般来说,方法正常退出时,调用者的 PC 计数值可以作为返回地址,栈帧中可能保存此计数值。而方法异常退出时,返回地址是通过异常处理表确定的,栈帧中一般不会保存此部分信息。

实例讲解

用一个简单的add() 代码来演示

public int add() {
  int i = 1;
  int j = 2;
  int result = i + j;
  return result + 10;
}

经过 javap -v之后的字节码指令如下:

0: iconst_1    (把常量 1 压入操作数栈栈顶)
1: istore_1    (把操作数栈栈顶的出栈放入局部变量表索引为 1 的位置)
2: iconst_2    (把常量 2 压入操作数栈栈顶)
3: istore_2    (把操作数栈栈顶的出栈放入局部变量表索引为 2 的位置)
4: iload_1     (把局部变量表索引为 1 的值放入操作数栈栈顶)
5: iload_2     (把局部变量表索引为 2 的值放入操作数栈栈顶)
6: iadd        (将操作数栈栈顶的和栈顶下面的一个进行加法运算后放入栈顶)
7: istore_3    (把操作数栈栈顶的出栈放入局部变量表索引为 3 的位置)
8: iload_3     (把局部变量表索引为 3 的值放入操作数栈栈顶)
9: bipush 10   (把常量 10 压入操作数栈栈顶)
11: iadd       (将操作数栈栈顶的和栈顶下面的一个进行加法运算后放入栈顶)
12: ireturn    (结束)

可以看到:局部变量表操作数栈在代码执行期间是协同合作来达到某一运算效果的。接下来通过图示来看下这几行代码执行期间,虚拟机栈的实际情况。

  • iconst 和 bipush,这两个指令都是将常量压入操作数栈顶,区别就是:当 int 取值 -1~5 采用 iconst 指令,取值 -128~127 采用 bipush 指令。
  • istore 将操作数栈顶的元素放入局部变量表的某索引位置,比如 istore_5 代表将操作数栈顶元素放入局部变量表下标为 5 的位置。
  • iload 将局部变量表中某下标上的值加载到操作数栈顶中,比如 iload_2 代表将局部变量表索引为 2 上的值压入操作数栈顶。
  • iadd 代表加法运算,具体是将操作数栈最上方的两个元素进行相加操作,然后将结果重新压入栈顶。

首先在 .java 文件被编译成 .class 文件的时候,栈帧中需要多大的局部变量表,多深的操作数栈都已经完全确定了,并且写入到的方法的Code 属性中。因此这会局部变量表的大小是确定的,add() 方法中有3 个局部变量,因此局部变量表大小为3,但是操作数栈此时为空。

所以刚刚执行到 add() 方法时,局部变量表和操作数栈的情况如下:

img

iconst_1 将常量1压入操作数栈顶,结果如下:

img

istore_1 把操作数栈顶的元素出栈并放入局部变量表下标为 1 的位置,结果如下:

img

可以看出此时操作数栈重新变为空,并将出栈的元素 1 保存在局部变量表中。

iconst_2 把常量 2 压入操作数栈顶,结果如下:

img

istore_2 把操作数栈顶的元素出栈并放入局部变量表下标为 2 的位置,结果如下:

img

接下来是两步 iload 操作,分别是 iload_1 和 iload_2。分别代表的是将局部变量表中下标为 1 和下标为 2 的元素重新压入操作数栈中,结果如下:

img

接下来进行 iadd 操作,这个操作会将栈顶最上方的两个元素(也就是 1、2)进行加法操作,然后将结果重新压入到栈顶,执行完之后的结果如下:

img

istor_3 将操作数栈顶的元素出栈,并保存在局部变量表下标为 3 的位置。结果如下:

img

iload_3 将局部变量表中下标为 3 的元素重新压入到操作数栈顶,结果如下:

img

bipush 10 将常量 10 压入到操作数栈中,结果如下:

img

再次执行 iadd 操作,注意此时栈顶最上方的两个元素为 3 和 10,所以执行完结果如下:

img

最后执行 return 指令,将操作数栈顶的元素 13 返回给上层方法。至此 add() 方法执行完毕。局部变量表和操作数栈也会相继被销毁。

1.3 本地方法栈

本地方法栈和上面所讲的虚拟机栈基本相同,只不过是针对本地(Native)方法。如果在开发中涉及 JNI 可能接触本地方法栈多一点。有些虚拟机的实现已经将两个栈合二为一了(比如HotSpot)。

1.4 堆

Java 堆(Heap)是 JVM 所管理的内存区域中最大的一块,该区域唯一的目的就是存放对象实例,几乎所有对象的实例都在堆里面分配,因此它也是 Java 垃圾收集器(GC)管理的主要区域,有时也叫 GC 堆。同时,它也是所有线程共享的内存区域,因此被分配在此区域的对象被多个线程访问的话,需要考虑线程安全问题。

按照对象存储时间的不同,堆中的内存可以划分为新生代(Young)老年代(Old),其中新生代又被划分为 EdenSurvivor 区。

img

图中不同的存放区域具有不同的生命周期的对象。这样可以根据不同的区域使用不同的垃圾回收算法,从而更具有针对性,进而提高垃圾回收效率。

1.5 方法区

方法区(Method Area)是 JVM 规范中规定的一块运行时数据区。方法区主要时存储已经被 JVM 加载的类信息(版本、字段、方法、接口)、常量、静态变量、即时编译器编译后的代码和数据。该区域和堆一样,也是被各个线程共享的内存区域。

注意:关于方法区很多开发者会将其跟『永久区』混淆。

  1. 方法区是 JVM 规范中规定的一块内存区域,但并不是实际实现,切记将规范和实现混为一谈,不同的 JVM 厂商可以有不同版本的『方法区』的实现。
  2. HotSpot 在 JDK 1.7 之前使用『永久区』(或者叫 Perm 区)来实现方法区 ,在JDK 1.8 之后『永久区』就被移除掉了,取而代之的是一个叫做 『元空间(metaspace)』的实现方式。

总结一下就是:

1. 方法区是规范层面的东西,规定了这一区域要存放哪些数据。
2. 永久区或者metaspace是堆方法区的不同的实现,是实现层面的东西。

1.6 异常情况

1.6.1 StackOverflowError 栈溢出异常

递归调用是造成 StackOverflowError 的一个常见场景,如以下代码:

public class StackOver{
  private int number;
  
  public static void main(String[] args){
    StackOver so = new StackOver();
    try{
      so.method();
    }catch(Exception e){
      System.out.println("出现栈溢出");
    }
  }
  
  
  public void method(){
    number++;
    method();
  }
}

在method方法中,递归调用了自身,并且没有设置递归结束条件。运行上述代码时,则会产生StackOverflowError。

原因就是每调用一次method方法时,都会在虚拟机栈中创建出一个栈帧。因为是递归调用,method方法并不会退出,也不会将栈帧销毁,所以必然会导致StackOverflowError。因此当需要使用递归时,需要格外谨慎。

1.6.2 OutOfMemeryError 内存溢出异常

理论上,虚拟机栈、堆、方法区都有可能发生 OutOfMemeryError ,但是实际项目中,大多数发生在堆当中。如以下代码:

import java.util.ArraryList;

public class HeapError{
  public static void main(String[] args){
    ArraryList<HeapError> list = new ArraryList();
    while(true){
      list.add(new HeapError());
    }
  }
}

在一个无限循环中,动态向ArrayList 中添加新的 HeapError 对象。这会不断的占用堆中的内存,当堆内存不够用时,必然会产生 OutOfMemeryError ,也就是内存溢出异常。

总结

对应 JVM 运行时内存分布,我们要记住,上面介绍的这 5 点都是在 Java 虚拟机规范中定义的规则,这些规则只是描述了各个区域做什么事情,存储什么样的数据,如何处理异常以及是否允许线程间共享等,不要理解成虚拟机的『具体实现』

虚拟机的具体实现又很多,比如Sun 公司的 HotSpot,JRocket,IBM J9 以及 Android Dalvik 和 ART 等。这些具体实现,在符合上面5中运行时数据区的前提下,又各自有不同的实现方式。

img

总的来说,JVM 的运行时内存结构中一共有两个“栈”和一个“堆”,分别是:Java 虚拟机栈和本地方法栈,以及“GC堆”和方法区。除此之外还有一个程序计数器。 JVM 内存中只有堆和方法区是线程共享的数据区域,其它区域都是线程私有的。并且程序计数器是唯一一个在 Java 虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。