深入理解java虚拟机（第三版）读书笔记——2.2 运行时数据区域

提示：此系列博客为博主个人读书笔记，其作用是总结书中内容，个人理解内存，方便复习使用。博客内容分为：原书内容总结和个人理解内容。
注：本文原书内容为博主个人提炼总结内容，方便突出要点。

---

---

2.2 运行时数据区域

根据《Java虚拟机规范》的规定，Java虚拟机所管理的内存将会包括以下几个运行时数据区域

 

2.2.1 程序计数器

程序计数器是当前线程所执行的字节码的行号指示器。在Java虚拟机的概念模型里，字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令。
【个解】存储字节码行号，来读取字节码指令，来执行。（可以通过javap来看下字节码指令文件，更能理解）

一个处理器（对于多核处理器来说是一个内核）都只会执行一条线程中的指令。此区域内容为线程私有。
【个解】每个线程执行内容可能各不相同，读取字节码也各不相同

如果线程正在执行的是一个Java方法，这个计数器记录的是正在执行的虚机字节码指令的地址；
【个解】字节码指令的地址，字节码指令的行号。

如果正在执行的是本地（Native）方法，这个计数器值则应为空（Undefined）。此内存区域是唯一一个在《Java虚拟机规范》中没有规定任何OutOfMemoryError情况的区域。
 
 

2.2.2 java虚拟机栈

虚拟机栈描述的是Java方法执行的线程内存模型：每个方法被执行的时候，Java虚拟机都会同步创建一个栈帧（Stack Frame）用于存储局部变量表、操作数栈、动态连接、方法出口等信息。每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。java虚拟机栈也是线程私有的。

经常有人笼统的把java内存分为：堆内存（Heap）和 栈内存（Stack）。这里栈通常是指：虚拟机栈，或者更多情况下是指虚拟机栈中局部变量表部分。
【个解】在好多初学培训视频和博客当中，都会有栈堆指向图，会简易的说指向 栈。但其详情指 栈 中的局部变量表。说法并不准确，但无误，说明，大家更注重的就是 栈 中的局部变量表部分

局部变量表存放编译期可知 基本数据类型、对象引用、returnAddress类型。
这些数据类型在局部变量存储用 变量槽（Slot）来表示，64位长度long和double会占用两个，其他都是一个。局部变量表内空间是在编译时完成分配，方法运行不会改变其局部变量表内 槽 的数量。

在《Java虚拟机规范》中，对这个内存区域规定了两类异常状况：
如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；
【个解】栈溢出异常，可以写个递归操作一下，递归每循环一次，方法入栈，这也是递归缺点之一

如果Java虚拟机栈容量可以动态扩展，当栈扩展时无法申请到足够的内存会抛出OutOfMemoryError异常。
【注解】HotSpot虚拟机的栈容量是不可以动态扩展的，所以在HotSpot虚拟机上是不会由于虚拟机栈无法扩展而导致OutOfMemoryError异常——只要线程申请栈空间 成功了就不会有OOM，但是如果申请时就失败，仍然是会出现OOM异常的

---

【个解】上述注解为原书内容，个解：在HotSpot中线程运行期间是不会OOM的，只有新建线程申请新的栈内存，导致OOM。在原文2.4.2有详细说明

 
 

2.2.3 本地方法栈

《Java虚拟机规范》对本地方法栈中方法使用的语言、使用方式与数据结构并没有任何强制规定。在一些虚拟机（Hot-Spot）直接就把本地方法栈和虚拟机栈合二为一。

本地方法栈则是为虚拟机使用到的本地（Native）方法服务。
虚拟机栈为虚拟机执行Java方法（也就是字节码）服务。
本地方法栈也会在栈深度溢出或者栈扩展失败时分别抛出StackOverflowError和
OutOfMemoryError异常。
 
 

2.2.4 java堆

Java堆（Java Heap）线程共享的一块内存区域，在虚拟机启动时创建，存放对象实例。Java堆是垃圾收集器管理的内存区域。
《Java虚拟机规范》中对Java堆的描述是：“所有的对象实例以及数组都应当在堆上分配”。并且 Java堆可以处于物理上不连续的内存空间中，但在逻辑上它应该被视为连续的。但对于大对象（典型的如数组对象），多数虚拟机实现出于实现简单、存储高效的考虑，很可能会要求连续的内存空间。

所有线程共享的Java堆中可以划分出多个线程私有的分配缓冲区（Thread Local Allocation Buffer，TLAB），以提升对象分配时的效率。
【个解】TLAB 在下个章节就会解释

Java堆既可以固定大小，也可以是可扩展的，主流的Java虚拟机都是按照可扩展来实现的（通过参数-Xmx和-Xms设定）。没有内存完成实例分配，无法再扩展时，Java虚拟机将会抛出OOM。
【个解】对于-Xmx和-Xms 我最开始体现实在linux部署启动jar包服务的时候，这也是我最早接触OOM地方。
 
 

2.2.5 方法区

方法区（Method Area）线程共享内存区域。存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据。
JDK 8以前说使用永久代来实现方法区。
JDK 7的HotSpot把永久代的字符串常量池、静态变量等移出。JDK 8完全废弃了永久代的概念，使用元空间（Meta-space）来代替。
《Java虚拟机规范》对方法区要求：不需要连续的内存和可以
选择固定大小或者可扩展，可以选择不实现垃圾收集。会抛出OOM。
方法区内存回收目标主要是针对常量池的回收和对类型的卸载，回收效果比较难令人满意，尤其是类型的卸载，条件相当苛刻，但是区域的回收有时又确实是必要的。
 
 

2.2.6 运行时常量池

运行时常量池（Runtime Constant Pool）是方法区的一部分。Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息是常量池表（Constant Pool Table），用于存放编译期生成的各种字面量与符号引用，这部分内容将在类加载后存放到方法区的运行时常量池中。因为是方法区的一部分，也会OOM
【个解】这里 运行时常量池 跟 字符串常量池 是两个东西，字符串常量池在JDK7后存放 堆
常量池表（Constant Pool Table）可以使用 javap -v 命令查看 class文件

《Java虚拟机规范》并没有做任何细节的要求。一般来说，除了保存Class文
件中描述的符号引用外，还会把由符号引用翻译出来的直接引用也存储在运行时常量池中。
运行时常量池相对于Class文件常量池的另外一个重要特征是具备动态性，常见的就是String类的intern()方法。
 
 

2.2.7 直接内存

直接内存（Direct Memory）并不是虚拟机运行时数据区的一部分，也不是《Java虚拟机规范》中定义的内存区域。也会OOM。
NIO（NewInput/Output）类，引入了一种基于通道（Channel）与缓冲区（Buffer）的I/O方式，使用Native函数库分配堆外内存，通过一个存储在Java堆里面的DirectByteBuffer对象作为引用进行操作。避免了在Java堆和Native堆中来回复制数据，提高性能。
本机直接内存的分配不会受到Java堆大小的限制，但是还会受到本机总内存限制。
 
 

总结

如书中所说：“在本章中，我们仅仅针对内存区域的作用进行讨论”。作为书中真正的开门（当然书中第一章更多是技术发展史），让我们慢慢来深入去理解java虚拟机吧。