Java内存区域总结（堆、栈、方法区等）

1. 程序计数器

• 程序计数器（Program Counter Register）是一块较小的内存空间，它可以看做是当前线程所执行的字节码的行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。

• 字节码指令、分支、循环、跳转、异常处理、线程恢复等基础功能都要依赖这个计数器来完成。

• 每条线程都有一个独立的程序计数器，各条线程之间计数器互不影响，独立存储。如上图所示，我们称这类内存区域为 : 线程私有内存。

• 如果线程正在执行的是一个 Java 方法，这个计数器记录的是正在执行的虚拟机字节码指令的地址；如果正在执行的是 Native 方法，这个计数器值则为空（Undefined）。

• 此内存区域是唯一一个在 Java 虚拟机中没有规范任何 OutOfMemoryError 情况的区域。

2. Java 虚拟机栈

• Java 虚拟机栈也是 线程私有 的，它的生命周期与线程相同（随线程而生，随线程而灭）

• 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出 StackOverflowError 异常；

• 如果虚拟机栈可以动态扩展，如果扩展时无法申请到足够的内存，就会抛出 OutOfMemoryError 异常；（当前大部分 JVM 都可以动态扩展，只不过 JVM 规范也允许固定长度的虚拟机栈）

• Java 虚拟机栈描述的是 Java 方法执行的内存模型：每个方法执行的同时会创建一个 栈帧 。 对于我们来说，主要关注的 stack 栈内存，就是虚拟机栈中 局部变量表 部分。

  局部变量表

• 定义

  局部变量表(Local Variable Table)是一组变量值存储空间，用于存放 方法参数 和 方法内部定义的局部变量 。

• 编译器确定容量

  在Java程序编译为class文件时，就在方法的Code属性的 max_locals 数据项中确定了 该方法所需要分配的局部变量表的最大容量。

• 最小单位为变量槽(Slot)

  一个Slot 可以存放一个32位以内的数据类型，包括基本数据类型 (boolean、byte、char、short、int、float、long、double)「 String 是引用类型 」，对象引用 (reference 类型) 和 returnAddress 类型（它指向了一条字节码指令的地址）。

3. 本地方法栈

• 与JVM栈区别

  本 地方法栈（Native Method Stack）与虚拟机栈所发挥的作用是非常相似的，它们之间的区别不过是虚拟机栈为虚拟机执行 Java 方法（也就是字节码）服务，而本地方法栈为虚拟机使用到的 Native 方法服务。

• 自由实现

  Java 虚拟机规范对本地方法栈使用的语言、使用方法与数据结构并没有强制规定，因此可以由虚拟机自由实现。例如：HotSpot 虚拟机直接将本地方法栈和虚拟机栈合二为一。

• 异常

  同虚拟机栈相同，Java 虚拟机规范对这个区域也规定了两种异常情况StackOverflowError 和 OutOfMemoryError异常。

4. 堆

• 对于大多数应用来说，Java 堆 (Java Heap) 是 JVM所管理的内存中 最大 的一块。

• Java 堆是被所有线程 共享 的一块内存区域，在虚拟机启 动时 创建。

• 此内存区域的唯一目的就是存放对象实例， 几乎所有的对象 实例都在这里分配内存。

• 数组引用变量是存放在 栈 内存中，数组 元素 是存放在 堆 内存中。

• Java 堆是 垃圾收集器管理 的主要区域，因此很多时候也被称作为 "GC 堆"。

• 从内存回收的角度看，Java 堆中还可以细分为： 新生代 和 老年代 。

• 程序新创建的对象都是从新生代分配内存，新生代由 Eden Space 和两块相同大小的 Survivor Space (通常又称 S0 和 S1 或 From 和 To) 构成。

  详见JVM常见参数设置

• 从内存分配角度，线程共享的 Java 堆可能划分出多个线程私有的分配缓冲区（ TLAB ）。

• Java 堆可以处于物理 不连续 的内存空间中，只要逻辑是连续的即可，就像我们的磁盘空间一样。

• 在实现时，即可以实现成固定大小的，也可以是 可扩展 的，不过当前主流的虚拟机都是按照可扩展来实现的 (通过 -Xmx 和 -Xms 控制)。

• 如果堆上没有内存完成实例分配，并且堆也无法再扩展时，将会抛出 OutOfMemoryError 异常。

5. 方法区

• 方法区 (Method Area) 与 Java 堆一样, 是各个线程 共享 的内存区域。

• 它用于存储已经被虚拟机加载的 类信息 、 常量 、 静态变量 、 即时编译器编译后的代码等数据

• 运行时常量池 (Runtime Constant Pool) 是方法区的一部分。

• 虽然 JVM规范把方法区描述为堆的一个逻辑部分, 但是它却又一个别名叫做 Non-Heap(非堆) , 目的应该是与 Java 堆区分开来.

• 方法区 和 永久代(Permanent Generation), 本质上两者并 不相等。

  仅仅是因为 HotSpot 虚拟机的设计团队选择把 GC 分代收集扩展至方法区, 或者说 使用永久代来实现方法区 而已。

  这样 HotSpot 的垃圾收集器可以像管理 Java 堆一样管理这部分内容, 能够省去 专门为方法区编写内存管理代码 的工作。

  因此, 对于 HotSpot 虚拟机, 根据官方发布的路线图信息, 现在也有放弃永久代并逐步采用 Native Memory 来实现方法区 的规划了, 在目前已经发布的 JDK1.7 的 HotSpot 中, 已经把原本放在永久代的 字符串常量池移出 。

• JVM规范对方法区的限制非常宽松

  和堆一样, 允许固定大小, 也允许可扩展的大小, 还可以选择 不实现垃圾回收 。 相对而言, 垃圾收集行为在这个区域是比较少出现的, 但是 并非 数据进入了方法区就如同进入永久代的名字一样” 永久” 存在了。

  这区域的内存回收目标主要是针对 常量池 的回收和对 类型 的卸载, 一般来说, 这个区域的回收” 成绩” 比较难以令人满意, 尤其是对类型的卸载, 条件相当苛刻, 但是这部分区域的回收确实是存在必要的。

  在 Sun 公司的 BUG 列表里, 曾出现过的若干个严重的 BUG 就是由于低版本的 HotSpot 虚拟机对此区域 未完全回收而导致内存泄漏 。

• 当方法区无法满足内存分配需求时, 将抛出 OutOfMemoryError 异常。

  内存泄露和内存溢出

  内存泄露： 指程序中动态分配内存给一些临时对象，但是对象不会被 GC 所回收，它始终占用内存。即被分配的对象可达但已无用，可用内存越来越少。

  内存溢出： 指程序运行过程中无法申请到足够的内存而导致的一种错误。内存溢出通常发生于老年代或永久代垃圾回收后，仍然无内存空间容纳新的 Java 对象的情况。

  内存泄露是内存溢出的一种诱因，不是唯一因素。

  运行时常量池

• Class 文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池 (Constant Pool Table)，用于存放编译期生成的字面量和符号引用，这部分内容（也可以称为 .Class 文件中的静态常量池）将在类加载后进入方法区的运行时常量池中存放。

  字面量

  比较接近 Java 语言层面的常量概念，如文本字符串、声明为 final 的常量值等。（final 修饰的成员变量和类变量【类变量：静态成员变量】）

  符号引用

  符号引用就是字符串，这个字符串包含足够的信息，以供实际使用时可以找到相应的位置。

  你比如说某个方法的符号引用，如：“java/io/PrintStream.println:(Ljava/lang/String;)V”。里面有类的信息，方法名，方法参数等信息。

  当第一次运行时，要根据字符串的内容，到该类的方法表中搜索这个方法。

  运行一次之后，符号引用会被替换为直接引用，下次就不用搜索了。

  直接引用就是偏移量，通过偏移量虚拟机可以直接在该类的内存区域中找到方法字节码的起始位置。

• 除了保存 Class 文件中描述的符号引用外，还会把编译出来的直接引用也存储在运行时常量池中。

• Java 语言并不要求常量一定只有编译期才能产生，也就是并非置入 Class 文件中常量池的内容才能进入方法区运行时常量池，运行期间也可能将新的常量放入池中，这种特性被开发人员利用得比较多的便是 String 类的 intern() 方法。

• 运行时常量池受方法区内存的限制，当常量池无法再申请到内存时也会抛出 OutofMemoryError 异常。