为何未加锁的Python线程代码在Win11上运行结果为0？

线程对全局变量x的加减操作本质是非原子的，会拆分为读值→计算→写回三步，线程穿插执行就会导致结果偏差。Win11上输出0只是概率性巧合，而非代码本身线程安全，差异根源在以下几点：

1. 线程实现与调度策略差异 #

• Windows原生Python基于Win32线程API实现，线程调度可能更倾向于让线程连续执行大量循环后再切换，使得加1、减1操作大体配对，最终结果刚好凑成0。
• Cygwin环境的Python依赖POSIX线程（pthreads），运行在Windows兼容层上，线程调度更频繁，上下文切换时机更随机，导致更多指令穿插，错误累积更明显。

2. Python解释器的平台优化差异 #

• Windows下的CPython对循环操作可能有局部缓存或批量执行优化，减少了x读写操作的暴露频率，降低线程冲突概率。
• Cygwin上的Python解释器优化程度更低，每次x的修改操作都直接暴露给线程调度，冲突概率更高。

3. 硬件缓存与系统同步逻辑差异 #

• Win11原生线程的CPU核心绑定、缓存同步机制更直接，x的修改能更快在核心间同步，减少因缓存不一致导致的数据不同步问题。
• Cygwin的兼容层会改变线程与硬件的交互逻辑，缓存同步开销更大，更容易出现线程间数据不一致的情况。

重要提示 #

Win11上输出0只是偶然现象，重复运行多次必然会出现非0结果。要彻底解决线程安全问题，必须给x的操作加锁，示例代码如下：

import threading

x = 0
lock = threading.Lock()

class Thread1(threading.Thread):       
    def run(self): 
        global x
        for i in range(1, 1000000):
            with lock:
                x += 1

class Thread2(threading.Thread):
    def run(self):  
        global x
        for i in range(1, 1000000):
            with lock:
                x -= 1

t1 = Thread1()
t2 = Thread2()
t1.start()
t2.start()
t1.join()
t2.join()

print(f"Sum is {x}")

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