由于一些历史原因，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的值就改变了。