深入理解JVM(一)--Java内存区域与内存溢出异常

先从概念上介绍JVM虚拟机加内存的各个区域。知道这些区域的作用、服务对象以及可能出现的问题，是去真正的理解和调优JVM的基础工作。

Java虚拟机在执行Java代码时会把它所管理的内存划分为不同的数据区域。这些区域都有各自的用途，以及销毁创建的时间。包含以下几个运行时的数据区域。

其中方法区与堆是由所有线程共享的数据区，虚拟机栈、本地方法区、程序技术器都是线程隔离的，相互不影响。(图中笔误，错写了本地方方法栈)

下面具体分别说明数据区：

程序计数器

• 程序计数器是一块较小的内存区域。可以看作是当前线程所执行的字节码的行号指示器。字节码的解释器工作时就是通过改变程序计数器的值来选取下一条需要执行的字节码指令。

• 由于Java支持多线程来轮流切换并分配处理执行时间，每个线程都需要一个单独的程序计数器来保证每个线程都能恢复到正确的执行位置。每个线程的程序计数器互不相扰。这也就是为何程序计数器在java运行时的数据区域内被分为线程隔离的原因。

• 若当前线程正在执行一个Java方法，这个计数器记录的则是正在执行的
  虚拟机字节码指令的地址，若正在执行native方法(可自行搜索native关键字)，计数器的值则为空。

• 程序计数器是JVM中唯一一个没有规定任何OutOfMemoryError情况的区域

虚拟机栈

提到栈，相信很多人都基本上已经或多或少有了解。
很多人把Java内存区域划分为堆和栈。其实Java内存区域的划分远远要比这复杂得多，这种划分方式的流行只能说明大多数程序员最关注的、与对象内存分配关系最密切的内存区域是这两块。其中的栈，就是现在我们要说的栈，也可以说是虚拟机中局部变量表部分。

• 虚拟机栈和程序计数器相同也是线程隔离私有的。它的生命周期与线程相同。

• 虚拟机栈描述的是Java方法执行的内存模型：每个方法执行时，都会创建一个栈帧。用来存储局部变量，方法出口等的一系列信息。每一个方法从运行到结束的过程，就对应着栈帧在虚拟机栈中进栈到出栈的过程。

• 局部变量表也就是虚拟机栈，存放了编译期间可知的各种基本数据类型和引用数据类型，其中64位长度的double和long类型会占用两个局部变量空间，其余的只占用一个，局部变量表所需的内存空间在编译期间就已经完成分配，当进入一个方法区时，这个方法需要在栈中分配多少的空间就已经确认，所以在方法运行期间不会改变局部变量表的大小。

• 虚拟机规范中规定了两种异常：
  如果线程请求的栈深度大于虚拟机所允许的深度，会抛出StackOverflowError(栈溢出)异常；如果虚拟机栈可以动态扩展并且扩展时无法申请到足够的内存，会抛出OutofMemoryError(内存溢出)异常。

本地方法栈

本地方法栈与虚拟机栈非常类似，甚至HotSpot虚拟机直接把两者合二为一。
最不同的区别就是虚拟机栈为执行Java方法服务，而本地方法栈则为虚拟机使用到的Native方法服务。与虚拟机栈一样，本地方法栈区域也会抛出StackOverflowError和OutofMemoryError。

虚拟机堆

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

虚拟机堆是垃圾回收器管理的主要区域，因此也经常被称为“CG堆”，幸亏没有被翻译为垃圾堆…
关于垃圾回收机制的主要划分在以后详解，也可 参见这里

• 根据jvm的规定，Java堆可以处于物理上不连续的内存空间，只要逻辑上是连续的即可。在实现时，可以实现为固定大小，也可实现为可扩展。不过主流虚拟机都是可扩展的。

• 如果堆中没有内存来完成实例的分配，并且在无法扩展时，会抛出OutOfMwmoryError异常。

方法区

• 方法区与Java堆一样，是各个线程共享的内存区域，它用于存储已经被虚拟机加载的类信息、常量、静态变量、即时编译后的代码等数据。

• jvm规范对方法区的限制非常宽松，除了和Java堆一样不需要连续的内存可以选择固定的大小或者可扩展外，还可以选择不实现垃圾回收机制。这是相对而言的，垃圾回收行为在这个区域是比较少出现的，但并非数据进入了方法区后就’永久存在’了。 这个区域的回收是必要的。

• 根据jvm规范。当方法区无法满足内存分配需求时，将会抛出OutofMemoryError异常。

运行时常量池

• 运行时常量池是方法区的一部分，它用于存放编译期间生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量中存放。

• jvm对于运行时常量池没有做任何细节的要求，不同的提供商实现的jvm可以按照自己的需求来实现这个内存区域。

• 运行时常量池相对于class文件常量池的另外一个重要特征是具备动态性，java语言并不要求常量一定只有班一起才能产生，运行期间也可将新的常量放入池中，这种特性被开发人员利用较多的是String类的intern()方法。

• 既然运行时常量是方法取得一部分，自然的，常量池中无法再次申请到内存时，会抛出OutofMemoryError异常。

直接内存

• 直接内存就相当于本机直接内存，它并不是jvm运行时数据区的一部分，也不是java虚拟机规范中定义的内存区域，但是，这部分也是被频繁使用，而且也可能导致OutofMemoryError异常出现，所以一起讲解。

• 服务器管理员在配置虚拟机参数时，会根据实际参数-Xmx等参数信息，但是经常忽略直接内存，使得各个内存区域总和大于内存限制，从而导致动态扩展时的OutOfMemoryError。

---

大致知道了虚拟机内存的概况，了解了内存中放了什么东西，也许就会更进一步了解虚拟机内存中的数据的其他细节：如何创建，如何布局和访问的。下篇博客会以HotSpot虚拟机和常用的堆为例，了解对象在虚拟机堆中的分配、布局、访问的过程。