关于Python CPython的线程安全问题

之前对 Python 理解不深，最近准备深入学习一下，在多线程和线程安全的时候碰到了一个问题。

https://docs.python.org/3/faq/library.html#what-kinds-of-global-value-mutation-are-thread-safe 里写到 Python 自带的数据结构的某些操作是不安全的。比如 D[x] = D[x] + 1。

于是写了个很简单的测试：

import threading
import sys
sys.setswitchinterval(1)
d = {1:0}
def func():
d[1] += 1
threads = []
for _ in range(1000000):
t = threading.Thread(target=func)
threads.append(t)
t.start()
for thread in threads:
thread.join()
print(d)

但是跑了很多遍结果都没有问题（打印{1: 100000}）。用 dis 看了一下，确实 func()也是用了多行 bytecode，按理说应该有 race condition 才对。

>>> dis.dis(func)
 11           0 LOAD_GLOBAL              0 (d)
              2 LOAD_CONST               1 (1)
              4 DUP_TOP_TWO
              6 BINARY_SUBSCR
              8 LOAD_CONST               1 (1)
             10 INPLACE_ADD
             12 ROT_THREE
             14 STORE_SUBSCR
             16 LOAD_CONST               0 (None)
             18 RETURN_VALUE

不太明白问题出在哪，是 100 万不够大吗？