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

Java与C++之间有一堵由内存动态分配和垃圾收集技术所围成的“高墙”，墙外面的人想进去，墙里面的人想出来

一、运行时数据区域

数据区分为两大类
由所有线程共享的数据区：方法区和堆
线程隔离的数据区：虚拟机栈，本地方法栈，程序计数器

1.1 程序计数器

程序计数器是一块小的内存空间，可以看做是当前线程所执行的字节码的行号指示器。由于Java虚拟机的多线程是通过线程轮流并分配处理器执行时间的方式来实现的，在任何一个时刻，一个处理器都只会执行一条线程的指令。因此为了线程切换后能恢复到正确的执行位置，每条线程都需要一个独立的程序计数器。
此内存区域是唯一一个在Java虚拟机规范中没有规定任何OutOfMemoryError情况的区域

1.2 Java虚拟机栈

线程私有，声明周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧用于存储局部变量表，操作数栈，动态链接，方法出口等信息。
局部变量表存放了编译期可知的各种基本数据类型，对象引用类型（指针）。
两种溢出异常：

• 如果线程请求的栈深度大于虚拟机所允许的深度，将抛出StackOverflowError异常；
• 如果虚拟机栈可以动态拓展，如果拓展时无法申请到足够的内存，就会抛出OutOfMemoryError异常。

1.3 本地方法栈

注：所谓本地方法(Native Method)指的是非Java代码的方法
本地方法栈与虚拟机栈的区别就是虚拟机栈为虚拟机执行Java方法服务，而本地方法栈为虚拟机所使用的本地方法服务。在虚拟机规范中并没有对本地方法栈进行强制规定，不过也会抛出StackOverflowError和OutOfMemoryError异常。

1.4 Java堆

对于大多数应用来说，Java堆（Java Heap)是Java虚拟机所管理的内存中最大的一块。在启动时创建。此区域的唯一目的就是存放对象实例，几乎所有的对象实例都要在这里分配内存。
根据Java虚拟机规范，Java堆可以处于物理上不连续的内存空间，只要连续即可。

• 如果在堆中没有内存完成实例分配，并且堆也无法再拓展时，将会抛出OutOfMemoryError异常

1.5 方法区

用于存储已被虚拟机加载的类信息，常量，静态变量，即时编译器编译后的代码等数据。别名 Non-heap(非堆)。

• 当方法区无法满足内存分配需求时，将抛出OutOfMemoryError异常。

1.6 运行时常量池

运行时常量池是方法区的一部分，用于存放编译期生成的各种字面量和符号引用。具备动态性

• 当常量池无法再申请到内存时会抛出OutOfMemoryError异常。

1.7 直接内存

直接内存并不是虚拟机运行时数据区的一部分，也不是Java虚拟机规范定义的内存区域。
某些类（I/O）可以使用Native函数库直接分配堆外内存，所以动态拓展时可能会出现OutOfMemoryError异常。

二、 HotSpot虚拟机对象探秘

数据如何创建、如何布局以及如何访问的。以HotSpot和内存区域Java堆为例。

2.1 对象的创建

• 类加载
• 分配内存 指针碰撞，动作同步处理或者用本地线程缓冲
• 设置对象，元数据，哈希码
• 初始化…

2.2 对象的内存布局

• 对象头
  包括两部分，第一部分用于存储对象自身的运行时数据，如哈希码、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等,称为"Mark Word"。另外一部分是类型指针，即对象指向它的类元数据的指针。
• 实例数据
  对象真正存储的有效信息。HotSpot虚拟机默认的分配策略，相同宽度的字段总是分配到一起。
• 对齐填充
  并不是必然存在，仅仅是占位符。由于HotSpotVm的自动内存管理系统要求对象起始地址必须是8字节的整数倍。

2.3 对象的访问定位

对象的访问方式取决于虚拟机实现而定的，目前主流访问方式有句柄和直接指针两种。

• 句柄访问
  Java堆中将会划分出一块内存作为句柄池，reference中存储就是对象的句柄地址，句柄中则包含了对象实例数据与类型数据各自的具体地址信息。
• 直接指针访问
  Java堆对象的布局中就必须考虑如何放置访问类型数据的相关信息，而reference 中存储的直接就是对象地址。

两种方式各有优势，使用句柄的最大好处是稳定的句柄地址，对象被移动时只会改变句柄中的实例数据指针，而reference本事不需要修改。
使用直接指针访问的方式就是速度更快，节省了一次指针定位的时间开销，Sun HotSpot采用指针。