Python协程执行疑问：是否保证立即运行至首个等待点及无其他协程插入？

问题1：Python是否保证协程会立即运行到它的第一个等待点？ #

不保证。调用协程函数只会返回一个协程对象，不会立刻执行内部代码。只有通过await、asyncio.run()、asyncio.create_task()等方式将协程提交给事件循环调度后，它才会开始执行。

不过，一旦协程开始执行，它会持续运行到遇到第一个await、return或者抛出异常，这个过程中不会被其他协程抢占——因为Python异步采用的是协作式多任务模型，协程只有主动让出控制权时，事件循环才会切换到其他任务。

问题2：假设有以下三个异步方法，Python是否提供任何保证，确保在调用doSomething1()和doSomething2()之间，当前线程不会执行其他协程？ #

示例代码 #

async def f():
    doSomething1()
    await g()

async def g():
    doSomething2()
    await h()

async def h():
    # some unspecified content

回答 #

是的，有这样的保证。

在协作式多任务模型下，事件循环只能在协程主动让出控制权时切换任务，而让出控制权的唯一方式是执行await、asyncio.sleep()、asyncio.wait()等会触发暂停的操作。

在doSomething1()执行完成后，接下来是await g()——这一步会触发f()暂停，然后调度g()开始执行。而g()启动后会立刻执行doSomething2()，中间没有任何会让出控制权的操作，所以doSomething1()执行结束到doSomething2()执行开始的过程中，当前线程不会切换到其他协程，两段代码会连续执行。

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