V8 TurboFan 生成图简析

一、简介

v8 turbolizer 有助于我们分析 JIT turbofan 的优化方式以及优化过程。但我们常常对于 turbolizer 生成的 IR 图一知半解，不清楚具体符号所代表的意思。以下为笔者阅读相关代码后所做的笔记。

二、TurboFan Json 格式

• --trace-turbo 参数将会生成一个 JSON 格式的数据。通过在 turbolizer 上加载该 JSON，可以得到一个这样的IR图：

其中，该 JSON 的格式如下：

{
    "function": "opt_me",
    "startPosition": 109,
    "source": [js source],
    "phases": [
        {
            "name": "Typed",
            "type": "graph",
            "data": {
                "nodes": [
                    [...],
                    {
                        "id": 20,
                        "label": "FrameState[INTERPRETED_FRAME, 11, Ignore, 0x1a5acd4aa5e9 <SharedFunctionInfo opt_me>]",
                        "title": "FrameState[INTERPRETED_FRAME, 11, Ignore, 0x1a5acd4aa5e9 <SharedFunctionInfo opt_me>]",
                        "live": true,
                        "properties": "Idempotent, NoRead, NoWrite, NoThrow, NoDeopt",
                        "pos": 178,
                        "opcode": "FrameState",
                        "control": false,
                        "opinfo": "5 v 0 eff 0 ctrl in, 1 v 0 eff 0 ctrl out",
                        "type": "Internal"
                    },
                    [...]
                ],
                "edges": [
                    {
                        "source": 100,
                        "target": 101,
                        "index": 0,
                        "type": "control"
                    },
                    [...]
                ]
            }
        },
        [...]
    ],
    "nodePositions": {
        [...]
    }
}

简单的概括一下，就是：

• function： 函数名称

• sourcePosition：代码的起始位置。

• source： 当前 turboFan 优化的 JS 代码

• phases： turboFan 的各个优化阶段

  • 优化阶段1

    • name： 当前优化阶段的名称

    • type：显示的形式，是 graph IR 图还是 文本。

    • data： 当前阶段真正存放的结点与边的数据。

      • nodes： 结点数据

        • 结点1

          • id: 结点ID，通常是一个数字

          • label：结点标签

          • title：结点主题

          • live： 当前结点是否是活结点，为 true / false

          • properties：当前结点的属性

          • pos：暂且不说

          • opcode：当前结点的操作码，例如End

          • control：当前是否是控制结点，为 true / false

          • opinfo：具体的结点信息，通常表示当前结点的

            ValueInputCount、EffectInputCount、ControlInputCount、ValueOutputCount、EffectOutputCount、ControlOutputCount

            。

            表示方式如下：

            “<ValueInputCount> v

            \<EffectInputCount\>    eff
            \<ControlInputCount\>   ctrl in,
            \<ValueOutputCount\>    v
            \<EffectOutputCount\>   eff
            \<ControlOutputCount\>  ctrl out"

            例如：”0 v 1 eff 1 ctrl in, 0 v 1 eff 0 ctrl out”

        • [其他结点]

      • edges：边的数据

        • 边1
          • source：边的源节点 ID
          • target：边的目标节点ID
          • index：当前边连接到目标节点的哪个输入
          • type：当前边的类型，例如 control、value、effect等等
        • [其他边]

  • [其他优化阶段]

• nodePositions：每个结点在 JS 源码中所对应的代码位置

三、Node

a. 属性说明

以下是截取出的一个 Node 示例：

{
    "id": 128,
    "label": "LoadField[+16]",
    "title": "LoadField[tagged base, 16, Internal, kRepTaggedPointer|kTypeAny, PointerWriteBarrier]",
    "live": true,
    "properties": "NoWrite, NoThrow, NoDeopt",
    "pos": 388,
    "opcode": "LoadField",
    "control": false,
    "opinfo": "1 v 1 eff 1 ctrl in, 1 v 1 eff 0 ctrl out",
    "type": "Internal"
}

对应的结点如下：


一一对应以下便可以看出，其中的 id、label、title、properties、opinfo 以及 type 均显现在图中。

而 live、pos、opcode 以及 control 字段则是给 turbolizer.js 使用的。

注意到上图中的 “Inplace update in phase: Typed”，其中的 phase 则是 turbolizer.js 动态分析出的，不在 JSON 中记录。

b. 颜色

我们可以注意到，IR图中的结点都有颜色，其中颜色貌似符合某种规律。

通过查阅 turbolizer.js 以及 在线 turbolizer 的 css 代码，turbolizer 将结点分为了以下几种结点，并设置了不同的颜色加以区分：

• Control 结点：对于那些控制结点， 即 JSON 数据中 control 字段为 true 的结点，其颜色为黄色。
• Input 结点：那些 opcode 为 Parameter 或 Constant 结点，其颜色为浅蓝色。
• Live 结点（这其实不能算一类结点）：即 live 字段为 true 的结点。其反向结点——DeadNode——的颜色会在原先颜色的基础上进行浅色化处理，例如以下图片。图片中的两个结点其类型相同，所不同的是左边的结点是 Dead，右边结点是 Live。
• JavaScript结点：那些 opcode 以 JS 开头的结点，其颜色为橙红色。
• Simplified 结点：那些 opcode 包含 Phi、Boolean、Number、String、Change、Object、Reference、Any、ToNumber、AnyToBoolean、Load、Store，但不是 JavaScript类型的结点。其颜色如下所示：
• Machine 结点：除了上述四种结点以外，剩余的结点。颜色如下所示：

四、Edge

Edge 中的 Type 共有五种，分别是 value、context、frame-state、effect、control 以及最后一个 unknown。

以下是这些边的一些例子：

a. value 边

对于该边：

{
    "source": 80,
    "target": 83,
    "index": 4,
    "type": "value"
}

其边的视觉效果如下：


可以看到，对于 Value 边来说，是一条实线。

b. context 边

对于该边：

{
    "source": 4,
    "target": 49,
    "index": 3,
    "type": "context"
}

视觉效果如下：


可以看到，Context边也是一条实线。但在当前这个例子中，由于 Context 边只会由 Parameter[%context#4]结点发出，因此不会与 Value 边混淆。

这里需要注意一下，Context 边只会存在于某个 Context 结点发出的所有边，即不会出现结点既发出 Context 边又发出 Value 边的情况。

如果有还请指正。

c. frame-state 边

例子：

{
    "source": 50,
    "target": 49,
    "index": 4,
    "type": "frame-state"
}

视觉效果：


可以看到，对于一条 frame-state 边，其视觉效果是一条 疏虚线。

frame-state 边一定是由一个 FrameState 结点发出的。

上图的另一条虚线是密虚线，所不同的是虚线的疏密程度。

d. effect 边

例子：

{
    "source": 114,
    "target": 49,
    "index": 5,
    "type": "effect"
}

视觉效果：


即 effect 边的显示效果是 密虚线。

e. control 边

例子：

{
    "source": 31,
    "target": 49,
    "index": 6,
    "type": "control"
}

视觉效果：


注意：与 value 边相同，control 边的显示效果也是一条实线。这意味着单单只看 IR 图的话，是无法将 Control 边和 Value 边区分开的。

五、参考的源码

• v8/tools/turbolizer/build/turbolizer.js
• v8/src/compiler/graph-visualizer.cc