自动内存管理(1):Java内存区域运行时数据区 JVM将执行Java程序过程中所管理的内存划分为若干区域。这些区域有各

运行时数据区

JVM将执行Java程序过程中所管理的内存划分为若干区域。这些区域有各自的用途，以及创建和销毁的时间，有的区域随着虚拟机进程的启动而一直存在，有些区域则是依赖用户线程的启动和结束而建立和销毁。

在《Java虚拟机规范》中规定，内存将包括以下几个运行时数据区域：

线程私有的区域：
- 程序计数器
- 虚拟机栈
- 本地方法栈
线程公共的区域：
- 方法区
- 堆

线程私有区域

程序计数器

程序计数器可以看作当前线程所执行的字节码行号指示器。字节码解释器工作时就是通过改变这个计数器的值来选取下一条需要执行的字节码指令，它是程序控制流的指示器，分支、循环、跳转、异常处理、线程恢复等基础功能都需要依赖这个计数器来完成。

因此多线程是通过线程轮流分配CPU来实现的，因此每个线程内部都需要有一个独立的程序计数器。

需要注意的是：

当线程正在执行一个Java方法，程序计数器记录的是当前执行的字节码指令的地址。
当线程正在执行一个Native方法，程序计数器记录的是空。
程序计数器是唯一一个不会出现OOM的区域

虚拟机栈

虚拟机栈描述的是Java方法执行的线程内存模型：每个方法被执行的时候，Java虚拟机都会同步创建一个栈帧用于存储局部变量表、操作数栈、动态连接、方法出口等信息。

每一个方法被调用直至执行完毕的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

在局部变量表中，存放了编译期可知的各种Java虚拟机基本数据类型、对象引用和returnAddress类型（指向了一条字节码指令的地址，被无条件转移指令使用）。

这些数据类型在局部变量表中的存储空间以局部变量槽来表示，64位的long和double类型的数据会占用两个变量槽，其余都只占一个变量槽。

这些数据类型所占的全部内存空间的大小在编译期间确定，因此当进入一个方法时，这个方法需要在栈帧中分配多大的局部变量空间是完全确定的，在方法运行期间不会改变局部变量表的大小。

在这个内存区域，存在两种异常情况：

如果线程请求栈的深度大于虚拟机允许的深度，就会抛出StackOverflowError
如果JVM的栈容量可以动态扩展，扩展到无法申请到足够的内存就会抛出OOM
- HotSpot虚拟机不可用动态扩展，但是在线程申请栈空间不成功时，一样会抛出OOM

本地方法栈

本地方法栈和虚拟机栈是相似的，只是一个服务于Java方法，一个服务于Native方法。

《Java虚拟机规范》对本地方法栈中方法使用的语言、使用方式与数据结构并没有任何强制规定，因此具体的虚拟机可以根据需要自由实现它，甚至有的JVM（譬如HotSpot）直接就把本地方法栈和虚拟机栈合二为一。

线程共有区域

堆

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

这块区域的目的就是为了存放对象实例，Java的几乎所有对象实例都是在这里分配内存。与此同时，堆也是垃圾回收器管理的内存区域。

在这个内存区域，如果没有内存来完成实例分配时，会抛出OOM异常。

方法区

方法区和堆一样，都是可以被所有线程所共享，它用于存储已经被虚拟机加载的类型信息、常量、静态变量、以及由JIT编译后的代码缓存。

静态变量的存储详解

public class StaticObjectExample {
   // 情况1：基本类型静态变量
   private static int count = 10;           // 值直接存储在常量池
   
   // 情况2：引用类型静态变量
   private static Person manager;           // 引用存储在方法区
   private static List<String> cache;       // 引用存储在方法区
   
   // 情况3：静态常量
   private static final String APP_NAME = "MyApp";  // 值在常量池
}

这个内存区域，当无法满足新的内存分配需求时，将抛出OOM

方法区是一个逻辑区域：

对于HotSpot，1.7版本之前，方法区是使用永久代来实现的。
对于HotSpot，1.8版本以及之后，方法区是使用元空间来实现。

什么是永久代？

永久代是 HotSpot 虚拟机在 JDK 7 及之前版本中，对 JVM 规范中“方法区”的一种实现方式。它主要存储类的元数据、常量池、静态变量、即时编译器编译后的代码等数据。但在 JDK 8 中被彻底移除，被“元空间”（Metaspace）替代。

新生代 + 老年代 = 堆内存（Heap） ：存放对象实例。

永久代（JDK 7 及之前） = 方法区的实现：存放类的元数据等信息，不属于堆，但与堆共享物理内存，是堆的一个逻辑分区。

什么是元空间？

元空间是HotSpot虚拟机对JVM规范中"方法区"的新实现，专门用于存储类的元数据信息，字符串常量池和静态变量的基础类型部分（具体引用指向的对象仍在堆里）被移到了Java堆中，元空间位于本地内存，而永久代位于Java堆内存中。这意味着元空间的大小默认只受系统可用内存限制，不再受-Xmx参数约束。

运行时常量池

运行时常量池是方法区的一部分，在Class文件中，除了有类的版本、字段、方法、接口等描述信息外，还有一个常量池表。

这个常量池表中用于存放编译期生成的各种字面量和符号引用以及由符号引用翻译出来的直接引用，当类加载到JVM中后，这个常量池表就会放在方法区的运行时常量池中。

运行时常量池可以在运行期间将新的常量放入，比如String类的intern()方法

字面量是什么？

字面量是代码中直接写出来的固定值，是数据本身的直观表示。它是“看得见摸得着”的具体值。

符号引用是什么？

符号引用是JVM中的一个核心概念。它是一组符号，用来描述所引用的目标，而不是目标在内存中的实际地址。它是一种“承诺”或“契约”，告诉JVM“我要用某个东西”。

符号引用是静态的，是保存在字节码文件中的，直接引用是动态的，在字节码文件加载到JVM后由符号引用解析出来的，但是有些情况下，符号引用不会立即解析，因此运行时常量池中符号引用和直接引用都存在。

// Test.java
public class Test {
    public static void main(String[] args) {
        String message = "Hello"; // 1. message是引用，“hello”是字符串字面量
        Object obj = null;        // 2. obj是引用，null是空字面量
        int num = 100;            // 3. num是局部变量，100是整数字面量
        System.out.println(message); // 4. 符号引用 System/out/println
    }
}

HotSpot虚拟对象的探究

对象创建

在语言的层面，对象创建仅仅需要一个new关键字，现在就来探讨其内部发生了什么。

类加载检查：当JVM遇到一条字节码new指令时，会先检查是否能在当前类的运行时常量池能定位到一个类的符号引用，并且检查这个符号引用代表的类是否已经加载、解析和初始化过。
分配内存：当类检查通过后，分配对应大小的空间给该对象。
- 划分可用空间的方式有两种：指针碰撞(可用内存和不可用内存泾渭分明)和空闲列表
- 并发下的线程安全控制方式：CAS+重试或者使用本地线程分配缓冲
初始化零值：分配到的内存空间，除了对象头之外，都初始化为零值。
必要的设置：设置对象的对象头，比如Klass word用于指向这个对象的类，Mark word中的hashcode，gc分代年龄，是否启用偏向锁等。
执行构造函数：构造对象的状态和资源。