由于一些历史原因,CPython的GIL使得Python同一个时刻只能有一个线程在运行,这使得线程只能用于IO型任务,虽然异步更胜一筹。
但是既然同一个时刻只能有一个线程运行那为什么还会有线程安全,线程非安全之类的概念。threading模块提供的lock, rlock, event似乎没有什么必要。确实list等不是完全的线程安全,我也已经实验过了,所以多个线程都是操作list(写操作)会造成一些不可与料的结果。
我想问的是GIL既然能保证一个时刻只有一个线程能够运行,为什么list等数据结构不是线程安全的?
补充
gil控制的是字节码, 锁控制的是python代码,粒度不一样吧? 比如用锁控制的代码被编译成101条字节码 那么线程在执行这101条字节码的时候,cpu会被其他线程利用(python调度线程默认是100条字节码 调度一次)。
ps: 3.2以后增加一个时间调度。
答案
想歪了,GIL保证的是bytecode同一时刻只能被一个线程执行,但是同一个操作是对应多个bytecodes的,比如:
In [1]: import dis
In [2]: dis.dis(lambda x: x+1)
1 0 LOAD_FAST 0 (x)
3 LOAD_CONST 1 (1)
6 BINARY_ADD
7 RETURN_VALUE
假设这个线程刚好执行到了RETURN_VALUE让出了执行权,如果还有另外一个线程执行了相同操作,x的值就改变了。
gil 用于cpu时间分配
线程锁用于 内存、文件、设备等共享资源
玩蛇网文章,转载请注明出处和文章网址:https://www.iplaypy.com/wenda/wd14161.html
相关文章 Recommend