async协程在高并发io场景下更高效,根本原因是避免内核级线程调度开销、消除锁竞争、单线程承载数千并发;其本质是用户态协作式调度,协程切换无系统调用、无上下文切换成本。

async 协程在高并发 IO 场景下比多线程更高效,根本原因不是“更快”,而是**避免了操作系统级线程调度开销 + 消除了锁竞争 + 允许单线程承载数千并发任务**。它不靠 CPU 并行,而靠“让出时机精准、恢复成本极低”的用户态协作式调度。
协程切换发生在用户态,不触发内核上下文切换
多线程每次 sleep、recv、read 等阻塞调用,都会导致线程陷入内核态等待,操作系统必须保存寄存器、栈指针、页表等完整上下文,再调度其他线程——这个过程耗时通常在数百纳秒到微秒级,且随线程数增长呈非线性上升。
而 await 触发的协程挂起,只保存当前协程的局部变量和执行位置(本质是 generator 的 __next__ 状态),由 Python 的 asyncio 事件循环在用户空间直接跳转到下一个就绪协程——没有系统调用,没有 TLB 刷新,没有缓存失效。
- 典型表现:1000 个并发 HTTP 请求,用
threading可能创建 1000 个 OS 线程,内存占用 >200MB;用asyncio+aiohttp,常驻内存约 20–30MB - 关键限制:
await后面的函数必须是真正异步的(如aiohttp.ClientSession.get),若误用requests.get这类同步函数,会直接阻塞整个事件循环
没有竞态条件,天然规避锁和死锁
多线程共享全局状态时,counter += 1 这种操作实际包含读取、计算、写入三步,在多个线程间交错执行就会出错。你必须加 threading.Lock 或用 queue.Queue 等线程安全结构,带来额外延迟和复杂度。
协程运行在单线程中,任意时刻只有一个协程在执行——counter += 1 是原子的(只要不被 await 中断)。所有“共享状态”本质上是线程安全的。
- 注意例外:如果你在协程里启动了子进程、调用了 C 扩展、或显式使用了
threading,那又回到了多线程问题域 - 常见误用:
async def f(): global counter; counter += 1; await asyncio.sleep(0)——这里counter += 1是安全的,但后续任何跨协程依赖该值的逻辑,仍需考虑执行顺序,而非竞态
event loop 是单线程调度器,不是“万能并发引擎”
asyncio.run() 启动的默认事件循环绑定在主线程,它无法利用多核 CPU。这意味着:一旦某个协程执行纯计算(比如 sum(range(10**7))),整个事件循环就被卡住,其他协程全部饿死。
- 正确做法:CPU 密集型工作必须移出事件循环——用
loop.run_in_executor()提交到concurrent.futures.ProcessPoolExecutor或ThreadPoolExecutor - 典型陷阱:用
time.sleep(5)替代await asyncio.sleep(5),前者会彻底阻塞 event loop;后者只是注册一个定时器,然后立即让出控制权 - 不要试图在协程里做长时间同步 IO:比如用
open().read()读大文件,应该换成asyncio.to_thread(open(...).read)(Py3.9+)或aiofiles
async/await 不是语法糖,它是调度契约
async def 定义的不是“可并发函数”,而是“可被事件循环管理的暂停点集合”。await 不是“等结果”,而是“我主动交出 CPU,并告诉 event loop:等我依赖的对象(Future、Task、async context manager)准备好后,再把我唤醒”。
- 一个协程里没有
await,它就等价于普通函数,不会被并发调度 - 所有真正的异步 IO 库(
aiohttp、aiomysql、asyncpg)都基于asyncio底层的SelectorEventLoop或ProactorEventLoop实现,它们把系统调用封装成可等待对象 - 最容易被忽略的一点:协程的“并发数”上限取决于内存和事件循环处理能力,而不是 OS 线程数限制——但每个协程仍需分配栈空间(默认约 1MB),大量递归或深调用链仍可能爆栈
Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!











