Asyncio与Trio协程执行顺序差异的原因探究

我把同一逻辑的代码分别用asyncio和Trio多次运行，发现asyncio的执行顺序每次都一致，但Trio的执行顺序却会变化。具体代码和执行结果如下：

asyncio实现代码 #

import asyncio

async def greet():
    print("Greet: Hello")
    await asyncio.sleep(1)
    print("Greet: World")

async def countdown():
    print("Countdown: 3")
    await greet()  # 原注释sleep(0.5)保留
    print("Countdown: 2")
    await asyncio.sleep(0.5)
    print("Countdown: 1")

async def main():
    # 并发运行两个协程
    await asyncio.gather(greet(), countdown())

asyncio.run(main())

多次运行结果（始终一致） #

Greet: Hello
Countdown: 3
Greet: Hello
Greet: World
Greet: World
Countdown: 2
Countdown: 1

Trio实现代码 #

import trio

async def greet():
    print("Greet: Hello")
    await trio.sleep(1)
    print("Greet: World")

async def countdown():
    print("Countdown: 3")
    await greet()
    print("Countdown: 2")
    await trio.sleep(0.5)
    print("Countdown: 1")

async def main():
    async with trio.open_nursery() as nursery:
        nursery.start_soon(greet)
        nursery.start_soon(countdown)

trio.run(main)

执行结果（随运行变化，示例之一） #

Countdown: 3
Greet: Hello
Greet: Hello
Greet: World
Countdown: 2
Greet: World
Countdown: 1

差异原因说明 #

核心结论：两者都不保证并发协程的执行顺序，只是调度器设计哲学和实现细节导致了当前场景下的差异：

1. asyncio的顺序是调度器实现细节，而非官方承诺
   asyncio的gather方法当前版本会按传入的顺序依次将协程加入调度队列，加上代码中sleep的时长固定（1秒、0.5秒），唤醒顺序也相对固定，所以看起来每次执行顺序一致。但这只是特定版本调度器的行为，asyncio官方文档明确说明并发任务的执行顺序是未定义的，未来版本或复杂场景下（比如存在IO等待、不同优先级任务），顺序完全可能变化。

2. Trio的设计刻意避免依赖执行顺序
   Trio的nursery.start_soon不会保证协程的启动顺序优先级，调度器会灵活选择就绪的协程执行，甚至主动引入调度不确定性——这是Trio的设计理念：真实的异步系统中，任务的执行顺序本就受IO延迟、系统负载等因素影响，开发者不应该依赖固定顺序。Trio通过这种方式，强制开发者写出不依赖调度细节的健壮代码，避免因为假设顺序而埋下隐患。

简单说：不是Trio不关心顺序，也不是asyncio保证顺序，而是asyncio的当前调度器行为让顺序看起来稳定，而Trio从设计层面就提醒开发者「不要假设执行顺序」。

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