generator 执行机制分析
本文以下面代码为例,游戏源码游戏源码分析 generator 执行机制相关的游戏源码游戏源码源码,版本为 V8 7.7.1。游戏源码游戏源码
首先,游戏源码游戏源码当 let iterator = test() 开始执行时,游戏源码游戏源码V8 调用 Runtime_CreateJSGeneratorObject,游戏源码游戏源码coding cat源码创建一个生成器对象。游戏源码游戏源码此函数逻辑是游戏源码游戏源码创建 JSGeneratorObject 的实例,设置相关属性后返回生成器对象 generator。游戏源码游戏源码此时生成器对象 generator 被保存在累加器中。游戏源码游戏源码在字节码 SuspendGenerator 的游戏源码游戏源码处理函数中,该函数暂停当前函数的游戏源码游戏源码执行,并多次调用 StoreObjectField 来保存生成器函数当前运行的游戏源码游戏源码状态。最后返回累加器中的游戏源码游戏源码值,即生成器对象 generator。游戏源码游戏源码因此,生成器函数在执行到“第一次暂停”的最美kdj指标源码位置时,处于暂停状态。
在有了生成器对象后,可以调用其 next 方法让生成器函数继续执行。当 JavaScript 代码继续执行 iterator.next() 时,生成器对象的 next 方法被调用。生成器函数恢复执行需要 CPU 的寄存器操作。在笔者的 Mac 下,调用链路为GeneratorBuiltinsAssembler::GeneratorPrototypeResume-> CodeFactory::ResumeGenerator-> Builtins::Generate_ResumeGeneratorTrampoline。动酷源码下载之后,调用 X 汇编,使生成器函数在暂停处恢复执行。此过程通过 Builtins::Generate_ResumeGeneratorTrampoline 函数完成,函数通过将未来要返回的地址压栈,并跳转到生成器函数 test 暂停的地方,继续执行。
生成器函数从暂停处继续执行后,monkey的源码文件字节码一行一行往下执行,直到遇到下一个 SuspendGenerator,即“第二次暂停”。这是由 yield 带来的。yield 被 V8 编译成 SuspendGenerator 和 ResumeGenerator 两条字节码,分别表示保存状态暂停和恢复状态继续执行。
async/await 与 generator 的关系分析:async/await 和 generator 都有暂停当前函数执行并从暂停处恢复执行的能力。await 和 yield 对应的用ftp上传源码字节码都是 SuspendGenerator 和 ResumeGenerator。生成器函数暂停时,需要调用生成器对象的 next 方法来从暂停处恢复执行。async 函数依赖 Promise 和 microtask,当 V8 在执行 microtask 队列时,已经暂停的 async 函数恢复执行。async 函数通过 Generator 和 Promise 获得保存状态暂停和恢复状态执行的能力,以及自我驱动向下继续执行的能力,从而避免调用 next 方法。
JavaScript 中的函数类型较为复杂。虽然在 JavaScript 中,1 和 0.1 都是 number,但在 V8 中它们是不同的类型,内存表示和 CPU 运算指令也有所不同。因此,即使在 JavaScript 中 typeof 都返回 function 的 test、test1、test2,在 V8 中是不同的类型。日常开发中,当一个组件/方法需要一个函数做为参数时,需要确保正确传递 ES6 之前的函数、async 函数或生成器函数,以避免运行时错误。
原生 generator 与 babel 转译的区别:在日常开发中,生成器/async 函数会被 babel 转译成类似下面的代码。这段代码中,test 函数被多次调用,但由于闭包保存了函数执行的状态,每次调用 test 都是新的 test。这种实现非常巧妙,但与 V8 中生成器函数的原理有较大区别。Babel 转译的代码无法生成字节码 SuspendGenerator 和 ResumeGenerator。
总结:生成器函数被调用时,开始执行并返回生成器对象后暂停。调用 iterator.next() 后,生成器函数从第一次暂停的位置恢复执行,遇到 yield(SuspendGenerator)后第二次暂停。
2024-11-14 10:00
2024-11-14 09:27
2024-11-14 09:10
2024-11-14 08:55
2024-11-14 08:43