Java内存模型

Java内存模型结构分为

线程共享区：堆、方法区
线程私有区：虚拟机栈、本地方法栈、程序计数器

堆
堆用于存放对象实例和数组，由于堆是用来存放对象实例，因此堆也是垃圾收集器管理的主要区域，故也称为 GC堆。由于现在的垃圾收集器基本都采用分代收集算法，所以堆的内部结构只包含新生代和老年代

新生代：用于存放刚创建的对象以及年轻的对象，如果对象一直没有被回收，生存得足够长，对象就会被移入老年代
新生代：又可进一步细分为 eden、survivorSpace0 和 survivorSpace1，刚创建的对象都放入 eden，经过GC幸存下来的对象，就会被分配到survivorSpace0，依次类推直到被分配到老年代为止。在survivorSpace0 和 survivorSpace1 都至少经过一次GC并幸存，如果幸存对象经过一定时间仍存在，则进入老年代

TLAB
TLAB 的存在是为了提升了对象内存分配的效率，JVM在内存新生代Eden Space中开辟了一小块线程私有的区域，称作TLAB(Thread Local Allocation Buffer，线程私有分配缓冲区)，默认设定为占用Eden Space的1%

在Java程序中很多对象都是小对象且用过即丢，它们不存在线程共享也适合被快速GC，所以对于小对象通常JVM会优先分配在TLAB上，并且TLAB上的分配由于是线程私有所以没有锁开销，在对象分配的时候不用锁住整个堆，而只需要在自己的缓冲区分配即可，因此在实践中分配多个小对象的效率通常比分配一个大对象的效率要高。如果分配的内存过大，则直接使用堆空间分配

方法区
方法区用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据

方法区通常和永久区(Perm)关联在一起，但永久代与方法区不是一个概念，只是有的虚拟机用永久代来实现方法区，这样就可以用永久代GC来管理方法区，省去专门内存管理的工作
根据Java虚拟机规范的规定，当方法区无法满足内存分配的需求时，将抛出 OutOfMemoryError 异常

一、运行时常量池

运行时常量池（Runtime Constant Pool）是方法区的一部分，用于存放编译期生成的各种字面量和符号引用

字面量：字面量比较接近Java语言层次的常量概念，如文本字符串、被声明为final的常量值等
符号引用：符号引用属于编译原理方面的概念，包括以下三类常量：类和接口的全限定名、字段的名称和描述符、方法的名称和描述符
因为运行时常量池（Runtime Constant Pool）是方法区的一部分，那么当常量池无法再申请到内存时也会抛出 OutOfMemoryError 异常

二、方法区回收

方法区的内存回收目标主要是

常量池的回收
无用类的回收
1、常量池的回收

系统中任何对象没有引用常量池中的字面量、符号引用，当内存回收时，就会被清除
2、无用类的回收

虚拟机可以对满足下述3个条件的无用类进行回收

该类所有的实例都已经被回收，也就是堆中不存在该类的任何实例
加载该类的ClassLoader已经被回收
该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法

虚拟机栈
虚拟机栈描述的是Java方法执行的内存模型，是线程私有的

每个方法在执行的时候都会创建一个栈帧，用于存储局部变量表、操作数栈、动态链接、方法出口等信息
每个方法从调用直至完成的过程，对应一个栈帧在虚拟机栈中入栈到出栈的过程
局部变量表主要存放一些基本类型的变量和对象句柄，它们可以是方法参数，也可以是方法的局部变量
下图为栈帧结构图：

虚拟机栈有两种异常情况：StackOverflowError和OutOfMemoryError

一个线程拥有一个自己的栈，这个栈的大小决定了方法调用的可达深度（递归多少层次，或嵌套调用多少层其他方法，-Xss 参数可以设置虚拟机栈大小），若线程请求的栈深度大于虚拟机允许的深度，则抛出 StackOverFlowError 异常
栈的大小可以是固定的，也可以是动态扩展的，若虚拟机栈可以动态扩展（大多数虚拟机都可以），但扩展时无法申请到足够的内存(比如没有足够的内存为一个新创建的线程分配栈空间时)，则抛出 OutofMemoryError 异常

本地方法栈
本地方法栈与Java虚拟机栈非常相似，也是线程私有的，其主要异同点如下

虚拟机栈为虚拟机执行 Java 方法服务
本地方法栈为虚拟机执行 Native 方法服务
与虚拟机栈一样，本地方法栈区域也会抛出 StackOverflowError 和 OutOfMemoryError 异常

程序计数器
为什么需要程序计数器？

在多线程情况下，当线程数超过CPU数量或CPU内核数量时，线程之间就要根据时间片轮询抢夺CPU时间资源。也就是说，在任何一个确定的时刻，一个处理器都只会执行一条线程中的指令。因此，为了线程切换后能够恢复到正确的执行位置，每条线程都需要一个独立的程序计数器去记录其正在执行的字节码指令地址

程序计数器是线程私有的一块较小的内存空间，可以看做是当前线程所执行的字节码的行号指示器

如果线程正在执行的是一个 Java 方法，计数器记录的是正在执行的字节码指令的地址
如果正在执行的是 Native 方法，则计数器的值为空
程序计数器是唯一一个没有规定任何 OutOfMemoryError 的区域