(JVM1)Java内存区域与内存溢出异常

写这篇文章，主要是为了记录自己复习java虚拟机的一些心得总结笔记，仅供分享参考学习，如有不对的地方，敬请指正。

首先，我们要知道，为什么我们要学JVM的一些知识，原因在于，java的内存管理是交给虚拟机进行的，不像C或者C++是可以自己管理的，所以，只有了解了虚拟机是怎样使用内存的，才能在遇到内存溢出或者内存泄露问题的时候，更好的排查解决问题，这就是学习JVM内存知识的意义。

java的jvm包涵了5个运行时数据区域，即方法区（Method Area），虚拟机栈（VM Stack）,本地方法栈（Native Method Stack），堆（Heap），程序计数器（Program Counter Register）。

下面，将一个个介绍。

1、程序计数器

程序计数器，占用的内存空间比较小，它是当前线程所执行的字节码（java编译后就是字节码）的行号指示器。也就是当前字节码解释器通过计数器得知下面应该执行那条字节码指令。例如分支、异常处理等。

Java虚拟机的多线程机制是通过轮流分配执行时间的方式实现，所以，同一时间，一个内核只会执行一条线程中的指令，那么，为了能够在线程切换的时候，能保证知道该线程该执行那条指令，所以每个线程都有一个独立的程序计数器。每个线程的程序计数器互不影响，这就叫线程私有，也就是每个计数器的内存区域都属于一个线程私有。

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

程序计数器内存区域不会有也是唯一一个没有OutOfMemoryError的区域。

2、java虚拟机栈

与程序计数器一样，java虚拟机栈也是线程私有的，它的生命周期与线程相同。虚拟机栈，描述的是Java方法执行的内存模型：每个java方法在 执行时都会创建一个栈帧（Stack Frame）用于存储局部变量表、操作数栈、动态链接、方法出口等。一个方法开始执行对应一个栈帧在虚拟机栈中的入栈，执行完成对应出栈。

局部变量表存放编译期可知的各种基本数据类型、对象的引用（对应起始地址的引用指针）以及returnAddress（这个其实我也不是很理解）。

局部变量表在编译器就已经确定了大小并完成分配。

java虚拟机栈有两种异常状况：(1)StackOverFlowError异常，如果线程请求的栈深度大于虚拟机所允许的深度则抛出（当前大部分JVM都允许动态扩展，当然，也可以设置固定值）。(2)OutOfMemoryError异常，如果扩展时没法申请到足够的内存，就会抛出该异常。

3、本地方法栈

这个区域可以理解为跟java虚拟机栈一样，只是他是为Native方法服务的，java虚拟机栈是为java方法服务的。

这个区域也会抛出StackOverFlowError和OutOfMemoryError异常。

有的虚拟机把虚拟机栈和本地方法栈合并（如Sun HotSpot虚拟机）。

4、Java堆

java堆是JVM内存管理中最大的一块内存，它被所有线程共享，在虚拟机启动时创建。

java中所有的对象实例和数组都在堆上分配。Java虚拟机规范中的原文：The heap is the runtime data area from which memory for  all class instances and arrays is allocated.

堆，是垃圾收集器管理的主要区域，也叫GC堆，垃圾堆，呵呵。

在内存分配的角度看，由于现在收集器基本都采用分代收集算法，所以java堆中还可以细分为新生代和老年代，再细分可以分为Eden空间、From Survivor空间和To Survivor空间。

Java堆可以处于物理上不连续的内存空间中，只要逻辑上连续即可。它可以是固定大小，也可以动态扩展（-Xmx最大，-Xms最小）。

我们知道，每次生成一个对象实例都需要申请内存，如果内存不够，则会抛出OutOfMemoryError异常。

5、方法区

方法区也是所有线程共享的内存区域。它用于存储已经被JVM加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。在JVM规范中，它被描述为堆的一个逻辑部分，但是它却又有一个别名，叫Non-Heap（非堆），目的可能是用来与java堆区分开来。它也被成为“永久代“。永久代有-XX:MaxPermSize的上限。在这里，需要指出String.intern方法，说明如下：当一个String实例str调用intern()方法时，Java查找常量池中是否有相同Unicode的字符串常量，如果有，则返回其的引用，如果没有，则在常量池中增加一个Unicode等于str的字符串并返回它的引用。所以，String.intern有可能让永久代产生OutOfMemoryError异常。

方法区不需要连续的内存，可以选择固定大小也可以动态扩展，更可以选择不实现垃圾收集。垃圾收集在方法区比较少出现，但不代表不出现。该区域的垃圾收集主要针对常量的回收和对类型的卸载。这个区域的垃圾回收是必要却又不如人意的，尤其是对类型的卸载。