Python多线程与异步场景下无法复现竞态条件的问题咨询

我来帮你分析为什么你的代码没触发竞态条件，以及如何修改才能稳定复现：

一、Asyncio 部分无竞态的核心原因 #

Asyncio 是单线程协作式多任务模型，任务之间的切换完全依赖协作：只有当任务执行到await（或其他会触发事件循环切换的操作，比如IO、asyncio.sleep()）时，才会主动让出控制权给其他任务。

你的increment异步函数里没有任何await语句，三个任务会串行执行：第一个任务从头到尾跑完10000次加1，第二个任务再接着跑，最后第三个任务执行。全程没有任务切换，自然不会出现竞态条件，最终计数必然是30000。

如何修改Asyncio代码触发竞态 #

只需要在每次加1操作前后加入await asyncio.sleep(0)，这个调用会强制触发事件循环切换任务：

async def asyncio_race_condition():
    counter3 = 0

    async def increment():
        nonlocal counter3
        for _ in range(10000):
            # 让出控制权，允许其他任务执行
            await asyncio.sleep(0)
            counter3 = counter3 + 1

    tasks = [asyncio.create_task(increment()) for _ in range(3)]
    
    await asyncio.gather(*tasks)
    
    print(f"Asyncio Final Counter: {counter3}")

修改后，三个任务会交替执行，加1操作的“读取-计算-写入”步骤会被打断，最终计数会远小于30000。

二、多线程部分无竞态的原因 #

CPython的GIL（全局解释器锁）确实限制了多线程的并行执行，但这不是你没遇到竞态的关键。真实原因是：
counter2 = counter2 + 1对应的字节码是分四步执行的：

1. 读取当前counter2的值（LOAD_DEREF）
2. 加载常量1（LOAD_CONST）
3. 执行加法运算（BINARY_ADD）
4. 将结果存回counter2（STORE_DEREF）

只有当线程切换发生在步骤1和步骤4之间时，才会触发竞态（比如两个线程读取到同一个旧值，加1后存回，相当于只加了1次）。但你的代码中，每个线程的循环操作太轻量，CPython默认会在执行1000字节码后才释放GIL，线程可能会连续执行成百上千次加1操作后才切换，大大降低了竞态触发的概率。

如何修改多线程代码稳定触发竞态 #

通过在加1的“读取-写入”步骤之间加入微小延迟，强制线程切换：

import threading
import time

def multithreading_race_condition():
    counter2 = 0

    def increment():
        nonlocal counter2
        for _ in range(10000):  
            # 读取当前值
            current_val = counter2
            # 微小延迟，触发线程切换
            time.sleep(0.00001)
            # 写入新值
            counter2 = current_val + 1

    threads = [threading.Thread(target=increment) for _ in range(3)]
    
    for t in threads:
        t.start()
    
    for t in threads:
        t.join()
    
    print(f"Multithreading Final Counter: {counter2}")

或者用time.sleep(0)（会触发系统调用，主动释放GIL）代替，效果类似但更轻量。修改后，线程会频繁在加1的关键步骤切换，稳定触发竞态条件，最终计数会小于30000。

总结 #

• Asyncio 必须依赖await触发任务切换，才能模拟竞态；
• 多线程需要让线程在加1的“读取-计算-写入”流程中有机会切换，通过延迟或GIL释放操作实现；
• 你的原代码中，Asyncio任务串行执行，多线程的切换时机未落在加1的脆弱步骤中，因此未出现竞态。

备注：内容来源于stack exchange，提问作者Onuralp Arslan