深入理解Java虚拟机：Jvm总结-Java内存区域与内存溢出异常

第二章 Java内存区域与内存溢出异常

2.1 意义

对于C、C++程序开发来说，程序员需要维护每一个对象从开始到终结。Java的虚拟自动内存管理机制，让java程序员不需要手写delete或者free代码，不容易出现内存泄漏和内存溢出问题，但是如果出现了内存泄漏和溢出的问题，就需要知道虚拟机是怎样使用内存的，才能排查错误并且修正。本章主要讲明Java虚拟机内存的各个区域，各个区域的作用、服务对象，以及常见的异常。

2.2 运行时数据区域

Java虚拟机在执行Java程序的过程中会把管理的内存分为几个不同的数据区域，其中包括以下几个运行时数据区，这些区域有各自的用途以及创建和销毁的时间。
在这里插入图片描述

2.2.1 程序计数器

程序计数器占用了一块较小的内存空间，充当线程指示器的角色。
Java虚拟机的多线程是通过线程之间切换、分配处理器执行时间实现的，一个内核在某一时刻只会执行一条线程的指令，所以计数器就可以在切换线程时发挥作用，能够确定切换到正确位置继续程序执行。而且要保证每个线程的计数器是独立的，互不干涉。
如果执行的Java方法，计数器记录的是正在执行的虚拟机字节码的地址。如果是native方法，计数器为空（undefined）。
唯一一个没有OutOfMemoryError情况的区域

2.2.2 Java虚拟机栈

线程私有的，生命周期与线程相同。
虚拟机栈对应Java方法执行，每个方法对应栈中的一个栈帧（每个方法被调用到执行完毕的过程就对应一个栈帧在虚拟机栈中入栈到出栈），这个栈帧存储局部变量表、操作数栈、动态连接、方法出口等信息。
局部变量表存放编译期可知的基本数据类型（boolean、byte、char、short、int、float、long、double）、对象引用（reference类型）和returnAddress类型。

局部变量表的的存储空间以局部变量槽（slot）表示，long和double占两个slot，其他类型一个slot。

栈帧在编译期就给局部变量表分配好了内存空间，即slot的数量在方法运行期间不会改变。
两类异常：线程请求的栈深度大于虚拟机的所允许的深度，抛出StackOverflowError异常；

Java虚拟机栈容量可以动态扩展的情况下，扩展时无法申请到足够的内存会抛出OutOfMemoryError异常

2.2.3 本地方法栈

与虚拟机栈执行Java方法相似，只不过本地方法栈执行Native方法。没有强制规定，有的Java虚拟机（Hot-Spot）直接合二为一。

2.2.4 Java堆

所有线程共享，虚拟机启动时创建
唯一目的是存放对象实例，几乎所有的对象实例都在堆上分配内存
是垃圾收集器管理的内存区域，基于分代收集理论逻辑上分为“新生代”“老年代”“永久代”“Eden空间”“From Survivor空间”“To Survivor空间”等。
可以处于物理不连续的内存空间，但逻辑上是连续的。
参数-Xmx（设置 Java 堆内存的最大大小）和-Xms（设置初始堆内存大小）可以控制是否可扩展
如果堆中没有内存完成实例分配，且堆无法扩展，会抛出OutOfMemoryError异常。

2.2.5 方法区

各个线程共享，别名“非堆”
用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等数据
可以不实现垃圾回收，主要因为回收效果不太好，回收条件苛刻，但有时有必要
无法满足新的内存分配会抛出OutOfMemoryError异常
*方法区的实现可以由JVM实现自由决定，JDK8以前称为永久代，但不等价，为了让垃圾收集器方便管理这部分内存。JDK8以后改为元空间

2.2.6 运行时常量池

方法区的一部分，存放编译期生成的字面量（比如字符串或基本类型的常量）和符号引用（类和接口的全限定名：例如，java.lang.String。字段的名称和描述符：例如，int age中的字段名称age和类型描述符int。方法的名称和描述符：例如，void print(String s)中的方法名称print和描述符(Ljava/lang/String;)V）
一般会把符号引用翻译的直接引用也存储在运行时常量池中
具备动态性，运行期间也可以放入新的常量，String类的intern()方法
无法申请到内存会抛出OutOfMemoryError异常

2.2.7 直接内存

不是运行时数据区的一部分
使用Native函数分配堆外内存，再通过堆内的一个对象（DirectByteBuffer）引用这块内存来使用，提高性能
也会出现OutOfMemoryError异常

2.3 Hotspot虚拟机对象探秘

HotSpot虚拟机在Java堆中对象分配、布局和访问的全过程

2.3.1 对象的创建过程

new一个对象时，Java虚拟机会首先检查这个指令的参数能否在常量池中定位到一个类的符号引用，然后判断是否已经被加载、解析和初始化过。如果没有则先执行类加载过程，然后为新生对象分配内存。

如果内存规整，一边是使用过的内存，一边是空闲的内存，由指针分隔，那么分配内存就只需要移动指针来完成，这就是指针碰撞。
实际上内存并不规整，所以虚拟机通过一个列表来记录哪些内存块是可用的，然后从列表中找到一块空间分配给对象实例，这就是空闲列表。
堆是否规整由垃圾收集器有没有整理能力决定。

为了并发情况下保证创建对象的线程安全，有以下两种方案：一般情况本地缓冲区用完再进行同步处理。

对分配内存的行为进行同步处理：实际中虚拟机采用CAS（Compare-And-Swap比较当前值和预期值，如果它们相等，则将当前值更新为新值。否则，什么也不做。）+失败重试（当多个线程同时尝试更新同一个变量时，只有一个线程的CAS操作会成功，其他线程会失败。失败的线程不会阻塞，而是重新读取变量的当前值并再次尝试操作）
每个线程在堆中预先分配一块内存，称为本地线程分配缓冲（Thread Local Allocation Buffer，TLAB）

分配完后，将分配到的内存初始化为零值，不包括对象头。
然后根据对象头里的信息进行设置。
接着执行构造方法()方法，一个完整的对象就被创建出来了。

2.3.2 对象的内存布局

一个对象在堆中的布局为三个部分：对象头（header）、实例数据（Instance data）、对齐填充（Padding）

对象头包括两类信息
- Mark Word：对象自身的运行时数据，动态数据结构
- 类型指针：指向类型元数据，确定该对象是哪个类的实例。（使用句柄访问则不需要保存类型指针，类型指针都存到了句柄池中）
- 如果是数组还需要记录数组长度
对象真正存储的有效信息，各种类型的字段内容。
- 存储顺序由虚拟机和java源码决定
- 父类定义的变量会在子类之前
对齐填充起占位符的作用，保证8字节的整数倍