Torque简介

介绍 V8 Torque

如果您是V8开发者博客的爱好者，可能听说过 CodeStubAssembler，或简称 CSA。CSA是V8的一个组件，它允许我们直接用C ++编写低级别的TurboFan IR（intermediate representation），TurboFan的后端（编译器后端）则将其翻译为相应架构上的机器码。

CSA被大量应用于为JavaScript内置函数编写所谓的“快速路径”。内置的“快速路径”版本通常检查某些特别的条件是否成立（例如原型链上没有元素，没有访问器等），然后使用更快，更特殊优化的操作来实现内置函数的功能。这可以使函数执行时间比通用版本快一个数量级。

CSA的缺点是它确实可以被认为是汇编语言。流程控制使用明确的 label 和 goto进行建模，这使得在CSA中实现复杂算法时，代码会难以阅读且容易出错。

然后是V8 Torque。Torque是一种领域专用语言，具有类似TypeScript的语法，目前使用CSA作为其唯一的编译目标。Torque允许开发者使用与CSA几乎相同层次的流程控制操作，同时提供更高级别的构造，例如while和for循环。此外，它是强类型的，并且将来还会包含类似自动越界这样的安全检查，为V8引擎的工程师提供更强大的保障。

用V8 Torque重写的第一个重要的内置函数是 TypedArray＃sort 和 Dataview。这两者的重写都有另外的目的，即向Torque开发人员反馈所需要的语言功能，以及使用哪些模式会可以更高效地编写内置函数。在撰写本文时，多个JSArray的内置函数和对应的自托管的JavaScript后备实现，已经迁移至Torque（例如，Array＃unshift），其余的则被完全重写（例如，Array＃splice和Array＃reverse）。

作者：SmileSmith
链接：https://juejin.im/post/5c472940e51d455249762bef
来源：掘金
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。