v8 - 这是中间表示吗？

Question

我正在研究 v8 编译器的工作原理。我读了一篇文章，其中指出源代码被标记化、解析、构造 AST，然后生成字节码 ( https://medium.com/dailyjs/understanding-v8s-bytecode-317d46c94775 )

这个字节码是中间表示吗？

Answer 1

简短回答:不。通常人们使用术语“字节码”和“中间表示”来表示两种不同的事物。

长答案:这在一定程度上取决于您的定义(但对于大多数定义，“否”仍然是正确答案)。

V8 等虚拟机中的“字节码”是指用作解释器输入的表示。您链接到的文章给出了很好的描述。

“中间表示”或 IR 通常是指编译器在内部使用的数据，作为其输入(通常是 AST = 抽象语法树，即源文本的解析版本)和它的输入之间的中间步骤(因此得名)输出(通常是机器码或字节码，但它可以是任何东西，就像在源到源编译器中一样)。

所以在传统设置中，您有:

source --(parser)--> AST --(compiler front-end)--> IR --(compiler back-end)--> machine code

IR 通常会随着编译器对其执行各种优化而修改多次，然后最终从中生成机器码。也可以有几个不同的 IR；例如，V8 早期的优化编译器(“Crankshaft”)有两个:高级 IR“Hydrogen”和低级 IR“Lithium”，而 V8 当前的优化编译器(“Turbofan”)甚至有三个:“JavaScript 级节点” 、“简化节点”和“机器级节点”。

现在，如果您想在系统的白板图中以不同的方式绘制方框，那么您可以将源代码和机器代码之间的所有内容视为一个大的“编译器”，而不是使用“解析器”和“编译器” (作为第一步解析源代码)。在这种情况下，AST 将是一种中间表示形式。但是，如上所述，通常当人们使用术语 IR 时，他们指的是“编译器 IR”，而不是 AST。

在像 V8 这样的虚拟机中，整个执行流水线比上面描述的要复杂。它开始于:

source --(parser)--> AST --(bytecode generator)--> bytecode

此字节码主要用作 V8 解释器的输入。作为一种优化，当 V8 决定通过优化编译器运行一个函数时，它不会再次从源代码和解析器开始，而是优化编译器使用字节码作为其输入。图表形式:

字节码--(解释器)-->程序执行

字节码--(编译器前端)--> IR--(编译器后端)-->机器码--(CPU)-->程序执行

现在这是您的观点所在的部分:因为 V8 中的字节码不仅用作解释器的输入，而且还用作优化编译器的输入，从这个意义上说，它是一个步骤在从源文本到机器代码的过程中，如果你想称它为一种特殊形式的中间表示，从技术上讲你不会错。不过，这将是一个不寻常的术语定义。当编译理论教科书谈到“中间表示”时，它并不意味着“字节码”。