"
目录
补充:线程安全
import threading obj = threading.local() # local():可实现,多线程操作某一数据,不会出现数据混乱的情况 # 原理:空间换时间 def add(i): obj.n = i print(i, obj.n, threading.current_thread().ident) for i in range(20): th = threading.Thread(target=add, args=(i,)) th.start()
一、全局解释器锁GIL
Python代码的执行由Python虚拟机(也叫解释器主循环)来控制。Python在设计之初就考虑到要在主循环中同时只有一个线程在执行。虽然Python解释器中可以“运行”多个线程,但在任意时刻只有一个线程在解释器中运行.
对于Python虚拟机的访问由全局解释器锁(GIL)来控制,正是这个锁保证了同一时刻只有一个线程在运行.
同一时间点,GIL只允许同一个进程中的一个线程访问cpu,即CPython解释器中没有真正的线程并行,只有进程可以实现。故I/O操作多时,使用多线程最好;计算密集时,使用多进程最好。
- 在多线程环境中,Python虚拟机按以下方式执行:
1. 设置GIL;
2. 切换到一个线程去执行;
3. 运行指定数量的字节码指令或者线程主动让出控制(如调用time.sleep(0));
4. 把线程设置为睡眠状态;
5. 解锁GIL;
6. 再次重复以上所有步骤;
在调用外部代码(如C/C++扩展函数)的时候,GIL将会被锁定,知道这个函数结束为止(由于在这期间没有Python的字节码被运行,所以不会做线程切换),编写扩展的程序员可以主动解锁GIL。
二、Python线程模块的选择
1. Python提供了多个用于多线程编程的模块,包括thread、threading和Queue等。thread和threading模块允许程序员创建和管理线程。thread模块提供了基本的线程和锁的支持;threading提供了更高级别、功能更强的线程管理功能。而Queue模块允许用户创建一个可以用于多个线程之间共享数据的队列数据结构。
2. 应避免使用thread模块,因为更高级别的threading模块更为先进,对线程的支持更加完善。而且thread模块里的属性有可能会与threading出现冲突;其次,低级别的thread模块的同步原理很少(实际上只有一个),而threading模块则有很多;再则,thread模块中当主线程结束时,所有的子线程都会被强制结束掉,没有警告也不会做正常的清除工作,但threading模块至少能够确保重要的子线程退出后才退出主线程.
3.关于守护线程:thread模块不支持守护线程,当主线程退出时,所有的子线程不论它们是否还在工作,都会被强制退出。而threading模块支持守护线程,守护线程一般是一个等待客户请求的服务器,若没有客户提出请求它就在那等着,如果设定这个线程为守护线程,就表示这个线程是不重要的,在进程(主线程)退出的时候不用等待这个线程退出.
三、线程的创建
1. 创建线程
- # 创建方式1
-
- from threading import Thread
- from time import sleep
-
-
- def sayhi(name):
- sleep(1)
- print(name, 'say hello')
-
-
- t = Thread(target=sayhi, args=('egon',))
- t.start()
- print("主线程")
- # 创建方式2:自定义线程类
-
- from threading import Thread
- from time import sleep
-
-
- class Sayhi(Thread):
-
- def __init__(self, name):
- super().__init__()
- self.name = name
-
- def run(self): # 必备方法,用于启动线程
- sleep(1)
- print(self.name, 'say hello')
-
-
- t = Sayhi('egon')
- t.start()
- print("主线程")
2. 多线程与多进程
- pid比较
- from threading import Thread
- from multiprocessing import Process
- from os import getpid
-
-
- work = lambda who:print(who, getpid())
-
- if __name__ == '__main__':
-
- # part1: 在主进程下开启多个线程,每个线程都与主进程的pid一样
- t1 = Thread(target=work, args=("线程",))
- t2 = Thread(target=work, args=("线程",))
- for t in (t1, t2):
- t.start()
- t.join()
-
- # part2: 开启多个子进程,每个进程都有不同的pid
- p1 = Process(target=work, args=("进程",))
- p2 = Process(target=work, args=("进程",))
- for p in (p1, p2):
- p.start()
- p.join()
-
- print("主线程/主进程", getpid())
- 启动速度的较量
- # 单线程与单进程
-
- from threading import Thread
- from multiprocessing import Process
-
-
- work = lambda who:print("我是%s" % who)
-
- if __name__ == '__main__':
-
- p = Process(target=work, args=("进程",))
- p.start()
-
- t = Thread(target=work, args=("线程",))
- t.start()
-
- # 结果必然是线程先打印出来
- from threading import Thread
- from multiprocessing import Process
- from time import time, sleep
-
-
- def func():
- pass
-
-
- def work(Process, Thread):
- # 注意:这是测试启动速度,所以无需join
-
- # 进程
- p_start = time()
- [Process(target=func).start() for i in range(100)]
- p_over = time() - p_start
-
- # 线程
- t_start = time()
- [Thread(target=func).start() for i in range(100)]
- t_over = time() - t_start
-
- print("进程用时:%s 线程用时:%s" % (p_over, t_over))
- # 进程用时:0.21951699256896973 线程用时:0.015702009201049805
- # 经过多次测试后得到结论:多线程的启动速度远快于多进程的启动速度
-
-
- if __name__ == '__main__':
- Process(target=work, args=(Process, Thread)).start()
3. 线程与进程内存数据共享的区别
- from threading import Thread
- from multiprocessing import Process
-
-
- def work():
- global n
- n = 0
-
-
- if __name__ == '__main__':
- n = 1
-
- p = Process(target=work)
- p.start()
- p.join()
- print("父进程:", n)
- # 显然,子进程中改的仅仅是它自己的全局n,不会影响到父进程
-
- t = Thread(target=work)
- t.start()
- t.join()
- print("主线程:", n)
- # 此时查看结果为0,因为同一进程内的线程共享进程内的数据
4. 守护线程
无论是线程还是进程,都遵循守护线程(进程)等待主线程(进程)运行完毕后被销毁。需要强调的是,运行完毕并非终止运行:对于主进程来说,运行完毕指的是主进程代码运行完毕;对于主线程来说,运行完毕指的是主线程所在的进程内所有非守护线程统统运行完毕,主线程才算运行完毕.
- 详细说明
1. 主进程在其代码执行结束后就已经算运行完毕了(守护进程在此时就被回收),然后主进程会一直等非守护的子进程都运行完毕后回收子进程的资源(否则会产生僵尸进程),才会结束。
2. 主线程在其它非守护线程运行完毕后才算运行完毕(守护线程在此时就被回收),因为主线程的结束意味着进程的结束,进程整体的资源都将被回收,而进程必须保证非守护线程都运行完毕后才能结束。
- 实例
- # 守护线程与守护进程的区别
-
- from threading import Thread
- from multiprocessing import Process
- from time import sleep
-
-
- def func(who, n):
- sleep(n)
- print("我是%s" % who)
-
-
- if __name__ == '__main__':
- # t1 = Thread(target=func, args=("守护线程", 1,))
- # t2 = Thread(target=func, args=("普通线程", 2,))
- # t1.setDaemon(True) # 必须在启动之前设置
- # [t.start() for t in (t1, t2)]
- # # 守护线程会在主进程内的所有普通线程运行完毕时立即终止
-
- p1 = Process(target=func, args=("守护进程", 1))
- p2 = Process(target=func, args=("普通进程", 2))
- p1.daemon = True
- [p.start() for p in (p1, p2)]
- # 主进程结束,守护进程即终止
-
- print("我是主线程")
5. Thread类的其它方法
- Thread实例对象的方法
isAlive():返回线程是否活动
getName():返回线程名
setName():设置线程名
threading模块提供的一些方法
currentThread():返回当前的线程变量
enumerate():返回正在运行的线程列表,不包括启动前和终止后的线程
activeCount():返回正在运行的线程数量,等价于len(threading.enumerate())
三、锁机制
1. 同步锁
- # 多线程抢占资源的情况
-
- from threading import Thread
- from multiprocessing import Value
- from time import sleep
-
-
- def work():
- global n
- temp = n
- sleep(0.1)
- n = temp - 1
-
-
- if __name__ == '__main__':
- n = 100
- t_lst = []
-
- for i in range(100):
- t = Thread(target=work)
- t.start()
- t_lst.append(t)
-
- [t.join() for t in t_lst]
-
- print(n) # 此时结果极有可能是99
- # 同步锁的引用
-
- from threading import Thread, Lock
-
-
- def work():
- global n
- lock.acquire() # 加锁
- temp = n
- n = temp - 1
- lock.release() # 释放
-
-
- if __name__ == '__main__':
- lock = Lock()
- n = 100
- t_lst = []
-
- for i in range(100):
- t = Thread(target=work)
- t.start()
- t_lst.append(t)
-
- [t.join() for t in t_lst]
-
- print(n) # 此时结果肯定为0
- # 由原来的并发执行变成了串行执行,牺牲效率而保证了数据的安全性
- 关于互斥锁与join方法
在start之后立即用jion,也能使线程变为串行,保证数据安全。但问题是在start之后使用jion会使任务内的所有代码都变为串行执行,速度之慢可想而知。而加锁只会将任务内的部分代码变为串行执行。单从数据安全方面考虑,二者都可以实现,但很明显加锁的效率更高。
2. 死锁与递归锁
所谓死锁:是指两个或两个以上的进程(线程)在执行过程中,因争夺资源而造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在等待的进程称为死锁进程,如下:
- from threading import Lock
-
- lock = Lock()
-
- lock.acquire()
- lock.acquire()
- print(1)
- lock.release()
- lock.release()
解决方法:递归锁,在Python中为了支持同一个线程中多次请求同一资源,python提供了可重入锁RLock,RLock内部维护着一个Lock和一个counter变量,counter记录了acquire的次数,从而使得资源可以被多次require。直到一个线程内所有的acquire都被release,其它的线程才能获得资源,上面的例子如果使用RLock,则不会发生死锁:
- from threading import RLock
-
- rlock = RLock()
-
- rlock.acquire()
- rlock.acquire()
- print(1)
- rlock.release()
- rlock.release()
- 典型问题:抢饭吃
- # 陷入死锁
-
- from threading import Thread, Lock
- from time import sleep
-
-
- noodle_lock = Lock()
- fork_lock = Lock()
-
- def eat1(name):
- noodle_lock.acquire()
- print("%s抢到了面" % name)
-
- fork_lock.acquire()
- print("%s抢到了叉子" % name)
-
- fork_lock.release()
- noodle_lock.release()
-
-
- def eat2(name):
- fork_lock.acquire()
- print("%s抢到了叉子" % name)
- sleep(1)
- noodle_lock.acquire()
- print("%s抢到了面" % name)
-
- noodle_lock.release()
- fork_lock.release()
-
-
- for name in 'people1', 'people2':
- Thread(target=eat1, args=(name,)).start()
- Thread(target=eat2, args=(name,)).start()
-
- # 此时是一个人抢到了面,一个人抢到了叉子,结果是都吃不上饭
- # RLock解决死锁
-
- from threading import Thread, RLock
-
-
- noodle_lock = fork_lock = RLock()
-
- def eat1(name):
- noodle_lock.acquire()
- print("%s抢到了面" % name)
-
- fork_lock.acquire()
- print("%s抢到了叉子" % name)
-
- fork_lock.release()
- noodle_lock.release()
-
-
- def eat2(name):
- fork_lock.acquire()
- print("%s抢到了叉子" % name)
-
- noodle_lock.acquire()
- print("%s抢到了面" % name)
-
- noodle_lock.release()
- fork_lock.release()
-
-
- for name in 'people1', 'people2':
- Thread(target=eat1, args=(name,)).start()
- Thread(target=eat2, args=(name,)).start()
四、信号量
Semaphore管理一个内置的计数器,每当调用acquire时,内置计数器-1;调用release时内置计数器+1;计数器不能小于0;当计数器为0时,acquire将阻塞线程,直到其它线程调用release.
信号量与进程池是完全不同的概念,进程池Pool(4)的意思是最大只能产生4个进程,而且从头到尾都只是这四个进程,不会产生新的,而信号量是产生一大堆线程/进程.
- 实例:(限制同时最多5个线程可以访问锁内资源)
- from threading import Thread, Semaphore, current_thread
- from time import sleep
-
-
- def func():
- s.acquire()
- print('%s get sm' %current_thread().getName())
- sleep(1)
- s.release()
-
-
- s = Semaphore(5) # 允许最多5个线程同时访问锁内资源
-
- [Thread(target=func).start() for i in range(10)]
五、事件
- 介绍
线程的一个关键特性是每个线程都是独立运行且状态不可预测。如果程序中的其它线程需要通过判断某个线程的状态来确认自己下一步的操作,这时线程同步问题就会变得非常棘手。为了解决这些问题,我们需要使用threading库中的Event对象,此对象包含一个可由线程设置的信号标志,它允许线程等待某些事件的发生。在初始情况下,Event对象的信号标志被设置为假,如果有线程等待一个Event对象, 而这个Event对象的标志为假,那么这个线程将会被一直阻塞,直至该标志为真。一个线程如果将一个Event对象的信号标志设置为真,它将唤醒所有等待这个Event对象的线程。如果一个线程等待一个已经被设置为真的Event对象,那么它将忽略这个事件, 继续执行。
- 方法
event.isSet():返回event的状态值,等价于event.is_set()
event.wait(timeout):如果is_set的值为False,将阻塞线程,timeout是可选超时时间,默认永久
event.set():设置event的状态值为True,所有阻塞池的线程激活进入就绪状态,等待操作系统调度
event.clear():恢复event的状态值为False
![在这里插入图片描述](/media/ai/2019-03/9ac75a3b-1dd2-4142-9279-0c33b25e3687.png =400x400)
例如,有多个工作线程尝试连接MySQL,我们想要在连接前确保MySQL服务正常才让那些工作线程去连接MySQL服务器,如果连接不成功,都会去尝试重新连接。那么我们就可以采用Event机制来协调各个工作线程的连接操作:
- # 模拟连接MySQL
-
- from threading import Thread, Event, current_thread
- from time import sleep
- from random import uniform
-
-
- def conn_MySQL():
- count = 1
- while not event.is_set():
- if count > 3:raise TimeoutError("连接超时")
- print("<%s>第%s次尝试连接" %(current_thread().getName(), count))
- event.wait(0.5) # 等待is_set的值为True,等待超时时间0.5秒
- count +=1
- print("<%s>连接成功" %current_thread().getName())
-
-
- def check_MySQL():
- print(" 33[45m[%s]正在检查MySQL 33[0m" %current_thread().getName())
- sleep(uniform(0, 2))
- event.set() # 将is_set的值设为True
-
-
- event = Event()
- Thread(target=conn_MySQL).start()
- Thread(target=conn_MySQL).start()
- Thread(target=check_MySQL).start()
六、条件
- 介绍
Python提供的Condition对象提供了对复杂线程同步问题的支持。Condition被称为条件变量,除了提供与Lock类似的acquire和release方法外,还提供了wait和notify方法。线程首先acquire一个条件变量,然后判断一些条件。如果条件不满足则wait;如果条件满足,进行一些处理改变条件后,通过notify方法通知其他线程,其他处于wait状态的线程接到通知后会重新判断条件。不断的重复这一过程,从而解决复杂的同步问题。
- 实例
- from threading import Thread, Condition
- from time import sleep
-
- def run(n):
- c.acquire()
- c.wait() # 阻塞,等待notify发送信号,wait方法可指定超时时间,默认永久阻塞,
- # 实测:若超时时间到还未收到信号则直接执行下面的代码
- print('run the thread:', n)
- c.release()
-
-
- c = Condition()
- [Thread(target=run, args=(i,)).start() for i in range(10)]
-
- while 1:
- sleep(0.1)
- num = int(input('>>>'))
- if num == 0:break
- c.acquire()
- c.notify(num) # 给wait发信号, num指定发多少个信号
- c.release()
七、定时器
指定n秒后执行某个操作
- from threading import Timer
-
- func = lambda :print('hello, world')
- Timer(3, func).start() # 指定3秒后执行func
八、线程队列
queue is especially useful in threaded programming when information must be exchanged safely between multiple threads.
译文:当必须在多个线程之间安全地交换信息时,队列在线程编程中特别有用。
- 先进先出与先进后出
- # 先进先出
-
- from queue import Queue
-
- q = Queue(3) # 实例化一个Queue对象,指定队列最大可放3个值,同理LifoQueue,和优先级的队列
- q.put('first') # 往队列中放值
- q.put('second')
- q.put('third')
- # q.put('return') # 若超过队列指定的最大值,将阻塞等待其它线程取值,同理lq.put,和优先级的队列
-
- print(q.get()) # 从队列中取值
- print(q.get())
- print(q.get())
-
- ############################
-
- # 先进后出
-
- from queue import LifoQueue
-
- lq = LifoQueue()
- lq.put('first') # 往队列中放值
- lq.put('second')
- lq.put('third')
-
- print(lq.get()) # 从队列中取值
- print(lq.get())
- print(lq.get())
- 优先级的队列
- from queue import PriorityQueue
-
- q = PriorityQueue(3) # 可指定队列
-
- # put(tuple),tuple的第一个元素是优先级,第二个元素是要放入的值
- # (通常是数字,也可以是非数字之间的比较,数字越小优先级额越高)
- # 优先级队列比较的ascii码
- q.put((2, 'b'))
- q.put((1, 'a'))
- q.put((3, 'c'))
-
- for i in range(3):print(q.get())
- """
- 结果(数字越小优先级越高,优先级高的优先出队)
- (1, 'a')
- (2, 'b')
- (3, 'c')
- """
- 更多方法说明
优先队列的构造函数。maxsize是一个整数,它设置可放在队列中的项数的上限限制。一旦达到此大小,插入将阻塞,直到使用队列项为止。如果maxsize小于或等于0,则队列大小为无穷大。
首先检索值最低的条目(值最低的条目是通过排序(list(entries))[0]返回的条目)。条目的典型模式是表单中的元组:(priority_number, data)。
异常queue.Empty
当对空的队列对象调用非阻塞get()(或get_nowait())时引发异常。异常queue.Full
当对已满的队列对象调用非阻塞put()(或put_nowait())时引发的异常。Queue.qsize()
如果为空,则返回True
如果已满,则返回True
队列中。把(项目,块= True,超时= None)
将项目放入队列中。如果可选的args块为true,超时为None(默认),则在空闲插槽可用之前,如果有必要,阻塞。如果超时是正数,它会阻塞大多数超时秒,如果在此时间内没有可用的空闲时间,则会引发完全异常。否则(block为false),如果一个空闲的插槽立即可用,就将一个条目放到队列中,否则引发完整的异常(在这种情况下会忽略超时)。Queue.put_nowait(项)
相当于把(项目,假)。队列中。得到(块= True,超时= None)
从队列中删除并返回项。如果可选的args块为true,而超时为None(默认值),则在项可用之前,如果有必要,阻塞。如果超时是正数,它会阻塞大多数超时秒,如果在这段时间内没有可用项,就会引发空异常。否则(block为false),如果一个项立即可用,返回一个项,否则引发空异常(在这种情况下忽略超时)。Queue.get_nowait()
相当于(False)。提供了两种方法来支持跟踪入队列任务是否由守护进程使用者线程完全处理。
Queue.task_done()
指示以前加入队列的任务已经完成。由队列使用者线程使用。对于用于获取任务的每个get(),对task_done()的后续调用将告诉队列任务的处理已经完成。如果一个join()当前处于阻塞状态,那么当所有项都被处理完时(这意味着对于每个已将()放入队列的项都接收了task_done()调用),它将恢复。
如果调用的次数超过了队列中放置的项的次数,就会引发ValueError。
九、线程池
- Python标准模块concurrent.futures提供了高度封装的异步调用接口:
ThreadPoolExecutor:线程池,提供异步调用
ProcessPoolExecutor:进程池,提供异步调用
- 基本方法:
submit(fn, *args, **kwargs):异步提交任务
map(func, *iterables, timeout=None, chunksize=1):取代for循环submit的操作
shutdown(wait=True):相当于Pool的close+join操作。wait=True:等待池内所有任务执行完毕回收完资源后才继续;wait=false:立即返回,并不会等待池内的任务执行完毕;但不管wait参数为何值,整个程序都会等到所有任务执行完毕,submit或map必须写在shutdown之前。
add_done_callback(fn):回调函数,线程属于子线程的调用,进程属于父进程的调用
result(timeout=None):取得结果
- 实例一:回调函数
- # 回调函数的用法
-
- from concurrent.futures import ThreadPoolExecutor, ProcessPoolExecutor
- from os import cpu_count # 用于获取cpu核心数
-
-
- def func(i):
- return i * i
-
-
- # 用于回调函数
- def func2(i):
- print(i.result() ** 0.5)
-
-
- # 错误:
- # func = lambda i:i*i
- # func2 = lambda i:print(i.result() ** 2)
- # 实测ProcessPoolExecutor池无法调用匿名函数,包括Pool池
-
-
- ####################################
- # 进程
-
- # p = ProcessPoolExecutor((cpu_count() or 1) + 1)
- # for i in range(10):
- # p.submit(func, i).add_done_callback(func2)
- # p.shutdown() # 等价于Pool的close+join
-
-
- ####################################
- # 线程
-
- t = ThreadPoolExecutor(10)
- for i in range(10):
- t.submit(func, i).add_done_callback(func2)
-
-
- # 线程是串行,所以异步执行的打印结果是有序的,而进程是并发/并行,故无须
- 实例二:计算型速度对比
- # 计算型速度对比
-
- from concurrent.futures import ThreadPoolExecutor, ProcessPoolExecutor
- from multiprocessing import Pool
- from os import cpu_count
- from time import time
-
-
- def func(i):
- num = 0
- for v in range(i):
- num += v ** v
-
-
- # ThreadPoolExecutor
- start = time()
- t = ThreadPoolExecutor(1)
- t.map(func, range(1000))
- t.shutdown()
- print("线程池用时:", time() - start)
- # 线程池用时: 4.917341947555542
-
-
- # ProcessPoolExecutor
- start = time()
- p = ProcessPoolExecutor((cpu_count() or 1 ) + 1)
- # [p.submit(func,i) for i in range(1000)]
- p.map(func, range(1000))
- p.shutdown()
- print("进程池用时:", time() - start)
- # 进程池用时: 2.890726089477539
-
-
- # Pool异步
- start = time()
- pool = Pool((cpu_count() or 1) + 1)
- # [pool.apply_async(func, args=(i,)) for i in range(1000)]
- # pool.close()
- # pool.join()
- pool.map(func, range(1000))
- print("进程池(Pool)用时:", time() - start)
- # 进程池(Pool)用时: 2.6030900478363037