Async-profiler 支持 PNS 风格火焰图的技术解析

背景介绍

在 Java 应用性能分析领域，async-profiler 是一款广受欢迎的低开销性能分析工具。它能够以极低的性能开销采集 Java 应用的 CPU 使用情况、内存分配、锁竞争等信息，并生成直观的火焰图。然而，在某些特定场景下，特别是涉及 JVM 内部原生代码与 Java 代码混合调用的情况，传统的分析方式可能无法提供足够详细的调用栈信息。

PNS 风格火焰图的需求

在 JVM 的调试版本中，存在一个名为 pns 的调试函数，它能够提供比标准分析更详细的调用栈信息。这种分析方式特别适合以下场景：

1. 类初始化死锁问题：当多个线程相互依赖对方持有的类初始化锁时
2. JNI 调用链分析：需要查看 Java 代码与本地代码之间的完整调用关系
3. JVM 内部机制研究：深入理解 JVM 运行时的工作机制

传统的 jstack 或 async-profiler 的默认分析模式会忽略原生调用栈中的非 Java 帧，这在分析复杂问题时可能丢失关键信息。

技术实现细节

async-profiler 通过 --cstack 参数提供了多种调用栈采集模式：

1. fp 模式：基于帧指针的简单回溯，可能无法正确处理所有 JVM 内部调用
2. vm 模式：专门为 JVM 设计的深度分析模式，能够识别 Java 调用和原生调用之间的转换
3. dwarf 模式：使用 DWARF 调试信息进行更精确的栈回溯

在最新版本中，async-profiler 特别增强了对调试版 JVM 的支持，使得 cstack=vm 模式现在能够正确处理 slowdebug 构建的 JVM。这一改进使得工具能够：

• 准确识别 call_stub 等关键 JVM 内部调用点
• 完整展示从 Java 代码到本地代码再回到 Java 代码的完整调用链
• 在类初始化死锁等复杂场景下提供更全面的分析视角

实际应用案例

以一个典型的类初始化死锁问题为例：

// 类Test1和Test2相互依赖对方的静态初始化
static class Test1 {
    static {
        Test2.test(); // 在初始化时调用Test2
    }
    public static void test() {}
}

static class Test2 {
    static {
        Test1.test(); // 在初始化时调用Test1
    }
    public static void test() {}
}

使用增强后的 async-profiler 进行分析时，开发者可以清晰地看到：

1. 线程A阻塞在Test1的初始化过程中，等待Test2的初始化
2. 线程B阻塞在Test2的初始化过程中，等待Test1的初始化
3. 完整的JVM内部调用路径，包括类初始化机制、锁获取等关键环节

这种级别的详细信息对于诊断复杂的并发问题至关重要。

使用建议

对于需要进行深度 JVM 分析的用户，建议：

1. 在分析类初始化问题或复杂 JNI 交互时，使用 --cstack=vm 参数
2. 对于调试版 JVM，确保使用最新版本的 async-profiler 以获得完整支持
3. 结合传统 Java 栈分析和其他性能数据，获得更全面的视角

async-profiler 的这一增强功能为 JVM 开发者提供了更强大的分析工具，特别是在处理复杂的运行时问题时，能够提供传统工具无法提供的深入洞察。