Java垃圾回收算法详解：标记-清除、复制与标记-整理

1. Java垃圾回收算法概述

作为一名Java开发者，理解垃圾回收机制是掌握JVM性能调优的基础。Java的自动内存管理机制通过垃圾回收器（Garbage Collector）实现，它负责回收不再使用的对象占用的内存空间。不同的垃圾回收算法适用于不同的场景，各有优缺点。在实际开发中，了解这些算法的原理和适用场景，能帮助我们更好地进行JVM调优和性能优化。

Java虚拟机主要采用三种基础垃圾回收算法：标记-清除（Mark-Sweep）、复制（Copying）和标记-整理（Mark-Compact）。每种算法都有其特定的工作方式和适用场景，它们共同构成了现代JVM垃圾回收机制的基础。随着Java版本的演进，这些基础算法被组合使用，形成了各种垃圾回收器实现，如Serial、Parallel、CMS、G1等。

提示：垃圾回收算法的选择直接影响应用程序的吞吐量（Throughput）、延迟（Latency）和内存占用（Footprint）这三个关键性能指标。

2. 标记-清除算法解析

2.1 基本原理与实现

标记-清除算法是最基础的垃圾回收算法，其工作过程分为两个阶段：

1. 标记阶段：从GC Roots（包括虚拟机栈中引用的对象、方法区中类静态属性引用的对象、方法区中常量引用的对象、本地方法栈中JNI引用的对象等）开始遍历对象图，标记所有可达对象
2. 清除阶段：遍历整个堆内存，回收未被标记的对象占用的空间

在HotSpot虚拟机中，标记过程通常采用可达性分析算法。这个阶段会暂停所有应用线程（Stop-The-World），以确保对象引用关系不被改变。清除阶段则可以直接回收未被标记的内存块。

java复制// 伪代码表示标记-清除算法
void markSweep() {
    // 标记阶段
    for (Object root : gcRoots) {
        mark(root);
    }
    
    // 清除阶段
    for (MemoryBlock block : heap) {
        if (!block.isMarked()) {
            free(block);
        }
    }
}

2.2 优缺点分析

优点：

• 实现简单直接，不需要移动对象
• 适用于对象存活率高的场景（如老年代）
• 内存利用率高，不会像复制算法那样浪费一半空间

缺点：

• 会产生内存碎片：频繁回收后，内存中会出现大量不连续的小块空闲空间，虽然总空闲内存足够，但可能无法满足大对象的分配需求
• 执行效率不稳定：堆内存越大，标记和清除过程耗时越长
• 需要暂停应用线程：在标记和清除阶段都需要Stop-The-World，对响应时间敏感的应用影响较大

2.3 实际应用与优化

现代JVM很少单独使用标记-清除算法，但它是其他算法的基础组件。例如：

• CMS（Concurrent Mark-Sweep）回收器的老年代回收主要基于标记-清除算法
• 可以通过空闲列表（Free List）管理内存碎片，将相邻的小块空闲内存合并
• 某些实现会使用位图（Bitmap）来记录标记状态，减少内存占用

注意：在Java 9之后，CMS回收器已被标记为废弃，在Java 14中被完全移除，主要是因为其无法适应现代大内存应用的垃圾回收需求。

3. 复制算法深度剖析

3.1 核心思想与工作流程

复制算法将可用内存划分为两块相同大小的区域（通常称为From空间和To空间），其工作流程如下：

1. 新对象只在From空间中分配
2. 垃圾回收时，将From空间中存活的对象复制到To空间
3. 复制完成后，一次性清理From空间所有内存
4. 交换From和To空间的角色

java复制// 伪代码表示复制算法
void copying() {
    // 交换From和To空间指针
    swap(fromSpace, toSpace);
    
    // 复制存活对象
    for (Object obj : fromSpace) {
        if (isLive(obj)) {
            copy(obj, toSpace);
        }
    }
    
    // 清空原From空间
    clear(fromSpace);
}

3.2 性能特点与适用场景

优势：

• 没有内存碎片问题：对象在To空间中是连续存储的
• 分配速度快：只需要维护一个指针，通过指针碰撞（Bump the Pointer）方式分配内存
• 回收效率高：只处理存活对象，堆越大优势越明显

局限性：

• 内存利用率低：始终有一半空间处于闲置状态
• 对象存活率高时复制成本高：需要复制大量对象
• 不适合大对象：复制大对象开销大

3.3 现代JVM中的优化实现

现代JVM对复制算法进行了多种优化：

1. 新生代设计：HotSpot虚拟机将新生代划分为一个Eden区和两个Survivor区（通常比例为8:1:1），每次回收时只浪费10%的空间
2. 分配担保：当Survivor空间不足时，通过分配担保机制直接进入老年代
3. 并行复制：多线程并行复制存活对象，提高回收效率

提示：在JVM参数中，-XX:SurvivorRatio可以调整Eden区与Survivor区的比例，需要根据应用对象生命周期特点进行调优。

4. 标记-整理算法详解

4.1 算法原理与执行步骤

标记-整理算法结合了标记-清除和复制算法的优点，其工作过程分为三个阶段：

1. 标记阶段：与标记-清除算法相同，标记所有可达对象
2. 整理阶段：将所有存活对象向内存一端移动，保持紧凑排列
3. 清理阶段：清理边界以外的内存

java复制// 伪代码表示标记-整理算法
void markCompact() {
    // 标记阶段
    for (Object root : gcRoots) {
        mark(root);
    }
    
    // 计算新位置
    int newLocation = 0;
    for (Object obj : heap) {
        if (obj.isMarked()) {
            obj.setForwardingAddress(newLocation);
            newLocation += obj.size();
        }
    }
    
    // 移动对象
    for (Object obj : heap) {
        if (obj.isMarked()) {
            move(obj, obj.getForwardingAddress());
        }
    }
    
    // 清理剩余空间
    free(newLocation, heap.end());
}

4.2 适用场景与性能考量

标记-整理算法特别适合老年代回收，因为：

• 老年代对象存活率高，复制算法不适用
• 需要避免内存碎片影响大对象分配
• 可以容忍较长的停顿时间（相比新生代）

性能特点：

• 内存利用率高：没有复制算法的空间浪费
• 无内存碎片：对象排列紧凑
• 移动对象开销大：特别是堆内存大、存活对象多时
• 需要多次遍历堆：标记、计算新位置、移动对象各需一次遍历

4.3 现代垃圾回收器中的应用

现代垃圾回收器对标记-整理算法有多种优化：

1. 并行整理：多线程并行移动对象，减少停顿时间
2. 增量整理：分多次小规模整理，减少单次停顿时间
3. 滑动整理：保持对象原有顺序，有利于指针碰撞分配

Serial Old和Parallel Old回收器都采用标记-整理算法处理老年代。G1回收器在全局并发标记后，对各个Region的回收也采用了类似标记-整理的算法。

5. 垃圾回收算法对比与选型

5.1 三种基础算法对比

5.2 现代垃圾回收器的算法组合

现代JVM垃圾回收器通常组合使用多种算法：

1. Serial收集器：新生代复制算法 + 老年代标记-整理
2. Parallel Scavenge收集器：新生代并行复制 + 老年代并行标记-整理
3. CMS收集器：新生代并行复制 + 老年代并发标记-清除
4. G1收集器：整体标记-整理 + 局部复制
5. ZGC/Shenandoah：基于染色指针和读屏障的新一代算法

5.3 选择与调优建议

根据应用特点选择合适的垃圾回收算法组合：

• Web应用：对延迟敏感，可考虑G1或ZGC
• 批处理应用：对吞吐量要求高，适合Parallel Scavenge
• 中小型应用：Serial收集器开销最小
• 大内存应用：G1或ZGC更适合管理大堆

关键JVM参数示例：

code复制# 使用G1回收器
-XX:+UseG1GC

# 设置最大堆内存
-Xmx4g

# 设置目标最大停顿时间（G1）
-XX:MaxGCPauseMillis=200

# 设置并行垃圾回收线程数
-XX:ParallelGCThreads=4

6. 常见问题与实战经验

6.1 内存碎片问题解决方案

内存碎片会导致频繁的Full GC，常见解决方案：

1. 使用标记-整理算法：如Parallel Old回收器
2. 增大堆内存：提供更多内存缓冲
3. 调整对象大小：避免大量小对象长期存活
4. 使用G1回收器：通过Region划分减少碎片影响

6.2 长时间停顿问题处理

垃圾回收导致的长时间停顿会影响应用响应时间，解决方法包括：

1. 选择低延迟回收器：如CMS（Java 8及之前）或ZGC/Shenandoah（Java 11+）
2. 减小堆大小：缩短单次GC时间
3. 优化对象分配：减少短生命周期对象进入老年代
4. 设置合理的GC目标：如G1的MaxGCPauseMillis

6.3 监控与调优工具

1. 命令行工具：

   • jstat：监控GC统计信息
   • jmap：生成堆转储快照
   • jstack：查看线程堆栈

2. 可视化工具：

   • VisualVM
   • JConsole
   • Eclipse MAT（内存分析工具）

3. GC日志分析：

   code复制# 启用GC日志
   -Xloggc:gc.log -XX:+PrintGCDetails -XX:+PrintGCDateStamps
   

   使用GCViewer等工具分析日志，识别问题模式。

在实际项目中，我通常会先通过-XX:+PrintFlagsFinal查看所有JVM参数的最终值，然后结合jstat -gcutil定期监控GC情况。对于内存泄漏问题，jmap -histo:live能快速查看堆内存中的对象分布，而完整的堆转储（jmap -dump）配合MAT分析则能深入定位问题根源。