jvm系列—详细讲解内存区域

java虚拟机运行时内存（记得结合例题理解）

1、程序计数器

​ 程序计数器是一块较小的内存空间，它的作用可以看做是当前线程所执行的字节码的信号指示器。字节码解释器就是通过改变该计数器的值来选取下一条需要执行的字节码指令，分支、循环、跳转、异常处理、线程恢复等基础功能都需依赖计数器来完成。线程私有的此内存区域是唯一一个在 Java 虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。

2、Java 虚拟机栈（Java Virtual Machine Stack）

​ Java 虚拟机栈与程序计数器一样，也是线程私有的，其生命周期与线程相同。虚拟机栈描述的是 Java 方法执行的内存模型：每个方法被执行的时候都会同时创建一个栈帧（StackFrame）用于存储局部变量表、操作数栈、动态链接、方法出口等信息。每一个方法被调用直至执行完成的过程就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

​ 局部变量表存放了编译期可知的各种基本数据类型（boolean、byte、char、short、int、float、long、double）、对象引用（reference 类型）和 returnAddress 类型（指向了一条字节码指令的地址）。其中 64 位长度的 long 和 double 会占用 2 个局部变量空间（Slot，一个 32 位），其余数据类型只占用 1 个。局部变量表所需的空间在编译期间完成分配，当进入一个方法时，其需要在帧中分配多大的局部变量空间是确定的，方法运行期间不会改变局部变量表的大小。

​ Java 虚拟机规范中对该区域规定了两种异常情况：
​ 1）如线程请求的深度大于虚拟机所允许的深度，栈溢出，如递归时，抛出StackOverflowError 异常。
​ 2）虚拟机栈动态扩展无法申请到足够的内存时，抛出 OutOfMemoryError 异常。

当方法传递参数时实际上是一个方法将自己栈帧中局部变量表的副本传递给另一个方法栈帧中的局部变量表（注意是副本，而不是其本身），不管数据类型是什么（基本类型，引用类型）

3、本地方法栈（Native Method Stack

​ Java 虚拟机可能会使用到传统的栈来支持 native 方法（使用 Java 语言以外的其它语言编写的方法）的执行。线程私有的，如 Sun HotSpot 虚拟机直接把本地方法栈和虚拟机栈合二为一。Java 虚拟机规范中对该区域规定了两种异常情况：

1）如线程请求的深度大于虚拟机所允许的深度，抛出 StackOverflowError 异常。
2）虚拟机栈动态扩展无法申请到足够的内存时，抛出 OutOfMemoryError 异常。

4、Java 堆（Java Heap）

​ Java 堆是 Java 虚拟机管理内存中最大的一块，是所有线程共享的内存区域，随虚拟机的启动而创建。该区域唯一目的是存放对象实例，几乎所有对象的实例都在堆里面分配。

​ Java 虚拟机规范规定，Java 堆可以出于物理上不连续的内存空间中，只要逻辑上连续即可，如同磁盘空间一样，既可以实现成固定大小，也可以是扩展的，当前主流虚拟机都是按照扩展来实现的（通过-Xmx 和-Xms 控制）。

​ Java 虚拟机规范中对该区域规定了 OutOfMemoryError 异常：如果堆中没有内存完成实例分配，并且堆无法再扩展则抛出 OutOfMemoryError 异常。（ 当 Old 区被放满的之后，进行 Full GC（全局垃圾回收），Full GC 后，若 Survivor 及 old 区仍然无法存放从 Eden 复制过来的部分对象，则出现 OOM 错误/或者直接存放大对象、大数组，导致老年代空间不足 ）

5、方法区（Method Area）

​ 方法区与 Java 堆一样，是各个线程共享的内存区域，用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。在 HotSpot 中用永久代来实现方法区，而其他虚拟机（如 BEA JRockit、IBM J9 等）是不存在永久代的。 Java7 中已经将运行时常量池从永久代移除，在 Java 堆（Heap）中开辟了一块区域存放运行时常量池。而在 Java8 中，已经彻底没有了永久代，将方法区直接放在一个与堆不相连的本地内存区域，这个区域被叫做元空间。

​ 元空间的本质和永久代类似，都是对 JVM 规范中方法区的实现。不过元空间与永久代之间最大的区别在于：元空间并不在虚拟机中，而是使用本地内存。因此，默认情况下，元空间的大小仅受本地内存限制，但可以通过以下参数来指定元空间的大小：

XX:MetaspaceSize，初始空间大小。-XX:MaxMetaspaceSize，最大空间，默认是没有限制的。
Java 虚拟机规范中对方法区规定了 OutOfMemoryError 异常： 如果方法区的内存空间不能满足内存分配请求，那 Java 虚拟机将抛出一个 OutOfMemoryError 异常。

6、运行时常量池（Runtime Constant Pool）

​ 运行时常量池是方法区的一部分。线程共享。Class 文件中除了有类的版本、字段、方法、接口等信息外，还有一项信息是常量池，用于存放编译期生成的各种字面常量和符号引用，这部分内容在类加载后存放到方法区的常量池中。

​ Java 虚拟机规范中对该区域规定了 OutOfMemoryError 异常： 当常量池无法申请到内存时抛出 OutOfMemoryError 异常。

​ static 修饰的静态变量也存放在方法区中，但不是在常量池中（不能修饰局部变量），不能在一个方法内部定义 static 变量（final 可以），只能定义为成员变量

7、直接内存

​ 直接内存并不是虚拟机运行时数据区域的一部分，也非 Java 虚拟规范中定义的内存区域，但这部分内存也被频繁使用，并且可能导致 OutOfMemoryError 异常出现。
​ 在 JDK1.4 中新加入 NIO（New Input/Output）类，引入了一种基于通道与缓冲区的 I/O方式，它可以使用 Native 函数库直接分配堆外内存。