引言

  我们经常会被问到一个问题是Java和C++有何区别？我们除了能回答一个是面向对象、一个是面向过程编程以外，我们还会从底层内存管理和垃圾收集方面作出比较。
  对于C++而言，程序员既要做程序设计开发又要维护底层内存管理；而对于Java而言，程序员不需要控制底层，只需要安心写自己的代码即可，因为Java虚拟机自动实现了内存管理以及垃圾回收。
  但是，我们写的程序或者程序环境问题等也时长出现内存泄露和溢出，这个时候程序员如果不知道虚拟机如何分配和管理内存，排查问题将举步维艰。下面我们就来一起看看，Java虚拟机内存是如何划分的。

运行时数据区

概念

  Java虚拟机在执行Java程序时，会将内存区域划分为不同的数据区域（运行时数据区）。有些数据区域是跟随VM进程的启动而存在，有的区域是跟随用户线程的启动和结束而建立和销毁。

分类

  一般运行时数据区分为：程序计数器、虚拟机栈、本地方法栈、Java堆、方法区、运行时常量池。

结构

内存划分

程序计数器

定义

  程序计数器（Program Counter Register）是一块较小的内存空间，是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选择下一条需要执行的字节码指令（分支、循环、跳转、异常处理、线程恢复等功能）

线程私有

  多线程是通过线程轮换交替并分配处理器执行时间的方式实现，任何时刻，一个处理器都只会执行一条线程的指令，每条线程需要一个独立的程序计数器，这样各条线程之间的计数器互不影响，独立存储，从而保证线程切换后可以恢复到正确的执行位置。
  反例：线程A和线程B交替执行，线程A计数到5，切换执行，线程B计数到9，如果两个线程共享程序计数器，则线程A此时计数共享线程B的计数值9，则无法恢复到正常的执行位置。
  正例：线程A和线程B交替执行，线程A计数到5，切换执行，线程B计数到9，线程A再切换执行时，继续计数到5开始递增，恢复到正确的执行位置。

异常

  此内存区域无OutOfMemoryError异常。

用途

Java虚拟机栈

定义

  虚拟机栈（Java Virtual Machine Stacks）是Java方法执行的内存模型，每个方法在执行的同时都会创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每个方法的从调用一直到执行完成，都对应着一个栈帧在VM栈中入栈到出栈的过程。

结构

线程私有

  Java虚拟机栈是线程私有的，其生命周期和线程同步，随着线程的启动而创建，随线程的结束而销毁。

局部变量表

操作数栈

  Operand Stack，操作数栈也称为操作栈，是一个后入先出栈，其中存的每个元素可以是任意的Java数据类型。当一个方法刚开始执行时，该方法的操作数栈是空的，当方法执行过程中，会有各种字节码指令往操作数栈中写入和提取内容（入栈/出栈操作）

动态链接

  Dynamic Linking，每个栈帧都包含一个指向运行时常量池中该栈帧所属方法的应用，持有这个引用就是为了支持方法调用过程中的动态链接，常量池中的符号引用在每一次运行期间转化为直接引用即为动态链接。

方法返回地址

  returnAddress，当一个方法开始执行后，会有两种方式退出该方法：正常完成出口和异常完成出口。
  正常完成出口：程序执行过程中遇到任意一个方法返回的字节码指令，返回值传递给上一层调用者，正常退出程序方法。
  异常完成出口：程序方法执行过程中遇到异常，这个异常没有在方法体内得到处理（没有try...catch，没有throw异常），导致方法退出。

异常

  StackOverflowError异常：线程请求的栈深度大于虚拟机所允许的深度，抛出该异常。
  OutOfMemoryError异常：虚拟机可以动态扩展时，不能够扩展申请到足够的内存，抛出该异常。

本地方法栈

定义

  本地方法栈（Native Method Stack）是为虚拟机使用的Native方法服务

异常

  StackOverflowError异常：线程请求的栈深度大于虚拟机所允许的深度，抛出该异常。
  OutOfMemoryError异常：虚拟机可以动态扩展时，不能够扩展申请到足够的内存，抛出该异常。

与虚拟机栈异同

异：
  虚拟机栈是为VM执行Java方法（字节码）服务；本地方法栈是为VM执行的Native方法。
同:
  与虚拟机作用类似，有的VM是将两者合二为一，都会抛出StackOverFlowError和OutOfMemoryError异常。

Java堆

定义

  Java堆（Java Heap）是JVM中最大的一块内存，是存放对象实例的区域。所有对象实例以及数组都要在堆上分配。当然，也有特特殊的情况，JIT编译器的发展与逃逸分析技术会促进栈上分配及变量替换优化技术的发展。

结构

线程共享

  Java堆是被所有线程共享的一块内存区域，在VM启动时创建。线程共享可以将Java堆划分出多个线程私有的分配缓冲区（Thread Local Allocation Buffer，TLAB）。

GC堆

  Garbage Collected Heap，Java堆是垃圾收集器管理的主要区域，简称GC堆。Java堆细分为新生代和老年代，再细分为Eden空间、From Survivor空间、To Survivor空间。

堆空间

  Java堆可以处于物理上不连续的内存空间，只需要逻辑连续即可，有点类似于磁盘空间。实现时，既可以是固定大小，也可以扩展（-Xmx和-Xms参数进行控制）。

异常

  若堆中没有内存完成实例分配，堆也无法扩展时，会抛出OutOfMemoryError异常。

方法区

定义

  方法区（Method Area）用于存储已被虚拟机加载的类的信息、常量、静态变量、即时编译器编译后的代码等数据。

线程共享

  和Java堆一样，也是线程共享区域。

持久代

  对于HotSpot虚拟机而言，方法区可以称作为“永久代”或者“持久代”，这是因为HotSpot虚拟机的设计团队选择把GC分代收集扩展至了方法区，使用永久代来实现方法区，垃圾收集器可以像管理Java堆一样管理这部分内存区域。

限制

  方法区和Java堆一样不需要连续的物理内存空间，可以选择固定大小也可以选择扩展，同时，可选择不实现垃圾收集，方法区永久代中的数据不代表永久存在，该内存区域的内存回收目标是针对常量池的回收和对类型的卸载。

运行时常量池

  运行时常量池（Runtime Constant Pool）是方法区的一部分，相比较而言，Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息就是常量池（Constant Pool Table），Class文件常量池用于存放编译器生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。
  JVM规范对运行时常量池限制比较宽松，不同的厂商可以根据自己的需求自行实现该内存区域，一般而言，除了保存Class文件中描述的符号引用外，还会将转化出的直接引用存储在其中。
  与Class文件常量池相比较而言，运行时常量池还具备动态性，常量不一定在编译器产生，即并非预置入Class文件常量池的内容才能进入方法区运行时常量池，运行期间也可以将新的常量放入池子中，如String类的intern()方法。

异常

  无法申请到内存时，会抛出OutOfMemoryError异常。

补充

直接内存（Direct Memory）

1. 该区域不属于虚拟机运行时数据区的一部分，也不是java虚拟机规范中定义的内存预期，但会 频繁使用且导致OutOfMemoryError。
2. JDK1.4中新加入的 NIO（New Input/Output）类，引入一种基于通道（Channel）与缓冲区（Buffer）的I/O方式，可以使用Native函数库直接分配堆外内存，然后通过一个存储在Java堆中的 DirectByteBuffer对象作为这块内存的引用进行操作（可 避免在Java堆和Native堆中来回复制数据）
3. 不会受到Java堆大小的限制，但受本机总内存大小以及处理器寻址空间的限制。可通过 -Xmx等参数来设置实际内存大小，在我们实际操作过程中，经常忽视直接内存，使得整个内存区域总和大于物理内存限制，导致OutOfMemoryError异常。

总结

至此，JVM运行时数据区全部总结完毕。

参考
《深入理解Java虚拟机》