自动内存管理(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编译后的代码缓存。

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

运行时常量池

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

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

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

字面量是什么？

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

符号引用是什么？

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

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

HotSpot虚拟对象的探究

对象创建

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

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