Java内存模型(三)

---

前言

  Java内存区域和Java内存模型并非同一个概念，Java内存区域通常指Java虚拟机运行时数据区(Runtime Data Area)，在运行过程中，将各种数据分区域存储，其强调的是对内存空间的划分。而Java内存模型(Java Memory Model，JMM)是对Java线程和主存之间关系的抽象，定义了JVM在计算机内存(RAM)中的工作方式，比如线程之间的通信机制等。
  Java内存区域可以看作是Java内存模型的一个子集，这篇文章，我们将详细讨论Java内存区域的相关内容。

1 运行时数据区(Runtime Data Area)

  JVM运行时数据区，包括方法区、堆、虚拟机栈、本地方法栈和程序计数器五个部分。其中方法区和堆是线程共享区域，虚拟机栈、本地方法栈和程序计数器是线程隔离区域。运行时数据区中的各个区域分别存放不同的数据内容。

1.1 程序计数器

  程序计数器中记录了当前线程执行的位置，JVM中的多个线程是通过获取CPU的时间片在CPU上轮流执行的，在同一时刻，一个CPU内核上只能有一个线程执行。为了使线程切换后能恢复到正确的执行位置，每个线程都需要有一个独立的程序计数器，各条线程之间计数器互不影响，独立存储。

1.2 虚拟机栈

  程序运行过程中，每个方法在执行的时候都会创建一个栈帧。栈帧包含局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程。

1.3 本地方法栈

  本地方法栈与虚拟机栈类似，它们之间的区别在于虚拟机栈是执行Java方法时生成的栈，而本地方法栈是执行Native方法时生成。

1.4 堆

  在虚拟机启动时创建，此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。堆是垃圾收集器管理的主要区域，因此也被称为“GC堆”。堆中内存区域划分和垃圾回收的相关内容，将在后续文章中介绍。

1.5 方法区

  方法区用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。在JDK8之前，Hotspot中方法区的实现是永久(Perm)，JDK8 开始使用元空间(Metaspace)代替，永久代中的字符串常量移至堆内存，其他数据移至元空间。元空间并不在JVM内存中，而是在本地内存进行分配。
  Metaspace取代PermGen的原因：

• 字符串存在永久代中，容易出现性能问题和内存溢出。
• 类及方法的信息等比较难确定其大小，因此对于永久代的大小指定比较困难，太小容易出现永久代溢出，太大则容易导致老年代溢出。
• 永久代会为 GC 带来不必要的复杂度，并且回收效率偏低。

由于 PermGen 内存经常会溢出，引发恼人的 java.lang.OutOfMemoryError: PermGen，因此 JVM 的开发者希望这一块内存可以更灵活地被管理，不要再经常出现这样的 OOM

2 常用指令

2.1 字节码解析案列

  上一节内容中提到，JVM是通过虚拟机栈中压栈和出栈的方式进行方法调用，而在每一个栈帧中，是通过数据的压栈和出栈来执行指令。

	public static void main(String[] args) {
        int i = 8;
        i = i + 2;
        System.out.println(i);
    }

上面是一个简单的main方法，定义一个int类型变量i = 8，i加2之后重新赋值给i并打印，编译成字节码后如下：

 0 bipush 8  // 将数值8入栈
 2 istore_1  // 将栈顶的数值8赋值给局部变量表中第一个变量，即i
 3 iload_1  // 将局部变量表中第一个变量入栈
 4 iconst_2  // 将常数2入栈
 5 iadd  // 将栈顶的两个值出栈并相加，再将结果入栈
 6 istore_1 // 将上一步中的结果出栈赋值给局部变量表中第一个变量
 7 getstatic #2 <java/lang/System.out> 
10 iload_1
11 invokevirtual #3 <java/io/PrintStream.println>
14 return

局部变量表：

2.2 常用指令

  JVM常用指令有store、load、pop、mul、invoke等，可以通过《The Java^® Virtual Machine Specification》查看具体介绍。