堆与栈的本质差异在于内存组织方式、分配时机、生命周期控制和物理布局：栈使用连续内存、编译期静态规划、线程私有、零开销分配；堆基于不连续页管理、运行时动态分配、线程共享、依赖GC回收。
堆与栈在 JVM 内存模型中的底层存储差异，本质是内存组织方式、分配时机、生命周期控制和物理布局的根本不同——不是“放哪儿”的问题，而是“怎么建、谁来管、何时毁”的系统级设计差异。
内存空间的物理结构与连续性
栈使用**连续的内存块**，像一段固定长度的数组。JVM 启动时为每个线程预分配一块线性地址空间（如默认 1MB），通过移动栈顶指针（SP）实现压栈/出栈，分配和释放只需加减操作，零开销。
堆则基于**不连续的内存页链表或位图管理**，底层依赖操作系统 mmap 或 brk 系统调用申请虚拟内存。JVM 在其中维护空闲块列表（如 G1 的 Region 链表、CMS 的 Free List），对象分配需查找合适大小的空闲块，可能涉及碎片整理或复制，天然存在寻址跳转和锁竞争。
- 栈：地址递减增长（x86 架构），一次分配整块，无碎片
- 堆：地址递增扩展，内存由 GC 器按代划分（Eden/Survivor/Old），Region 或分代边界打破物理连续性
分配与释放的控制主体
栈内存由**编译器静态规划 + CPU 运行时直接操控**：javac 编译时已确定每个方法栈帧的局部变量表大小和操作数栈深度；JVM 执行引擎仅需按字节码指令移动栈指针，无需运行时决策。
立即学习“Java免费学习笔记（深入）”；
堆内存由**JVM 运行时动态决策 + GC 线程异步回收**：new 指令触发内存分配逻辑（TLAB 分配失败则进入共享 Eden 区），是否触发 GC、何时触发、清理哪部分，全部取决于 GC 算法（如 ZGC 的染色指针、Shenandoah 的 Brooks 指针），与代码逻辑解耦。
- 栈帧入栈/出栈 = 方法调用/返回的硬编码行为，不可绕过
- 堆对象创建 = 调用 malloc-like 接口；销毁 = GC 标记-清除/复制/压缩，非即时且不可预测
数据存放的真实粒度
栈中只存两类东西：值本身（int/boolean 等基本类型）和引用地址（4 或 8 字节的指针，指向堆中对象头起始地址）。哪怕 String str = "abc"，栈里只有 str 这个变量名+它的 8 字节地址，字符串内容一定在堆（或字符串常量池，也属堆逻辑范畴）。
堆中存储的是完整的对象二进制结构：对象头（Mark Word + Klass Pointer）、实例数据（字段值，含对其他对象的引用字段）、对齐填充。数组还额外存长度字段。一个 new Object() 至少占用 12 字节（64 位 JVM 开启指针压缩），且必须按 8 字节对齐。
- 栈不存对象，只存“钥匙”（引用）和“小纸条”（基本类型值）
- 堆存“保险柜本体”，包括锁状态、GC 年龄、类元数据链接等运行时元信息
线程视角下的内存可见性边界
栈是**完全隔离的线程私有空间**：每个线程的虚拟机栈位于独立的内存映射区域，CPU 缓存行（Cache Line）天然绑定到该线程执行上下文，不存在跨线程缓存一致性问题，也不需要 volatile 或 synchronized 保证可见性。
堆是**跨线程共享的内存映射区**：所有线程共用同一块堆内存虚拟地址空间，对象字段的读写会落入多核 CPU 的不同 L1 缓存。JMM 通过 happens-before 规则、内存屏障（如 StoreLoad）和锁机制，强制刷新/失效缓存行，确保修改对其他线程可见——这是并发编程复杂性的根源所在。
- 栈变量修改 → 仅影响当前线程，无同步开销
- 堆对象字段修改 → 可能触发 MESI 协议通信，带来缓存同步延迟
