深入学习python多线程与GIL


Posted in Python onAugust 26, 2019

python 多线程效率

在一台8核的CentOS上,用python 2.7.6程序执行一段CPU密集型的程序。

import time
def fun(n):#CPU密集型的程序
  while(n>0):
    n -= 1

start_time = time.time()
fun(10000000)
print('{} s'.format(time.time() - start_time))#测量程序执行时间

测量三次程序的执行时间,平均时间为0.968370994秒。这就是一个线程执行一次fun(10000000)所需要的时间。

下面用两个线程并行来跑这段CPU密集型的程序。

import time
import threading

def fun(n):
  while(n>0):
    n -= 1

start_time = time.time()
t1 = threading.Thread( target=fun, args=(10000000,) )
t1.start()
t2 = threading.Thread( target=fun, args=(10000000,) )
t2.start()

t1.join()
t2.join()
print('{} s'.format(time.time() - start_time))

测量三次程序的执行时间,平均时间为2.150056044秒。

为什么在8核的机器上,多线程执行时间并不比顺序执行快呢?

再做另一个实验,用下面的命令,把8核cpu中的7个核禁掉。

[xxx]# echo 0 > /sys/devices/system/cpu/cpu1/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu2/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu3/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu4/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu5/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu6/online
[xxx]# echo 0 > /sys/devices/system/cpu/cpu7/online

然后在运行这个多线程的程序,三次平均时间为2.533491453秒。为什么多线程程序在多核上跑的时间只比单核快一点点呢?

这就要提到python程序多线程的实现机制了。

Python多线程实现机制

python的多线程机制,就是用C实现的真实系统中的线程。线程完全被操作系统控制。

python内部创建一个线程的步骤是这样的:

  • 创建一个数据结构PyThreadState,其中含有一些解释器状态
  • 调用pthread创建线程
  • 执行线程函数

由于python是解释形动态语言,所以在实现线程时,需要PyThreadState结构来保存一些信息:

  • 当前的stack frame (对python代码)
  • 当前的递归深度
  • 线程ID
  • 可选的tracing/profiling/debugging hooks

PyThreadState是C语言实现的一个结构体(摘自[2]):

typedef struct _ts {
  struct _ts *next; # 链表指正
  PyInterpreterState *interp; # 解释器状态
  struct _frame *frame; # 当前的stack frame
  int recursion_depth; # 当前的递归深度
  int tracing;
  int use_tracing;
  Py_tracefunc c_profilefunc;
  Py_tracefunc c_tracefunc;
  PyObject *c_profileobj;
  PyObject *c_traceobj;
  PyObject *curexc_type;
  PyObject *curexc_value;
  PyObject *curexc_traceback;
  PyObject *exc_type;
  PyObject *exc_value;
  PyObject *exc_traceback;
  PyObject *dict;
  int tick_counter;
  int gilstate_counter;
  PyObject *async_exc;
  long thread_id; # 线程ID
} PyThreadState;

从目前最新的python源码中来看,这个结构体中的内容已经有所改变,但记录解释器状态的指针PyInterpreterState *interp依然存在。

python解释器实现时,用了一个全局变量(_PyThreadState_Current)

[https://github.com/python/cpython/blob/3.1/Python/pystate.c](python3.1和之前的代码中都存在,python3.2就有所不同了)

PyThreadState *_PyThreadState_Current = NULL;

_PyThreadState_Current指向当前执行线程的PyThreadState数据结构。解释器通过这个变量,来获取当前所执行线程的信息。

python程序中,有一个全局解释器锁GIL来控制线程的执行,每一个时刻只允许一个线程执行。

GIL的行为

GIL最基本的行为只有下面两个:

  • 当前执行的线程持有GIL
  • 线程遇到I/O阻塞时,会释放GIL。(阻塞等待时,就释放GIL,给另一个线程执行的机会)

那么,如果遇到CPU密集型的线程,一直占用CPU,不会被I/O阻塞,是不是其它线程就没有机会执行了呢?

非也,为了避免这种情况,解释器还会周期性的check并执行线程调度。

解释器周期性check行为,做的就是下面这3件事:

  • 复位tick计数器
  • 在主线程中,检查有没有需要处理的信号
  • 让当前执行线程释放(Release)GIL,让其他线程获取(acquire)GIL并执行(给其他线程执行的机会)

而解释器check的周期,默认是100个tick。解释器的tick并不是基于时间的,每个tick大致相当于一条汇编指令的执行时间。

从解释器的check行为中可以看到,只有主线程中会处理信号,子线程中都不处理信号。所以python多线程程序,会给人一种无法处理Ctrl+C的假象,因为大部分情况下主线程被block住了,无法处理SIGINT信号。

注意python中并没有实现线程调度,python的多线程调度完全依赖于操作系统。所以python多线程编程中没有线程优先级等概念。

GIL的实现

python的GIL并不是简单的用lock实现的,GIL是用signal实现的。

  • 线程获取(acquire)GIL前,先检查有没有被free,如果没有,就sleep等待signal
  • 线程释放GIL时,还要发送signal

参考

[1] Understanding the Python GIL.  http://dabeaz.com/python/UnderstandingGIL.pdf

[2] Inside the Python GIL.  http://www.dabeaz.com/python/GIL.pdf

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持三水点靠木。

Python 相关文章推荐
Python中使用Boolean操作符做真值测试实例
Jan 30 Python
python实现unicode转中文及转换默认编码的方法
Apr 29 Python
Python将多份excel表格整理成一份表格
Jan 03 Python
Python入门之后再看点什么好?
Mar 05 Python
Python运维开发之psutil库的使用详解
Oct 18 Python
python实现静态服务器
Sep 05 Python
基于spring boot 日志(logback)报错的解决方式
Feb 20 Python
Pycharm 安装 idea VIM插件的图文教程详解
Feb 21 Python
python logging.info在终端没输出的解决
May 12 Python
python 实现 hive中类似 lateral view explode的功能示例
May 18 Python
python批量检查两个对应的txt文件的行数是否一致的实例代码
Oct 31 Python
Python序列化与反序列化相关知识总结
Jun 08 Python
用python生成与调用cntk模型代码演示方法
Aug 26 #Python
python list转置和前后反转的例子
Aug 26 #Python
python3 map函数和filter函数详解
Aug 26 #Python
python爬虫 2019中国好声音评论爬取过程解析
Aug 26 #Python
解决Python计算矩阵乘向量,矩阵乘实数的一些小错误
Aug 26 #Python
对Python中一维向量和一维向量转置相乘的方法详解
Aug 26 #Python
python 中xpath爬虫实例详解
Aug 26 #Python
You might like
使用PHP制作新闻系统的思路
2006/10/09 PHP
MySql 按时间段查询数据方法(实例说明)
2008/11/02 PHP
php SQL之where语句生成器
2009/03/24 PHP
ThinkPHP函数详解之M方法和R方法
2015/09/10 PHP
PHP+Ajax实现的检测用户名功能简单示例
2019/02/12 PHP
PHP中md5()函数的用法讲解
2019/03/30 PHP
用javascript来实现动画导航效果的代码
2007/12/16 Javascript
JavaScript中Math对象使用说明
2008/01/16 Javascript
基于jQuery图片平滑连续滚动插件
2009/04/27 Javascript
jquery 模拟雅虎首页的点击对话框效果
2010/04/11 Javascript
基于jQuery.Validate验证库知识点的详解
2013/04/26 Javascript
JavaScript 数组中最大最小值
2016/06/05 Javascript
jQuery实现倒计时重新发送短信验证码功能示例
2017/01/12 Javascript
d3.js中冷门却实用的内置函数总结
2017/02/04 Javascript
vue 解决循环引用组件报错的问题
2018/09/06 Javascript
JavaScript实现与web通信的方法详解
2020/08/07 Javascript
[48:48]2014 DOTA2国际邀请赛中国区预选赛 SPD-GAMING VS Dream TIME
2014/05/21 DOTA
[32:56]完美世界DOTA2联赛PWL S3 Rebirth vs CPG 第二场 12.11
2020/12/16 DOTA
Python字符转换
2008/09/06 Python
详解Python的Django框架中的通用视图
2015/05/04 Python
PyQt 线程类 QThread使用详解
2017/07/16 Python
python队列queue模块详解
2018/04/27 Python
python斐波那契数列的计算方法
2018/09/27 Python
Python实现插入排序和选择排序的方法
2019/05/12 Python
python分别打包出32位和64位应用程序
2020/02/18 Python
详解Django中的FBV和CBV对比分析
2021/03/01 Python
如何用Python来进行查询和替换一个文本字符串
2014/01/02 面试题
历史学专业大学生找工作的自我评价
2013/10/16 职场文书
教师实习自我鉴定
2013/12/13 职场文书
单位门卫岗位职责
2013/12/20 职场文书
小学生防溺水广播稿
2014/01/12 职场文书
五一促销活动总结
2014/07/01 职场文书
乡镇2014法制宣传日活动总结
2014/11/01 职场文书
2015年成本会计工作总结
2015/10/14 职场文书
2019公司管理制度
2019/04/19 职场文书
PostgreSQL通过oracle_fdw访问Oracle数据的实现步骤
2021/05/21 PostgreSQL