如何调试使用coroutines（协程）的程序

无栈协程没有独立的调用栈，常规调试器默认的栈回溯只能看到当前执行的协程片段和调度器逻辑，无法直接拿到协程挂起前的完整调用链，这是它和常规多线程程序调试最大的差异。实际开发中可以通过以下方法定位问题：

• 优先开启协程框架自带的调试能力
  主流协程库基本都内置了调试开关，开启后会自动记录每个协程的创建位置、挂起/恢复的时间点与上下文，遇到崩溃、卡死、协程泄漏问题时可以直接导出所有存活协程的状态快照。比如Python asyncio可以自定义Task工厂记录每个任务的创建栈与挂起点，Go可以直接用pprof输出全量goroutine的栈信息，C++20协程也可以通过自定义promise_type记录协程的生命周期信息。
• 优先用带协程标识的日志排查，减少断点调试
  无栈协程是用户态调度，断点会打断正常的调度时序，很容易让并发竞态类的问题消失（即海森堡bug）。建议在协程的关键执行节点：挂起前、恢复后、共享资源访问、异步回调位置添加携带唯一协程ID的日志，复现问题后直接通过日志串起单个协程的完整执行链路，排查时序和逻辑问题。
• 使用适配协程的调试工具
  目前主流调试器已经支持常用协程框架的栈回溯：GDB可以直接解析C++20协程、Go runtime协程的完整调用栈，VS Code的Python、Java插件也默认支持asyncio、Loom虚拟线程的协程调试，开启后可以直接在调试面板看到每个协程的完整调用链，而非仅显示调度器的执行栈。
• 针对性增加校验逻辑排查常见问题
  无栈协程的高频问题集中在三类：协程泄漏（创建后未被调度、挂起后永远无法被唤醒）、悬挂引用（协程挂起时持有的栈变量已被外层释放）、竞态冲突（多协程无锁访问共享资源）。可以在代码中添加对应校验：统计协程创建/销毁的数量差检测泄漏，静态检查工具扫描协程挂起时是否持有栈变量引用，共享资源访问处加访问日志或者互斥校验。
• 缩小复现范围定位问题
  遇到复杂并发问题时先剥离非核心逻辑，尽可能减少同时运行的协程数量，将问题简化为单协程或固定少量协程的稳定复现场景，再逐步叠加逻辑定位触发问题的具体代码段。

内容的提问来源于stack exchange，提问作者Saad Rami