在Python单线程ASGI环境中异步修改全局变量是否安全？

兄弟，我太懂你这种困惑了——自己写的代码跑出来结果分毫不差，但AI却说不安全，换谁都会打个大大的问号。咱们一点点掰扯清楚这事：

首先得说，你当前的代码能跑对，完全是特定场景下的巧合，不是因为“单线程ASGI里改全局变量就安全”。

为啥你的例子没问题？因为Python的单线程异步事件循环，只会在遇到await关键字的时候切换任务。你的代码里，await asyncio.sleep(...)是唯一的任务切换点，而counter = counter + 1这行操作，是在await之后执行的——这时候，每个任务都会先等sleep完成（期间可能有其他任务已经修改过counter），然后一次性完成“读当前counter值→加1→写回去”的操作，整个过程不会被其他任务打断，所以最终结果刚好是10000。

那为什么说这种做法本质上不安全？因为只要你的代码逻辑稍微变一变，或者放到更贴近真实ASGI的场景里，问题立刻就会冒出来：

1. 读和写之间出现await，直接触发竞态 #

比如把代码改成这样——先读counter，再await，最后写回去：

async def increment(name: str):
    global counter
    current = counter  # 先读当前值
    await asyncio.sleep(random.uniform(0, 5))  # 这里切换任务，其他任务可能已经改了counter
    counter = current + 1  # 用旧值写回去
    print(f"{name}: counter → {counter}")

这时候跑出来的最终counter肯定远小于10000，因为大量任务会基于同一个旧值去修改，相当于白做了很多次加1操作。

2. 复杂的非原子修改操作 #

哪怕没有await，要是你的全局变量修改不是简单的counter +=1，而是多步逻辑，比如counter = counter * 2 + 1，如果多个任务交替执行这个逻辑，也可能因为读和写的时间差导致状态混乱——虽然单线程里没有await就不会被打断，但如果逻辑依赖之前的状态，还是可能出现多个任务基于同一旧值修改的情况。

3. 真实ASGI部署的隐藏坑 #

虽然你说的是单线程ASGI，但实际生产中很多人会用多进程部署（比如uvicorn开多个worker），这时候每个进程都有自己的全局变量副本，修改一个进程里的counter，其他进程根本看不到，直接导致状态不一致。

那正确的做法是什么？ #

别赌“不会被打断”的运气，直接用异步锁（asyncio.Lock()）来保护全局变量的修改逻辑。比如给你的代码加个锁：

import asyncio
import random

counter = 0
# 定义一个全局锁
lock = asyncio.Lock()

async def increment(name: str):
    global counter
    await asyncio.sleep(random.uniform(0, 5))
    # 用async with自动管理锁：进入时上锁，退出时解锁
    async with lock:
        counter = counter + 1
        print(f"{name}: counter → {counter}")

async def main():
    await asyncio.gather(*[increment(f"{i}") for i in range(10000)])
    print(f"Final counter (should be 10000): {counter}")

if __name__ == "__main__":
    asyncio.run(main())

这样不管你的修改逻辑有多复杂，不管有没有await插在中间，都能保证同一时间只有一个任务能修改counter，从根本上杜绝竞态条件的问题。

总结一句：单线程ASGI里改全局变量不是“绝对安全”，只是你的特定代码刚好没踩坑。在真实项目里，一定要用锁或者其他同步机制来保护共享状态。

内容来源于stack exchange