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