Python协程挂起时机及CPython 3.6相关代码行为可靠性问询

这是个非常精准的问题，正好触碰到了asyncio协作式调度的核心逻辑，我来一步步给你拆解清楚：

先解释你看到的现象 #

你的代码里，当do_nothing只是空协程时，hog_the_event_loop会无限循环调用await do_nothing()，但timer_print只打印一次就被卡住——这是因为**await一个瞬时完成的协程时，CPython默认事件循环不会触发协程切换**。

do_nothing里只有pass，它是一个"立即完成"的协程：当你await它时，事件循环会直接执行完这个协程的所有代码，然后立刻回到hog_the_event_loop的循环里，根本不会把执行权交还给事件循环去调度其他就绪任务（比如timer_print）。

而当你加上await asyncio.sleep(0)后，情况就完全不同了：asyncio.sleep(0)虽然不会让程序真的休眠，但它是一个明确的"让出执行权"信号——它会告诉事件循环："我现在可以暂停，你去看看有没有其他任务要执行"。这时候timer_print就有机会被调度，于是每秒打印一次"hello world"。

能不能依赖"await空协程不切换"的行为？ #

绝对不要依赖这个行为。

CPython的asyncio事件循环调度逻辑属于实现细节，并非Python语言规范的强制要求。虽然当前3.6+版本的默认SelectorEventLoop在await瞬时完成协程时不会切换，但未来Python版本、或者第三方事件循环（比如uvloop）完全可能修改这个逻辑——它们可以选择在每次遇到await时都触发一次调度，哪怕被await的协程瞬间完成。

如果你需要确保协程主动让出执行权，唯一可靠的方式是使用await asyncio.sleep(0)这类明确设计用来触发上下文切换的API。

Python协程什么时候会发生切换？ #

协程切换的时机主要分两类：

• 主动切换：当你await一个需要等待外部事件的对象时（比如网络I/O、文件I/O、asyncio.sleep()，或者未完成的asyncio.Future/asyncio.Task），当前协程会挂起，事件循环会切换到其他就绪的协程。另外，像await asyncio.sleep(0)这种主动请求调度的操作，也会触发切换。
• 被动切换：少数事件循环实现支持抢占式调度，但CPython默认的asyncio事件循环是协作式的——也就是说，协程必须主动通过await让出执行权，才会发生切换。

划重点：await本身只是语法，它的作用是暂停当前协程直到被await的对象完成，但只有当被await的对象**需要等待外部事件（或明确请求调度）**时，事件循环才会去切换其他协程。如果被await的对象瞬间完成（比如你的do_nothing），事件循环会直接恢复当前协程，不会触发切换。

和while True: pass死循环的差异 #

async def hog_the_event_loop(): while True: pass这种情况，是一个完全没有任何await的协程。当事件循环执行它时，会一直卡在这个死循环里，根本不会给事件循环任何调度其他任务的机会——因为协程完全没有主动让出执行权，事件循环被彻底霸占。

而await do_nothing()的情况，虽然当前版本下也会霸占事件循环，但本质上它每次循环都执行了await操作，只是因为被await的协程瞬时完成，事件循环没触发切换。但如果事件循环的调度逻辑改变，这种情况是有可能触发切换的；而纯死循环的情况，无论如何都不会让事件循环有机会调度其他任务，因为它连await这个"调度入口"都没有。

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