Java内存区域与内存溢出异常

 1.运行时数据区域分布

 1.1 程序计数器

• 线程私有
• 计数器记录的是正在执行的虚拟机字节码指令的地址，如果是Native方法，计数器值为空（Undefined）
• Java虚拟机的多线程是通过线程轮转切换并分配处理器执行时间的方式实现的，线程切换后能够恢复到正确的位置就是依靠每个线程独立的程序计数器

1.2 Java虚拟机栈

• 线程私有
• 虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时会创建一个栈帧用于存储局部变量表、操作数栈、动态链接、方法出口信息等，每个方法从调用直至执行完成，就对应着一个栈帧在虚拟机栈中的入栈到出栈的过程。
• 局部变量表中存放了编译器可见的各种数据类型（boolean、byte、char、short、int、float、long、double）、对象引用（reference类型）和returnAddress类型。其中64位长度的long和double类型的数据会占用2个局部变量空间（Slot），其余数据类型只占用一个。

1.3 本地方法栈

• 本地方法栈与虚拟机栈的作用差不多，两者之间的区别只是虚拟机栈为虚拟机执行Java方法（也就是字节码）服务，而本地方法栈则为虚拟机使用到的Native方法服务。

1.4 Java堆

• 线程共享
• 存放对象实例和数组，由于逃逸分析技术的成熟，对象实例和数组不一定分配到堆上了，也会进行栈上分配，便于回收
• Java堆可以细分为新生代和老年代，线程共享的堆还可以划分出多个线程私有的分配缓冲区（TLAB）

1.5 方法区

• 线程共享
• 存储已被虚拟机加载的类信息（类名、访问修饰符、字段描述、方法描述等）、常量、静态变量、JIT编译后的代码等数据

1.6 运行时常量池

• 线程共享，属于方法区的一部分
• 存储编译期生成的字面量（常量）和符号引用
• 符号引用与直接引用的区别

1. 符号引用就是一个包含足够信息的字符串，以供实际使用时找到相应位置。比如某个方法的符号引用，单运行一次之后根据这个字符串的内容找到该类方法表中的方法位置，运行一次之后，符号引用就会被直接引用替换。
2. 直接引用就是偏移量，虚拟机能够通过该偏移量直接找到该类的内存区域中该方法字节码的起始位置。

1.7 直接内存（堆外内存）

• 不是虚拟机运行时数据区的一部分
• 通过堆内内存中的DirectByteBuffer对象对直接内存中的对象进行操作

2. 虚拟机中的对象

2.1 对象的创建

• 虚拟机遇到一条new指令时，首先要去检查这个指令的参数是否能在常量池中定位到一个类的符号引用，并且检查这个符号引用代表的类是否已经被加载、解析和初始化过。如果没有，那必须先执行相应的类加载过程。
• 类加载检查通过后，虚拟机将为新生对象分配内存，对象所需内存大小在类加载完成后便可完全确定，为对象分配内存有两种方式：

1. 指针碰撞(Serial、ParNew等带Compact过程的收集器) 
   假设Java堆中内存是绝对规整的，所有用过的内存都放在一边，空闲的内存放在另一边，中间放着一个指针作为分界点的指示器，那所分配内存就仅仅是把那个指针向空闲空间那边挪动一段与对象大小相等的距离，这种分配方式称为“指针碰撞”（Bump the Pointer）
2. 空闲列表(CMS这种基于Mark-Sweep算法的收集器) 
   如果Java堆中的内存并不是规整的，已使用的内存和空闲的内存相互交错，那就没有办法简单地进行指针碰撞了，虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的时候从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为“空闲列表”（Free List）

• 解决为对象分配内存是出现的多线程安全问题：（1）虚拟机采用CAS配上失败重试的方式保证更新操作的原子性。（2）为每个线程分配私有的TLAB，只有TLAB用完并分配新的TLAB时，才需要同步锁定。
• 内存分配完成后，虚拟机需要将分配到的内存空间否初始化为零值（不包括对像头），这一操作保证了对象的实例字段在Java代码中可以不赋初值就可以被直接使用，程序能访问到这些字段的数据类型所对应的零值。
• 接下来，虚拟机要设置对象头信息。
• 最后，执行<init>方法，把对象按照程序员的意愿初始化。
• 整个流程如下图所示

• 

2.2 对象的内存布局

• 对象在内存中的布局可以分为3块区域：对象头、实例数据、对齐填充
• 对象头包括：运行时数据（Mark Word）、类型指针、数据长度（如果对象是一个数组），Mark Word如下所示
• 类型指针，即指向它的类元数据（即存放在方法区中的类信息）的指针，虚拟机通过这个指针确定这个对象是哪个类的实例。 
• 实例数据，即程序代码中所定义的各种类型的字段内容。
• 对齐填充，不是必然存在的。HotSpot VM要求对象的大小必须是8字节的整数倍，因此有时需要对齐填充来补齐。

2.3 对象的访问定位

• 两种方式：使用句柄、直接指针（HotSpot VM使用）
• 使用句柄方式的好处是reference中存储的是稳定的句柄地址，当对象被移动时只会改变句柄中的实例数据指针，坏处是需要另外开辟内存空间和访问速度慢；使用直接指针的好处是速度更快，坏处是要更改reference内容。
• 两种方式的访问如下图：

• 

  

3. 实战

3.1. 虚拟机启动参数

• -Xms 初始堆
• -Xmx 最大堆
• -Xmn 新生代
• -XX:+PrintGCDetails 打印GC日志
• -XX:HeapDumpOnOutOfMemoryError:使用该参数可以在内存溢出时导出整个堆信息
• -XX:HeapDumpPath:设置导出堆的存放路径
• -Xss 栈容量

3.2 内存溢出异常检测

• 通过参数-XX:HeapDumpOnOutOfMemoryError可以让虚拟机在出现异常时Dump出当前的内存堆转储快照，通过内存映像分析工具（如Eclipse Merory Analyzer）对Dump出来的堆转储快照进行分析。
• 出现StackOverflowError时，可以减少最大堆和栈容量换取更多线程，解决内存溢出。
• 直接内存出现内存溢出，一个明显的特征是Heap Dump文件不会看见明显异常，如果发现OOM而Dump文件很小，而程序中又直接或间接使用了NIO，很可能就是直接内存导致的内存溢出。