怎么通过分析编译后字节码看透 Generator 相比纯异步架构在调用栈深度上的物理资源消耗

星墨小哥_1960

星墨小哥_1960

2026-07-05

1009人浏览

原创

generator不增加原生调用栈帧,而是用堆上生成器对象替代,物理栈深度恒定为1;其字节码含yield_value指令、无连续call_function嵌套,而async/await依赖事件循环调度,导致隐式栈帧复用与更深调用链。

怎么通过分析编译后字节码看透 generator 相比纯异步架构在调用栈深度上的物理资源消耗

直接看字节码就能判断 Generator 在调用栈深度上的资源开销——它不增加原生调用栈帧,而是用堆上生成器对象替代栈帧压入,物理栈深度恒定为 1(或仅含顶层入口帧),和纯异步架构(如基于 Promise 链或事件循环回调)有本质区别。

Generator 的字节码不推栈,只建对象

Python 中 yield 函数编译后,CALL_FUNCTION 不会触发传统栈帧嵌套;取而代之的是 GET_ITER + FOR_ITER 或显式 YIELD_VALUE 指令。解释器在首次调用时创建一个 generator 对象(分配在堆上),其内部封装了代码对象、局部变量快照、指令指针(f_lasti)和状态机字段(gi_state)。后续每次 next() 或 send() 只是恢复该对象的执行上下文,不新增 CPython 调用栈帧。

  • 用 dis.dis(gen_func) 查看字节码,找不到连续的 CALL_FUNCTION 嵌套序列,只有单次入口 + 多次 YIELD_VALUE 和跳转指令
  • 对比普通递归函数:后者每层调用都生成新 PyFrameObject 并压入 C 栈,栈深度随层数线性增长,可能触发 RecursionError
  • Generator 即使“递归式” yield 1000 次,CPython 的 C 调用栈深度仍为 2(main → gen_func),不会溢出

纯异步架构依赖真实栈展开与回调注册

Promise 链或 async/await 在 Python 中底层仍需调度器介入:每次 await 表达式求值后,控制权交还事件循环,当前协程被挂起,栈帧被保存到 coro 对象中;但当回调被事件循环重新调度时,会重建新的栈帧(哪怕逻辑上是“继续执行”)。尤其在嵌套 await 场景下,多个 await 表达式可能触发多层回调注册,导致:

Play.ht
Play.ht

一款AI文本转语音平台,可将文字转换成多种自然语音,适用于视频配音、在线课程、播客和其他语音内容制作。

下载
  • 事件循环内部维护大量 Future 或 Task 对象,每个都携带栈帧快照(虽非 C 栈,但占堆内存)
  • 异常传播路径更长:从底层 await 抛出,需经多层 __await__、send()、throw() 调用链回溯,实际调用栈深度可能达 5–8 层
  • 用 sys._current_frames() 或 tracemalloc 可观测到大量 coroutine 和 Future 实例驻留堆中,而 generator 对象数量稳定且结构轻量

关键差异在栈帧生命周期管理方式

Generator 的栈帧(PyFrameObject)在首次调用后即冻结并托管给生成器对象,不再参与常规函数返回流程;而 async 函数每次 await 后的恢复,本质是事件循环调用 coro.send(),这会重新激活一个已存在的协程帧——但该帧的 f_back 指针仍指向事件循环调度器帧,形成隐式调用链。

  • Generator:栈帧“休眠”在堆对象内,C 栈无增长,内存占用≈单帧 + 少量状态字段(约 200–400 字节)
  • Async:每个活跃 Task 维护完整帧链快照,且调度器自身帧始终在栈顶,物理栈深度取决于调度嵌套层级
  • 实测验证:对同一逻辑写 generator 版和 async 版,在高并发 yield/await 场景下,前者 threading.stack_size() 稳定,后者 len(inspect.getouterframes()) 明显更深

字节码层面识别低栈深的关键信号

分析 dis.dis() 输出时,关注三类指令组合:

  • 出现 YIELD_VALUE 或 YIELD_FROM:表明控制流主动让出,不依赖外部调度器,栈不增长
  • 无连续 CALL_FUNCTION + POP_TOP 循环:说明没有靠函数调用模拟状态机,避免栈累积
  • 存在 GET_AWAITABLE + LOAD_METHOD(如 send):这是 async 恢复机制标志,意味着帧需被事件循环再次压栈调度

本质上,Generator 是用堆换栈,async 是用调度器协调栈帧复用——前者物理栈深度可控,后者逻辑简洁但栈资源消耗更隐蔽。

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4186

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1069

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4084

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

840

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1736

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3065

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

3973

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2540

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

828

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程