JVM——内存区域：运行时数据区域详解

关注微信公众号：CodingTechWork，一块儿学习进步。

引言

  咱们常常会被问到一个问题是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方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；若线程正在执行的Native方法，则计数器值为空。

Java虚拟机栈

定义

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

结构

线程私有

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

局部变量表

  Loca Variable Table，虚拟机栈中的局部变量表一般就是所说的虚拟机栈，是一组变量值存储空间，用于存放方法参数和方法内部定义的局部变量。其中存放了编译期间可知的基本数据类型、对象引用类型和方法返回地址类型。
  局部变量表所占用的内存空间是在编译期间就已经分配好了，进入一个方法时，这个方法须要在帧中分配多大的局部变量空间是肯定的，在方法运行期间也不会去改变这个局部变量表的大小。
  基本数据类型：8种基本数据类型是boolean、byte 8位、char、short 16位、int 32位、float 32位、long 64位、double 64位。其中64位长度的long和double类型数据会占用2个局部变量空间（slot），其他的都是占用1个slot。
  对象引用类型：reference类型，与对象引用不等价，通常是指向对象起始地址的引用指针，或者是指向一个表明对象的句柄、其余与此对象相关的的位置。
  方法返回地址类型：returnAddress类型指向一条字节码指令的地址。

操做数栈

  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异常。

总结

运行时数据区	线程是否私有	做用	异常
程序计数器	线程私有	每一个线程都有本身的程序计数器，是当前线程所执行的字节码的行号指示器。	无
虚拟机栈	线程私有	是Java方法执行的内存模型，每一个方法在执行的同时都会建立一个栈帧（Stack Frame）用户存储局部变量表、操做数栈、动态连接、方法出口等信息。每一个方法从调用直至执行完成的过程，就是对应着一个栈帧在虚拟机栈中入栈和出栈的过程。	若线程请求的栈深度大于虚拟机所容许的深度，抛出StackOverflowError异常；若虚拟机能够动态扩展，而扩展时没法申请到足够的内存，就抛出OutOfMemoryError异常
本地方法栈	线程私有	为虚拟机使用本地（Native）方法服务	同虚拟机栈
Java堆	线程共享	在虚拟机启动时建立，该区域惟一目的是存放对象实例，几乎全部实例都是在这里分配内存；gc的主要区域	若堆中没有内存完成实例分配且堆没法再扩展时，将会抛出OutOfMemoryError异常。
方法区	线程共享	存储已被VM加载的类信息、常量、静态变量、即时编译器后的代码等数据	当方法区没法知足内存分配需求时，将抛出OutOfMemoryError异常

至此，JVM运行时数据区所有总结完毕。

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