JVM学习（二）Java内存区域与内存溢出异常

JVM学习（二）Java内存区域与内存溢出异常

只记录在学习《深入理解Java虚拟机》时的一些个人理解，可能有理解错误的地方，欢迎指正。

书里面的比喻很有意思，将C++比喻为内存机制里面的皇帝和劳动者，既拥有每个对象的所有权，又担当从开始创建到消除的全部责任。这个比喻还是比较贴切的。

Java在虚拟机的帮助下，实现了内存自动管理的机制，对于一个new操作不需要手动的去delete（在写C++数据结构的时候我就经常因为忘记delete而出问题）。不容易有内存泄漏或者溢出。但是一旦出现内存问题却很难排查，因为不知道虚拟机怎样处理的。

虚拟机运行时数据区域

Java有五大运行时的数据区域：

方法区、虚拟机栈、本地方法栈（NativeMethod，比较特殊）、堆、程序计数器。

1.程序计数器：

较小的内存空间，是当前线程所执行字节码的行号的指示器（基本功能和计算机里面的PC差不多，计原和操作系统都讲过）。就是确定下一条指令执行什么，跳转之类的也是通过改变其值实现。

Java虚拟机中的多线程是通过线程轮流切换分配处理器时间所实现的

说实在的这个确实让我感到有点吃惊，原来Jvm中的多线程是并发的。我原来一直以为是并行的。以为多个核执行多个线程。

线程私有

同一时刻，一个核只执行一个线程的命令，所以为了在线程切换后能够回到原线程执行的位置，所以每个线程都有独立的程序计数器。各线程的计数器之间互不影响。

值得注意的是当线程执行的是一个Java方法，那么，计数器记录的是正在执行的字节码指令的地址，如果是native方法，计数器是undefine的。

native方法是什么？为什么他的计数器是undefined

native方法不是Java编写的，调用的时候没办法生成字节码文件供JVM实现，只能通过系统调用。（Java线程需要映射到操作系统线程上执行，对应关系大多数是1：1的）通过系统调用时，native方法就由原生平台直接执行，并不需要理会抽象的JVM层面上的“pc寄存器”概念——原生的CPU上真正的PC寄存器是怎样就是怎样。所以这个JVM线程的计数器是undefined。

2.Java虚拟机栈：

Java虚拟机栈也是线程私有的，生命周期与线程相同。作用就是记录方法的调用与完成，并且用每一个栈帧存储方法的基本信息。

虚拟机栈的作用不难理解，具备一个栈的基本功能。栈里面存的都是一个一个的虚拟机栈帧。每个虚拟机栈帧对应着一个方法，每一个方法从调用直至执行完成的过程，就对应着一个栈帧从虚拟机栈入栈到出栈的过程。

大家现在经常提栈内存与堆内存，其中的栈内存，值得就是虚拟机栈

每一个栈帧存储局部变量表、操作数帧、动态链接、方法出口等信息。这些信息都是一个方法的信息。

局部变量表存放了编译期可知的

①基本数据类型（boolean、byte、char、short等等这些变量名）。

②对象引用（reference），对象引用不是对象本身，可能是指向对象的起始地址的引用指针。

③returnAddress类型：指向了一条字节码指令的地址。

注：局部变量表由一个一个slot组成，其中double和long数据类型占两个slot，而其他数据类型占一个slot。

局部变量表所需的内存空间编译的时候就分配好了，方法执行期间不会改变局部变量表大小。

Java虚拟机有两种异常：

（1）StackOverdflowError：线程请求的栈深度大于虚拟机所允许的栈深度，爆栈了。

（2）OutOfMemoryError：虚拟机栈可以动态扩展，但是扩展无法申请到足够内存，就会这样报错。

3.本地方法栈：

与虚拟机栈发挥的作用是非常相似的，但是Java虚拟机栈里面存放的是Java方法，而本地方法栈存放的是native方法。

4.Java堆：

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

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

Java虚拟机的定义描述是：所有的对象实例以及数组都要在堆上分配。（但是随着技术的发展这一点逐渐变得不绝对）

Java堆是垃圾收集器管理的主要区域所以堆常被称为GC堆，Java堆可以处于物理上不连续的内存空间内，只要逻辑上是连续的即可。大多数的Java堆都是可扩展的。

动态的内存分配使Java堆与虚拟机栈一样会抛出OutOfMemoryError异常。

5.方法区：

和Java堆一样，方法区也是各个线程共享的内存区域，存储已被虚拟机加载的类信息、常量、静态变量等数据。

方法区在Java虚拟机规范中被划分为堆的一个逻辑部分，但是还是要区分开来。

GC机制使分代回收机制，而很多人喜欢将其称为“永久代”。但是并非数据存入这个区域以后就真的成为“永久”存在了。但是垃圾回收行为确实很少在这个地方出现。

这个区域的垃圾回收行为主要是常量池的回收和类型的卸载，想要进行的条件比较苛刻，但却是必要的。

当然，在方法区满足不了内存分配时，会产生OutOfMemoryError异常。

6.运行时常量池：

是方法区的一部分，常量池主要用于存放两大类常量：字面量(Literal)和符号引用量(Symbolic References)，字面量相当于Java语言层面常量的概念，如文本字符串，声明为final的常量值等，符号引用则属于编译原理方面的概念，包括了如下三种类型的常量：

1.类和接口的全限定名

2.字段名称和描述符

3.方法名称和描述符

 

运行时常量池相对于Class文件常量池有两点主要特征区别：

1.虚拟机对Class常量池每一部分的格式都有严格规定，必须满足规范才能装载，而对于运行时常量池没有细节要求。

2.运行时常量池具备动态性：所谓动态性就是说并非预置入Class文件中的常量池的内容才能进入运行时常量池，运行期间也可以将新的常量放入其中

（对于Class文件常量池和运行时常量池我没有搞清楚，包括运行时常量池的动态性究竟是为什么而服务的也有待查证）

最后，因为运行时常量池是在方法去里面的，所以自然满足方法去内存分配要求，也会有OutOfMemoryError。

7.直接内存：

相对来说直接内存的作用比较好理解，它不是Java虚拟机中的内存区域，但是因为也被频繁使用且会出现OutOfMemoryError，所以书中也提了出来。

直接内存是本机的内存，更多的时候是为了在Java堆和Native堆之间存放两者交流需要的数据，这样在Java切换Native方法时，就不再需要将Java虚拟机中的数据在复制到Native。当然，直接内存肯定会受到主机RAM或操作系统分页文件或Swap区影响，所以也可能会出现OutOfMemoryError异常。