垃圾收集屏障(GC Barriers)

最后的自由
55 阅读2分钟

GC Barriers（垃圾收集屏障）是 JVM 实现高效并发垃圾收集的核心技术，主要分为写屏障和读屏障两类。以下是全面解析：

graph TD
    A[GC Barriers] --> B[写屏障 Write Barrier]
    A --> C[读屏障 Read Barrier]

    B --> B1[引用更新拦截]
    B --> B2[记录引用变化]
    B --> B3[支持并发标记]

    C --> C1[引用读取拦截]
    C --> C2[处理对象移动]
    C --> C3[支持并发压缩]

一、写屏障（Write Barrier）

1. 核心功能与原理

graph TD
    写屏障 --> 拦截[拦截引用更新]
    拦截 --> 记录[记录引用变化]
    记录 --> 卡表[标记卡表]
    记录 --> SATB[记录原始快照]

    目的 --> 并发标记[支持并发标记]
    目的 --> 引用跟踪[跟踪跨代引用]

2. 工作流程

sequenceDiagram
    应用线程->>对象A: 更新字段引用
    对象A->>写屏障: 拦截写操作
    alt CMS增量更新
        写屏障->>标记栈: 将新引用加入标记栈
    else G1 SATB
        写屏障->>SATB队列: 记录旧引用
    end
    写屏障->>卡表: 标记脏卡
    写屏障->>对象A: 完成写操作

3. 具体实现类型

classDiagram
    class WriteBarrier {
        <<interface>>
        +onWrite(field, new_value)
    }

    class SATBBarrier {
        +onWrite() : 记录旧引用
    }

    class IncrementalUpdateBarrier {
        +onWrite() : 标记新引用
    }

    WriteBarrier <|.. SATBBarrier
    WriteBarrier <|.. IncrementalUpdateBarrier

二、读屏障（Read Barrier）

1. 核心功能与原理

graph TD
    A[并发压缩] --> B[内存整理]
    A --> C[对象移动]
    A --> D[消除碎片]
    
    B --> 过程[滑动式内存整理]
    C --> 挑战[移动存活对象]
    D --> 益处[减少内存空洞]
    
    E[读屏障作用] --> F[拦截访问]
    F --> G[处理移动对象]
    G --> H[指针自愈]
    
    A & E --> 协同[协同工作机制]

2. 工作流程

sequenceDiagram
    应用线程->>对象B: 读取引用
    对象B->>读屏障: 拦截读操作
    读屏障->>转发指针: 检查对象是否移动
    alt 对象已移动
        读屏障->>新地址: 获取新地址
        读屏障->>原始引用: 更新为正确地址
        读屏障->>应用线程: 返回新地址
    else 对象未移动
        读屏障->>应用线程: 返回原地址
    end

3. 在 Shenandoah 中的实现

graph TD
    Shenandoah --> Brooks[Brooks指针]
    Brooks --> 对象头前[对象头前加转发指针]

    读屏障 --> 检查[检查转发指针]
    检查 --> 移动[对象已移动]
    移动 --> 跳转[跳转到新地址]

三、GC Barriers 关键技术

1. 屏障注入技术

graph TD
    JIT编译 --> 分析[逃逸分析]
    分析 --> 注入[屏障注入点]

    注入 --> 写操作[对象字段写]
    注入 --> 读操作[对象字段读]
    注入 --> 数组操作[数组元素访问]

2. 性能优化技术

graph TD
    优化 --> 过滤[条件过滤]
    过滤 --> 区域[仅监控GC区域]
    过滤 --> 阶段[仅GC时激活]

    优化 --> 编译[JIT优化]
    编译 --> 内联[屏障内联]
    编译 --> 消除[冗余消除]

    优化 --> 并行[并行处理]
    并行 --> 缓冲[缓冲队列]
    缓冲 --> 批量[批量处理]

四、性能影响与优化

1. 开销对比

pie
    title GC Barriers开销占比
    "写屏障" : 40
    "读屏障" : 60

2. 优化策略

image.png

五、GC Barriers 演进趋势

1. 硬件辅助屏障

graph LR
    硬件支持 --> 内存标签[内存标签扩展]
    内存标签 --> 减少开销[减少软件屏障]

    趋势 --> 卸载[屏障逻辑卸载到硬件]

2. 编译器深度优化

graph TD
    JIT优化 --> 分析[逃逸分析]
    分析 --> 消除[屏障消除]

    未来 --> 静态[静态屏障插入]

六、最佳实践

1. 减少屏障开销

// 优化前：高频更新引用
for (int i = 0; i < 1000000; i++) {
    obj.ref = new Object(); // 触发写屏障
}

// 优化后：使用局部变量
Object temp = new Object();
for (int i = 0; i < 1000000; i++) {
    // 无引用更新
}

2. 诊断工具

# ZGC屏障诊断
-XX:+ZStatistics

# Shenandoah屏障分析
-XX:+TraceShenandoahBarriers

# G1屏障日志
-XX:+G1PrintBarrierStatistics

七、总结：GC Barriers 核心价值

1. 关键技术矩阵

特性写屏障读屏障
主要功能记录引用变化处理对象移动
触发时机引用更新时引用读取时
性能开销中 (5-15周期)高 (10-30周期)
关键应用CMS/G1Shenandoah/ZGC
优化重点卡表过滤自愈效率

2. 现代GC选择建议

image.png

​最终结论​​：

GC Barriers 是现代并发垃圾收集的基石：

  • 写屏障 解决引用变化跟踪问题
  • 读屏障 实现对象并发移动

在开发中：

  • 避免高频更新引用减少写屏障
  • 减少跨代引用降低读屏障

在GC选择上：

  • 追求亚毫秒暂停选 ZGC
  • 大堆平衡选 Shenandoah
  • 常规应用选 G1

GC Barriers 的演进方向是硬件辅助+编译器深度优化，未来将实现零开销并发垃圾收集。

引用屏障(Reference Barrier)

avatar
文章
阅读
粉丝