深入理解异步I/O中的“一处同步，处处同步”
在异步I/O编程中，"一处异步，处处异步"并非字面意思，更准确的表达是“一处同步，处处同步”。 这句话强调了异步编程中保持一致性的重要性：如果你的应用程序中任何一个环节使用了同步操作，那么整个应用程序的性能都将受到影响，无法充分发挥异步I/O的并发优势。
让我们用一个Python协程和同步SQL库的HTTP服务的例子来解释：
# 使用 asyncio 和 FastAPI 异步接收 HTTP 请求
from fastapi import FastAPI
from uvicorn import run
app = FastAPI()
# 使用同步 Peewee 和 PyMySQL 执行 SQL
import peewee
from playhouse.shortcuts import model_to_dict
db = peewee.MySQLDatabase(...)
class User(peewee.Model):
name = peewee.CharField()
@app.post("/users")
async def create_user():
# ...
# 同步执行 SQL，耗时 10 秒
user = User(...)
user.save()
if __name__ == "__main__":
run(app)
在这个例子中，虽然HTTP请求处理是异步的，但数据库操作(SQL)却是同步的。这意味着当处理多个HTTP请求时，即使使用了异步框架，由于同步SQL操作会阻塞事件循环，导致整体处理时间线性增加。 处理10个请求，时间将接近100秒 (10请求 * 10秒/请求)，而不是预期中的接近10秒。
原因在于：
- 协程并非真正的并发，它们在单个线程上运行，由事件循环调度。
- 同步操作会阻塞事件循环，阻止其他协程执行。
- 当执行同步SQL时，事件循环被阻塞10秒，所有其他任务都必须等待。
为了充分利用异步I/O的优势，所有组件，包括数据库交互，都必须是异步的。 只有这样，才能实现真正的并发，避免单个同步操作成为性能瓶颈，拖慢整个系统。 使用异步数据库库或连接池可以有效解决这个问题。
