CPython解释器存在 GIL，为何用两个线程累加 1000000 次，结果不是 2000000

Question

CPython解释器存在 GIL，GIL 可以保证同一个时刻只有一个线程占用解释器，按理来说两个线程同一时刻只能有一个来访问全局变量才对，但两者同时累加 1000000 次，结果却不是 2000000，这是怎么回事？

难道累加并不是原子操作，会在执行了一半的过程中被打断吗？

Answer 1

GIL只是让单字节码解释成为原子操作，而i = i + 1一般包含4条字节码,所以累加不是原子操作

LOAD_FAST                0 (i)
LOAD_CONST               2 (1)
BINARY_ADD
STORE_FAST               0 (i)

Answer 2

楼上已经讲了GIL保证的原子操作是什么了

那我说一下什么要用GIL：

1) CPython中的GC算法用的是引用计数，CPython会获取GIL以保证它对对象引用计数的更新是全局同步的
2) 太难改且人家认为没必要。事实上Java的HotSpot虚拟机最早也是有GIL的，后来改了好多年之后才改成细粒度的锁了。

当然以上都不是根本原因，根本原因就是懒得改...

Answer 3

分享一篇：https://www.97up.cn/post/136