1.generator 执行机制分析

generator 执行机制分析

       本文以下面代码为例，游戏源码游戏源码分析 generator 执行机制相关的游戏源码游戏源码源码，版本为 V8 7.7.1。游戏源码游戏源码

       首先，游戏源码游戏源码当 let iterator = test() 开始执行时，游戏源码游戏源码V8 调用 Runtime_CreateJSGeneratorObject，游戏源码游戏源码领取礼包源码创建一个生成器对象。游戏源码游戏源码此函数逻辑是游戏源码游戏源码创建 JSGeneratorObject 的实例，设置相关属性后返回生成器对象 generator。游戏源码游戏源码此时生成器对象 generator 被保存在累加器中。游戏源码游戏源码在字节码 SuspendGenerator 的游戏源码游戏源码处理函数中，该函数暂停当前函数的游戏源码游戏源码执行，并多次调用 StoreObjectField 来保存生成器函数当前运行的游戏源码游戏源码状态。最后返回累加器中的游戏源码游戏源码值，即生成器对象 generator。游戏源码游戏源码因此，生成器函数在执行到“第一次暂停”的nvcc源码解析位置时，处于暂停状态。

       在有了生成器对象后，可以调用其 next 方法让生成器函数继续执行。当 JavaScript 代码继续执行 iterator.next() 时，生成器对象的 next 方法被调用。生成器函数恢复执行需要 CPU 的寄存器操作。在笔者的 Mac 下，调用链路为GeneratorBuiltinsAssembler::GeneratorPrototypeResume-> CodeFactory::ResumeGenerator-> Builtins::Generate_ResumeGeneratorTrampoline。url源码分析之后，调用 X 汇编，使生成器函数在暂停处恢复执行。此过程通过 Builtins::Generate_ResumeGeneratorTrampoline 函数完成，函数通过将未来要返回的地址压栈，并跳转到生成器函数 test 暂停的地方，继续执行。

       生成器函数从暂停处继续执行后，mapStateToProps源码分析字节码一行一行往下执行，直到遇到下一个 SuspendGenerator，即“第二次暂停”。这是由 yield 带来的。yield 被 V8 编译成 SuspendGenerator 和 ResumeGenerator 两条字节码，分别表示保存状态暂停和恢复状态继续执行。

       async/await 与 generator 的关系分析：async/await 和 generator 都有暂停当前函数执行并从暂停处恢复执行的能力。await 和 yield 对应的蝴蝶直播源码字节码都是 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）后第二次暂停。