JVM核心是类加载、运行时内存结构、对象生命周期和内存模型协同的严密逻辑链：类加载分五阶段建立可信契约；内存结构含栈、堆、元空间等区域；对象经历分配、初始化、存活判定到回收；内存模型通过happens-before等机制保障可见性与有序性。
JVM 的核心原理不是零散知识点的堆砌，而是一条从硬件指令执行、内存可见性保障，到对象生命周期终结的严密逻辑链。它把 Java 代码变成可运行的程序，靠的不是单点技术，而是类加载、运行时内存结构、对象分配与垃圾回收这三者环环相扣的协同。
类加载：从字节码到可执行模板的可信转化
类加载不是简单读取 .class 文件，而是分阶段建立 JVM 内部可信赖的运行契约：
- 加载：通过双亲委派机制定位并读入字节码，确保核心类（如 java.lang.Object）由 Bootstrap ClassLoader 加载，防止被恶意替换；
- 验证：校验字节码格式、符号引用合法性、操作数栈与局部变量表是否匹配，避免非法指令引发底层崩溃；
- 准备：为 static 变量分配内存并设默认值（如 int=0、reference=null），此时不执行赋值语句；
- 解析：将常量池中符号引用（如类名、方法名）转为直接内存地址，使后续调用能直达目标；
- 初始化：真正执行 static 块和 static 字段赋值——这是类首次主动使用的触发点，也是多线程下需加锁保证只执行一次的关键阶段。
运行时内存结构：栈帧驱动执行，堆承载状态
JVM 运行时数据区是硬件资源与 Java 语义之间的翻译层：
- 虚拟机栈按线程独有，每个方法调用生成一个栈帧，包含局部变量表（含 this、参数、临时变量）、操作数栈、动态链接（指向运行时常量池）、方法返回地址；
- 堆是所有线程共享的内存区域，新对象实例几乎全部在此分配；其内部按年龄划分为新生代（Eden + Survivor）与老年代，直接影响 GC 策略选择；
- 方法区（元空间）存储类元信息、静态变量、常量池、JIT 编译后的代码，JDK 8 后移至本地内存，避免永久代溢出；
- 程序计数器记录当前线程所执行字节码的行号，是唯一不会发生 OutOfMemoryError 的区域；
- 本地方法栈服务于 native 方法，与虚拟机栈作用类似但面向 C/C++ 层。
对象生命周期：从分配到消亡的全链路管控
一个 new Object() 的诞生与终结，贯穿了内存管理的全部关键机制：
- 分配：先检查类是否已加载初始化；再根据堆是否规整选用指针碰撞或空闲列表；并发场景下优先使用 TLAB（线程本地缓冲），避免同步开销；
-
初始化：内存清零后，设置对象头（哈希码、GC 分代年龄、锁状态）、填充对齐字段，并执行
方法完成用户定义逻辑； - 存活判定：采用可达性分析法，以虚拟机栈局部变量、方法区静态变量、常量池、本地方法栈引用为 GC Roots，沿引用链标记活跃对象；
- 回收时机：对象不可达后不会立即回收，需经历至少一次 Minor GC 标记；若在 Survivor 区熬过若干次 GC（由 MaxTenuringThreshold 控制），才晋升至老年代；
- 回收执行：不同代采用不同算法——新生代常用复制算法（高效清理短命对象），老年代倾向标记-整理或标记-清除（兼顾空间利用率与碎片控制）。
硬件可见性与 JVM 内存模型的隐式对齐
JVM 并不直接暴露 CPU 缓存一致性协议，但通过内存模型规范强制统一行为：
- happens-before 规则是程序员可见的抽象层，如 volatile 写操作 happens-before 后续任意线程对该变量的读，synchronized 解锁 happens-before 后续任意线程对该锁的加锁；
- volatile 关键字禁止指令重排序，并强制写操作刷新到主内存、读操作从主内存重新加载，本质是插入内存屏障（LoadLoad/StoreStore 等）；
- final 字段安全发布依赖于构造器内 final 字段写入与对象引用赋值之间的 happens-before 保证，确保其他线程看到的是完全初始化的对象状态；
- 锁与原子类底层均依托 CPU 的 CAS 指令（如 x86 的 cmpxchg），配合内存屏障实现跨核状态同步，让多线程下的变量更新对所有处理器可见。
