js代码在V8中怎么执行的

最新推荐文章于 2024-07-28 11:12:48 发布

ALKEN ABBY

最新推荐文章于 2024-07-28 11:12:48 发布

阅读量299

点赞数 1

分类专栏：日积月累(学习深度) javascript 开发中的实用方法和函数文章标签： javascript 前端 v8

本文链接：https://blog.csdn.net/qq_45803050/article/details/127140010

版权

javascript 同时被 3 个专栏收录

65 篇文章 0 订阅

订阅专栏

开发中的实用方法和函数

54 篇文章 0 订阅

订阅专栏

日积月累(学习深度)

30 篇文章 2 订阅

订阅专栏

js代码在V8中怎么执行的

执行过程图：
在这里插入图片描述

生成AST

词法分析

举个例子：

let a = 1 ;

进行词法分析：把这个语句拆分成最小的不可拆分的单元
在这里插入图片描述

生成 token 流：

[
    {
        "type": "Keyword",
        "value": "let"
    },
    {
        "type": "Identifier",
        "value": "a"
    },
    {
        "type": "Punctuator",
        "value": "="
    },
    {
        "type": "String",
        "value": "123"
    },
    {
        "type": "Punctuator",
        "value": ";"
    }
]

语法分析

将上面的 token数组转换成一个由元素逐级嵌套所组成的代表了程序语法结构的树。这个树被称为“抽象语法树”（Abstract Syntax Tree, AST），在生成 AST 的同时，V8 还会生成相关的作用域，作用域中存放相关变量

类似于这种格式：
如 var name = ‘惊鸿’; 得到的 AST 是：

//AST抽象语法树
{
  "type": "Program",
  "body": [
    {
      "type": "VariableDeclaration",
      "declarations": [
        {
          "type": "VariableDeclarator",
          "id": {
            "type": "Identifier",
            "name": "name"
          },
          "init": {
            "type": "Literal",
            "value": "惊鸿",
            "raw": "'惊鸿'"
          }
        }
      ],
      "kind": "var"
    }
  ],
  "sourceType": "script"
}

生成字节码

在有了 AST 和作用域之后，就可以生成字节码了，字节码是介于AST 和机器码之间的一种代码，可以不需要将其转换成机器码后再执行，字节码可以理解为是机器码的一种抽象。Ignition 解释器除了可以快速生成没有优化的字节码外，还可以执行部分字节码。

为什么需要生成字节码

那为什么需要生成字节码呢？直接转换为机器代码不是更好吗？

直接转换会带来内存占用过大的问题，因为如果抽象语法树全部生成机器代码，而机器代码相比于字节码，占用的内存要多的多
某些 JavaScript 使用场景使用解释器更为合适，解析成字节码，有些没有必要的代码就可以不生产机器代码，这样可以尽可能的减少占用内存过大的问题

字节码的存储位置？

字节码和机器码以哈希表的形式存在v8的堆内存中。

执行字节码

解释器Ignition

生成字节码和解释执行字节码。

热点代码

一段代码被重复执行多次，会被解释器标记为热点代码。

编译器TurboFan

将热点的字节码编译为高效的机器码，然后当再次执行这段被优化的代码时，只需要执行编译后的机器码。

即时编译技术JIT

编译器和解释器配合的一种技术，在这指的就是，解释器Ignition在解释执行一段字节码时，发现某一部分代码’发热了’,编译器TurboFan把热点的字节码转换为机器码，并把转换后的机器码保存起来，以备下次使用。

在上一步生成的字节码，直接被解释器执行，在代码不断地运行过程中，解释器会收到很多可以用来优化代码的信息，比如变量的类型，哪些函数执行的频率较高，这些信息会被发生个编译器 TruboFan ，它会根据这些信息和字节码来编译出经过优化的机器代码。

运行时几个优化策略：

函数只声明未被调用，不会被解析生成 AST
函数只被调用一次，字节码会直接被解释执行
函数被调用多次，可能会被标记为热点函数，可能会被编译成机器代码

关于热点函数

编译器 TurboFan 会将这些热点代码编译成更高效的机器代码储存起来，等到下次再执行时，会用现在的机器代码替换原来的字节码进行执行，这样就会大大的提示代码的执行效率。同时当 TurboFan 判断一段代码不再为热点代码的时候，会执行去优化的过程，把优化的机器码丢掉，然后执行过程回到解释器。
有时候解释器收集到的一些信息会是错误的，这就会导致 TurboFan 生成机器代码后，会被逆向还原成字节码

举个栗子🌰

例如：当我们定义一个 sum 函数，在后面的多次调用中，它接收的两个参数我们都传的是整形，sum 函数被识别为热点函数，解释器将收集到的类型信息发送给编译器，编译器生成优化后的机器代码，此时当中的类型被定义为整型，在下次的调用中，直接执行机器代码。
而如果在下次的调用中，传入的参数是字符串型，机器代码不知道如何处理，就会返回给解释器解释执行
因此我们尽量不要把一个变量的类型变来变去，这样会对 V8 引擎带来一些影响，损失一定的性能

参考资料：

https://juejin.cn/post/7000265115287158798

https://www.bilibili.com/video/BV1zV411z7RX/?from=search&seid=11844131633111646720&vd_source=e79ba47f69c9539816c8c5bbb98c63c3

https://juejin.cn/post/7112103546006274062#heading-12