Generator函数挂起时，V8将其执行上下文冻结并持久化在老生代堆中，包含指令偏移、局部变量、寄存器快照及作用域链引用；因需跨事件循环恢复，必须用堆而非栈存储，闭包变量依逃逸分析决定内联或引用。
Generator 函数挂起时，V8 并不销毁其执行上下文，而是将其“冻结”并保留在堆中，供后续 next() 调用恢复。这种行为与普通函数调用有本质区别——普通函数退出即释放栈帧，而 Generator 的暂停状态必须持久化变量、控制流位置和闭包环境。
挂起时的内存存放位置：堆中保留完整执行上下文
Generator 实例（如 gen = myGen()）本身是一个堆对象，内部包含一个隐藏字段指向其挂起的执行上下文（Suspended Execution Context）。该上下文不是栈帧，而是被 V8 显式分配在老生代堆中的一块结构化内存区域，包括：
- 当前字节码指令偏移量（resume point），记录下一次从哪条字节码继续执行
- 所有局部变量的当前值（含闭包捕获的外部变量），全部拷贝或引用到堆中
- 寄存器槽位（Ignition 的 frame slots）内容快照，例如 accumulator、参数槽、临时变量槽
- 作用域链引用（指向外层函数的上下文或全局上下文）
为什么不用栈而必须用堆？
因为 Generator 可能跨事件循环恢复（比如 yield await fetch(...)），而调用栈在异步间隙早已清空。若依赖栈帧，恢复时无法重建现场。V8 必须将整个挂起状态序列化为可长期存活的堆对象：
- 栈内存生命周期绑定函数调用，不可跨任务保留
- 堆内存支持任意生命周期，且 GC 会跟踪 Generator 对象是否仍可达
- 即使外层函数已返回，只要 Generator 实例未被回收，其挂起上下文就持续有效
闭包变量的特殊处理：逃逸分析决定存储位置
Generator 内部访问的自由变量（如外层函数声明的 let x = 1）是否被挂起上下文持有，取决于 V8 的逃逸分析结果：
- 若变量仅在 Generator 内部使用且未被闭包外传，V8 可能将其直接内联进 Generator 堆对象
- 若变量同时被其他闭包引用（如返回了另一个函数），则它会被提升为独立堆对象，Generator 上下文只保存对其的引用
- 基本类型值（number/string）通常直接复制存储；对象引用则共享堆地址，不重复分配
如何验证挂起上下文的存在？
可通过 V8 内置工具观察：
- 启用
--trace-gc --trace-gc-verbose运行代码，注意 Generator 实例触发的堆分配大小 - 用
v8.getHeapStatistics()对比next()前后used_heap_size，暂停后不下降即说明上下文驻留堆中 - 通过 Chrome DevTools > Memory > Heap Snapshot，筛选
GeneratorContext或SuspendedGenerator类型对象（需开启调试符号）
本质上，V8 把每个挂起的 Generator 视为一个轻量级协程状态机，其内存开销虽小但结构明确——不是栈的延续，而是堆中一份自包含的执行快照。
