#JIT 编译与 AOT

flowchart TB
    subgraph 编译方式
        A["解释执行\nInterpreted Execution"] --> B["JIT 编译\nJust-In-Time"]
        B --> C1["C1 编译器\nClient Compiler\n快速编译\n激进优化少"]
        B --> C2["C2 编译器\nServer Compiler\n深度优化\n编译耗时长"]
        B --> D["分层编译\nTiered Compilation\n0/1/2/3 四层"]
    end

    subgraph 优化技术
        E["方法内联\n消除调用开销"] --> F["逃逸分析\n栈上分配/锁消除"]
        G["锁粗化\n合并多个锁"] --> F
        H["标量替换\n对象拆解为基本类型"] --> F
    end

    subgraph AOT 编译
        I["AOT 编译\nAhead-of-Time"] --> J["GraalVM 原生镜像\nSubstrate VM"]
        I --> K["Spring Native"]
        I --> L["Quarkus"]
    end

    C1 --> E
    C2 --> E
    D --> E
    J --> M["启动快\n内存小\n无 JVM 开销"]
    K --> M
    L --> M

    style A fill:#feca57
    style C2 fill:#ff6b6b
    style M fill:#5f27cd,color:#fff

flowchart LR
    A["方法调用计数器\n统计方法被调用次数"] --> B{"是否 >= 阈值?"}
    B -->|是| C["触发 JIT 编译"]
    B -->|否| D["继续解释执行"]
    C --> E["编译完成后\n调用计数器归零"]
    E --> D

    F["回边计数器\n统计循环回边次数"] --> G{"是否 >= 阈值?"}
    G -->|是| H["触发 JIT 编译\nOSR：栈上替换"]
    G -->|否| I["继续执行循环"]

stateDiagram-v2
    [*] --> 解释执行: 启动
    解释执行 --> C1编译: 方法调用 >= 阈值
    C1编译 --> C2编译: C1 采样发现热点
    C1编译 --> 解释执行: C1 反优化
    C2编译 --> C1编译: C2 反优化
    C2编译 --> [*]: 应用结束
    C1编译 --> [*]: 应用结束

    note right of C2编译: 深度优化带来峰值性能<br/>但编译耗时较长
    note right of 解释执行: 代码变热的过程<br/>是用户感知的「预热」

flowchart TB
    A["JIT 优化技术"] --> B["方法内联\n消除方法调用开销"]
    A --> C["逃逸分析\n判断对象作用域"]
    A --> D["锁粗化\n合并相邻锁操作"]
    A --> E["标量替换\n对象拆解为基本类型"]

    C --> C1["栈上分配\n对象不进入堆"]
    C --> C2["锁消除\n移除不可能竞争的锁"]
    C --> C3["标量替换前置条件"]

    B --> B1["虚方法内联\n通过类层次分析CHA"]
    B --> B2["多态内联\n基于类型推断"]

    style B fill:#5f27cd,color:#fff
    style C fill:#5f27cd,color:#fff
    style A fill:#ff6b6b