关于JVM垃圾回收（GC）机制的详细解析，涵盖核心算法、收集器类型及优化策略：
1. GC的核心目标
自动管理堆内存：回收不再被引用的对象，释放内存。
减少内存泄漏：避免因对象意外存活导致的内存耗尽。
平衡吞吐量与延迟：高吞吐（执行时间占比高）或低延迟（单次停顿短）。
2. 对象存活判定
(1) 引用计数法
原理：为每个对象维护引用计数器，引用增减时更新。
缺点：无法处理循环引用（如对象A→B，B→A，但无外部引用）。
(2) 可达性分析（主流实现）
根对象（GC Roots）：
虚拟机栈中引用的对象（如局部变量）。
方法区中静态变量、常量引用的对象。
Native方法栈中JNI引用的对象。
标记过程：从根对象出发，遍历所有可达对象并标记为存活，其余视为垃圾。
3. 分代收集理论
基于“弱分代假说”（绝大多数对象朝生夕灭），堆内存划分为不同代：
(1) 新生代（Young Generation）
占比：通常1/3堆空间。
分区：
Eden区：新对象在此分配，占新生代80%空间。
Survivor区（S0, S1）：每次Minor GC后存活的对象复制到Survivor。
GC算法：使用复制算法（存活对象复制到另一区域，清空当前区域）。
(2) 老年代（Old Generation）
晋升条件：对象多次Minor GC后仍存活（默认15次，通过-XX:MaxTenuringThreshold调整）。
GC算法：标记-清除或标记-整理算法。
触发条件：老年代内存不足时触发Full GC。
(3) 元空间（Metaspace）
存储内容：类元数据（Java 8+替代永久代）。
内存管理：使用本地内存，无Full GC问题，但内存不足时抛出OutOfMemoryError。
4. 垃圾回收算法
(1) 标记-清除（Mark-Sweep）
步骤：
标记所有可达对象。
清除未标记对象。
缺点：
内存碎片化。
清除阶段可能停顿时间较长（用于老年代回收）。
(2) 复制算法（Copying）
步骤：将存活对象从Eden/S0复制到S1，清空原来的Eden/S0。
优点：无碎片，适合新生代。
缺点：浪费50%内存空间（Survivor区的设计优化了这点）。
(3) 标记-整理（Mark-Compact）
步骤：
标记所有存活对象。
将存活对象向内存一端移动，清理边界外内存。
优点：解决碎片问题（用于老年代的Full GC）。
(4) 分代收集（Generational）
组合策略：根据代的特点混合使用上述算法。
新生代：复制算法。
老年代：标记-清除或标记-整理。
5. 垃圾收集器类型（JDK主流实现）
(1) Serial收集器
特点：单线程STW（Stop-The-World），简单高效。
适用场景：客户端程序或小内存服务端（-XX:+UseSerialGC）。
(2) Parallel/Throughput收集器
特点：多线程并行执行Minor和Full GC，吞吐量优先。
适用场景：计算密集型任务（默认JDK8的收集器，-XX:+UseParallelGC）。
(3) CMS（Concurrent Mark-Sweep）
目标：减少Full GC停顿时间。
流程：
初始标记（STW）：标记根直接关联对象。
并发标记：标记所有可达对象（与用户线程并行）。
重新标记（STW）：修正并发期间的变动。
并发清除：清理垃圾（与用户线程并行）。
缺点：内存碎片、CPU资源竞争（-XX:+UseConcMarkSweepGC）。
(4) G1（Garbage-First）
区域化堆（Region）：将堆划分为多个等大小Region（每个1MB~32MB）。
回收策略：
预测停顿时间：优先回收垃圾比例高的Region（Garbage-First）。
Mixed GC：同时回收新生代和老年代的Region。
优点：可预测停顿时间（默认目标200ms），适于大堆（-XX:+UseG1GC）。
(5) ZGC（Z Garbage Collector）
目标：亚毫秒级停顿（<10ms），支持TB级堆。
关键技术：
染色指针：使用指针元数据跟踪对象状态。
并发压缩：无需STW即可移动对象。
适用场景：低延迟、大内存应用（-XX:+UseZGC）。
6. GC触发条件
Minor GC：Eden区满时触发。
Major/Full GC：
老年代空间不足（如大对象直接进入老年代）。
方法区（元空间）不足（Java 8+较少见）。
显式调用System.gc()（建议禁用：-XX:+DisableExplicitGC）。
7. GC性能调优
(1) 关键参数
-Xmx/-Xms：堆最大/初始内存。
-XX:NewRatio：老年代与新生代的比例（默认为2，即老年代:新生代=2:1）。
-XX:SurvivorRatio：Eden与Survivor区的比例（默认为8，即Eden:S0:S1=8:1:1）。
-XX:MaxGCPauseMillis（G1）：目标最大停顿时间。
(2) 优化策略
避免大对象：减少直接晋升老年代的概率。
调整Survivor区：避免对象过快晋升（通过-XX:TargetSurvivorRatio调整Survivor利用率）。
选择合适的收集器：
高吞吐：Parallel。
低延迟：G1或ZGC。
超大堆：ZGC/Shenandoah。
(3) 分析工具
GC日志：通过-Xloggc:gc.log -XX:+PrintGCDetails开启。
VisualVM/JConsole：实时监控堆和GC活动。
jstat：命令行工具（如jstat -gcutil
8. 常见问题与解决方案
(1) 频繁Full GC
原因：内存泄漏、Survivor区过小导致对象过早晋升。
排查：通过堆转储（jmap -dump）分析对象分布。
(2) 长时间STW
优化：切换低延迟收集器（如G1或ZGC），减少单次回收区域的大小。
(3) 内存碎片
处理：启用并行压缩（如-XX:+UseParallelOldGC）或改用标记-整理算法。
9. GC的发展趋势
低延迟：ZGC、Shenandoah实现了亚毫秒级停顿。
超大堆支持：ZGC可管理TB级内存。
云原生优化：针对容器环境（如Kubernetes）的内存配额适配。
总结
JVM的GC机制通过分代策略、多样化算法及收集器，在自动化内存管理的同时，平衡了吞吐量与延迟。开发者需结合具体场景（如堆大小、延迟要求）选择收集器，并通过日志分析和参数调优确保应用稳定高效运行。