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

noparkinghere
  • 31

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

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

image.png

回复
阅读 1.6k
3 个回答

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

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

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

那我说一下什么要用GIL:

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

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

魏什么
  • 1.5k
宣传栏