原文：JavaScript engines and Just-In-Time compilation: A beginner’s exploration, part 1

JavaScript 引擎自身也是一种软件，它将您富丽的 JavaScript 代码行转换为咱们的机器可执行的二进制代码。

所有次要浏览器都开发了本人的 JavaScript 引擎。Chrome 有 V8，Firefox 运行 SpiderMonkey（第一个 JavaScript 引擎的进化产品，由 Brendan Eich 在 90 年代为 Netscape Navigator 开发），Microsoft Edge 有 Chakra，Safari 有 Nitro。Node.js 建设在 Chrome 的 V8 引擎之上。物联网设施也能够有一个 JavaScript 引擎。

每个 JavaScript 引擎都负责应用 Ecma International 的 TC39 制订的 ECMAScript 规定和规范。

Why modern JavaScript engines do Just-In-Time compilation

JavaScript 是一门动静类型语言。

let x = 8
let y = "Henlo fren"

这意味着无论何时你在 JavaScript 中申明一个变量，你都不用明确阐明变量 x 存储的信息类型。JavaScript 引擎在执行源代码时查看类型。

在动态类型语言（如 C++）中申明变量时，您必须显式指定变量值的类型。

int x = 8 
string y = "Henlo fren"

有了如此严格的规定，动态类型语言能够具备更高的学习曲线。在尝试编写一个简略的程序之前，您必须更多地理解它的规定和类型。

然而，从编译器的角度来看，动态类型语言容许更快的性能。事后，当编译器开始将代码转换为可执行的机器代码二进制时，该语言为编译器提供了大量无关源代码的信息。

另一方面，像 JavaScript 这样的动静类型语言很少向编译器提供无关其类型的信息。这为编译器在生成机器代码之前创立了另一层工作，使其执行速度比动态编写语言的编译慢。

But fear not, this is where Just-In-Time compilation comes in!

最后开发 JavaScript 时，它旨在编写大量用于加强网页的脚本。随着开发人员开始构建和应用更多 JavaScript 框架和库，以及收回 AJAX 申请，对更好、更快性能的需要一直增长。

当 Chrome 于 2008 年推出时，谷歌还首次公布了其 V8 引擎，这是古代 JavaScript 引擎中的第一个。V8 的次要个性之一是即时编译 – Just-In-Time compilation。

在 Ahead-of-Time 编译中，编译过程必须在零碎运行可执行机器代码之前实现。有了 Just-In-Time compilation 这一新个性，V8 引擎会依据须要编译源代码，在执行编译过程生成的机器码时收集类型信息，而后依据执行过程收集的信息从新编译源代码。两个过程之间的来回放慢了执行过程的性能。

为了让 JavaScript 在动静类型的状况下仍能以最快的速度运行，JavaScript 引擎有一些奇妙的技巧。

像大多数古代 JavaScript 引擎一样，V8 有两个编译器：基线 (baseline) 编译器和优化编译器。

当 V8 编译你的 JavaScript 代码时，它的解析器会生成一种叫做形象语法树的货色。Ignition，V8 的基线编译器或解释器，从这个语法树生成字节码。Ignition 忠诚于它的即时编译个性，它编译 JavaScript 代码，运行它，编译它，运行它，来回，一遍又一遍。

在运行时，字节码被剖析，引擎辨认能够从新编译以获得最佳性能的局部（“热函数”），将该代码发送到 TurboFan，它是 V8 的优化编译器。正是因为即时编译，引擎才可能因为即时编译而辨认这些所谓的“热性能”。

The + operator and V8 optimization

在她的精彩演讲 JavaScript 引擎中，V8 工程师 Franziska Hinkelmann 应用 + 运算符来解释 V8 的优化是如何工作的。

乍一看，加法运算符可能看起来很简略，任何编译器都能够编译和执行。然而，如果您查看 Ecma 标准，在程序理论增加任何内容之前，引擎实际上须要执行很多步骤：

这些步骤中的每一步都在调用其余函数，而这些函数又可能调用其余函数，依此类推。所有引擎都必须遵循这些 Ecma 标准，因而 JavaScript 不仅仅是无法无天的。

因而，当您的程序有一个将两个整数相加的函数时，当您第一次调用该函数时，JavaScript 引擎会费劲地实现这些步骤中的每一步，最终将您的两个整数相加。当它通过 JIT 过程（编译、运行、编译、运行、编译等）时，它意识到你的函数很热，很热，很热，因为你始终在调用它。从引擎在运行时收集的信息，它也意识到这个特定函数应用的数据类型只是整数。有了这些信息，V8 将您的代码发送到 TurboFan，它的优化器编译器，它为您的函数生成更好的机器代码。下次您再次调用该函数时，它会跳过简短的 Ecma 步骤，您的函数将运行得更快。

然而当您决定在调用该函数时连贯一些字符串而不是增加两个整数时会产生什么？V8 将该函数抛出到去优化器，将其发送回 Ignition，而后 Igntion 再次执行那些 Ecma 指定的步骤来运行该函数。

更多 Jerry 的原创文章，尽在：” 汪子熙 ”: