#Shenandoah GC 深度解析

Shenandoah 是 OpenJDK 社区开发的低延迟 GC，与 ZGC 设计目标相似，但实现方式有所不同。Shenandoah 在 Java 12 随 OpenJDK 进入主线，Java 15 成为正式特性。

Shenandoah 的最大特点是：可以在不停止应用线程的情况下进行堆整理。

#与 ZGC 的对比

Shenandoah 和 ZGC 都是低延迟 GC，但实现方式有重要区别：

#Brooks Pointer（转发指针）

Shenandoah 使用 Brooks Pointer 来实现并发整理：

flowchart LR
    subgraph 转移前["对象转移前"]
        Old["旧对象"]
        BP1["Brooks Pointer"] -->|"指向自己"| Old
    end
    
    subgraph 转移后["对象转移后"]
        New["新对象"]
        Old2["旧对象（已废弃）"]
        BP2["Brooks Pointer"] -->|"转发到"| New
    end

#Brooks Pointer 的工作原理

// Brooks Pointer 示意图
public class ShenandoahObject {
    // 对象头中额外的一个指针
    private Object forwardingPointer;
    // ... 其他字段
}

// 读取对象引用
public Object read(Object* ref) {
    ShenandoahObject obj = *ref;
    
    // 检查 Brooks Pointer
    if (obj.forwardingPointer != null) {
        // 对象已被转移，返回新地址
        return obj.forwardingPointer;
    }
    
    return obj;
}

#写屏障

由于使用了 Brooks Pointer，Shenandoah 需要写屏障来更新转发指针：

// 写屏障
public void write(Object* ref, Object newValue) {
    // 更新引用
    *ref = newValue;
    
    // 检查旧对象是否正在被转移
    Object oldValue = *ref;
    if (isBeingRelocated(oldValue)) {
        // 更新 Brooks Pointer
        updateForwardingPointer(oldValue, newValue);
    }
}

#Shenandoah 工作阶段

Shenandoah 的工作分为多个阶段：

flowchart TB
    subgraph InitMark["初始化标记\nStop The World"]
        IM["标记 GC Roots"]
    end
    
    subgraph ConcurrentMark["并发标记"]
        CM["遍历对象图"]
    end
    
    subgraph FinalMark["最终标记\nStop The World"]
        FM["处理并发变更"]
    end
    
    subgraph ConcurrentEvac["并发转移"]
        CE["转移对象\n更新引用"]
    end
    
    subgraph UpdateRefs["更新引用\nStop The World"]
        UR["全局引用更新"]
    end
    
    InitMark --> ConcurrentMark --> FinalMark --> ConcurrentEvac --> UpdateRefs --> InitMark

#各阶段说明

#核心参数

#启用 Shenandoah

# Java 15+ 启用 Shenandoah
java -XX:+UseShenandoahGC -Xms8g -Xmx8g -jar application.jar

# Java 12-14 启用 Shenandoah
java -XX:+UnlockExperimentalVMOptions -XX:+UseShenandoahGC -Xms8g -Xmx8g -jar application.jar

#常用参数

#启发式算法

Shenandoah 支持多种启发式算法：

# 使用激进模式
java -XX:+UseShenandoahGC \
    -XX:ShenandoahGCHeuristics=aggressive \
    -Xms8g -Xmx8g \
    -jar application.jar

#性能特点

#停顿时间

Shenandoah 的停顿时间通常在毫秒级别：

#吞吐量影响

Shenandoah 的读屏障和写屏障会带来一定的吞吐量损失：

#与 ZGC 的选择

#选 ZGC 的场景

1. 需要支持超大内存（>100GB）
2. 需要 Oracle JDK 或 AdoptOpenJDK
3. 需要更好的 GC 吞吐量

#选 Shenandoah 的场景

1. 使用 OpenJDK
2. 需要社区支持
3. 需要更灵活的启发式配置

#配置示例

#低延迟配置

java -XX:+UseShenandoahGC \
    -Xms8g -Xmx8g \
    -XX:ShenandoahGCHeuristics=adaptive \
    -XX:ConcGCThreads=8 \
    -XX:ShenandoahTargetPause=100 \
    -Xlog:gc*:file=gc.log:time,uptime,level,tags \
    -jar application.jar

#低内存占用配置

java -XX:+UseShenandoahGC \
    -Xms4g -Xmx4g \
    -XX:ShenandoahGCHeuristics=compact \
    -Xlog:gc*:file=gc.log:time,uptime,level,tags \
    -jar application.jar

#已知限制

1. 不支持指针压缩：与 ZGC 相同
2. 不支持类数据共享：与 ZGC 相同
3. 实验性特性：虽然已正式发布，但仍是较新的 GC
4. 社区维护：相比 ZGC（Oracle 支持），Shenandoah 主要由社区维护