线程队列 concurrent 协程 greenlet gevent
死锁问题
所谓死锁:是指两个或两个以上的进程或线程在执行过程中,因争夺资源而造成的一种互相等待的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。
经典问题:哲学家就餐问题
英语:Dining philosophers problem 是在计算机科学中的一个经典问题,用来演示在并发计算中多线程同步(Synchronization)时产生的问题。
import time
from threading import Thread, Lock
def philosopher1(chopsticks, noodles, name):
    chopsticks.acquire()
    print('%s 拿到了筷子' % name)
    time.sleep(1)
    noodles.acquire()
    print('%s 端起了面条' % name)
    time.sleep(1)
    print('%s开始吃面' % name)
    time.sleep(2)
    noodles.release()
    print('%s 放下了面条' % name)
    chopsticks.release()
    print('%s 放下了筷子' % name)
def philosopher2(chopsticks, noodles, name):
    noodles.acquire()
    print('%s 端起了面条' % name)
    time.sleep(1)
    chopsticks.acquire()
    print('%s 拿到了筷子' % name)
    time.sleep(1)
    print('%s开始吃面' % name)
    time.sleep(2)
    chopsticks.release()
    print('%s 放下了筷子' % name)
    noodles.release()
    print('%s 放下了面条' % name)
if __name__ == '__main__':
    chopsticks = Lock()
    noodles = Lock()
    for i1 in ['亚里士多德', '柏拉图', '卡迪尔']:
        t1 = Thread(target=philosopher1, args=(chopsticks, noodles, i1))
        t1.start()
    for i2 in ['尼采', '苏格拉底', '马克思']:
        t2 = Thread(target=philosopher2, args=(chopsticks, noodles, i2))
        t2.start()
递归锁解决死锁问题
解决方法:递归锁,在Python中为了支持在同一线程中多次请求同一资源,python提供了可重入锁RLock。
这个RLock内部维护着一个Lock和一个counter变量,counter记录了acquire的次数,从而使得资源可以被多次require。直到一个线程所有的acquire都被release,其他的线程才能获得资源。上面的例子如果使用RLock代替Lock,则不会发生死锁。
import time
from threading import Thread, RLock
def philosopher1(chopsticks, noodles, name):
    chopsticks.acquire()
    print('%s 拿到了筷子' % name)
    time.sleep(1)
    noodles.acquire()
    print('%s 端起了面条' % name)
    time.sleep(1)
    print('%s开始吃面' % name)
    time.sleep(2)
    noodles.release()
    print('%s 放下了面条' % name)
    chopsticks.release()
    print('%s 放下了筷子' % name)
def philosopher2(chopsticks, noodles, name):
    noodles.acquire()
    print('%s 端起了面条' % name)
    time.sleep(1)
    chopsticks.acquire()
    print('%s 拿到了筷子' % name)
    time.sleep(1)
    print('%s开始吃面' % name)
    time.sleep(2)
    chopsticks.release()
    print('%s 放下了筷子' % name)
    noodles.release()
    print('%s 放下了面条' % name)
if __name__ == '__main__':
    chopsticks = RLock()
    noodles = chopsticks
    for i1 in ['亚里士多德', '柏拉图', '卡迪尔']:
        t1 = Thread(target=philosopher1, args=(chopsticks, noodles, i1))
        t1.start()
    for i2 in ['尼采', '苏格拉底', '马克思']:
        t2 = Thread(target=philosopher2, args=(chopsticks, noodles, i2))
        t2.start()
线程队列
同一个进程下多个线程数据是共享的
为什么先同一个进程下还会去使用队列呢?
因为队列是 管道 + 锁
所以用队列还是为了保证数据的安全
线程队列 queque,用法:from queue import Queue。内置方法与进程中的Queue基本一样
先进先出
from queue import Queue
q = Queue()
q.put('first')
q.put('second')
q.put('third')
print(q.get())
print(q.get())
print(q.get())
'''
结果(先进先出):
first
second
third
'''
后进先出
from queue import LifoQueue
q = LifoQueue()
q.put('first')
q.put('second')
q.put('third')
print(q.get())
print(q.get())
print(q.get())
'''
输出结果
third
second
first
'''
优先级队列
from queue import PriorityQueue
q = PriorityQueue()
#put进入一个元组,元组的第一个元素是优先级(通常是数字,也可以是非数字之间的比较),数字越小优先级越高
q.put((3, 'a'))
q.put((2, 'b'))
q.put((1, 'c'))
print(q.get())
print(q.get())
print(q.get())
Python标准模块——concurrent.futures
concurrent.futures模块提供了高度封装的异步调用接口
ThreadPoolExecutor:线程池,提供异步调用
ProcessPoolExecutor:进程池,提供异步调用
基本方法
submit(fn, *args, **kwargs):异步提交任务
map(func, *iterables, timeout=None, chunksize=1):取代for循环submit的操作
shutdown(wait=True):相当于进程池的pool.close()+pool.join()操作
- wait=True,等待池内所有任务执行完毕回收完资源后才继续
 - wait=False,立即返回,并不会等待池内的任务执行完毕
 - 但不管wait参数为何值,整个程序都会等到所有任务执行完毕
 - submit和map必须在shutdown之前
 
result(timeout=None):取得结果
add_done_callback(fn):回调函数
done():判断某一个线程是否完成
cancle():取消某个任务
ProcessPoolExecutor 进程池
from concurrent.futures import ProcessPoolExecutor
import time
import os
# 括号内可以传数字不传的化默认开设当前计算机cpu个数进程
p_pool = ProcessPoolExecutor()
'''
池子造出来之后 里面会固定存几个个进程
这5个进程不会出现重复创建和销毁的过程
'''
def task(n):
    print(n, os.getpid())
    time.sleep(1)
    return n ** n
def call_back(res):
    print(res.result())
if __name__ == '__main__':
    for i in range(1, 25):
        p_pool.submit(task, i).add_done_callback(call_back)
       # 拿到回调结果
    p_pool.shutdown()  # 关闭进程池等进程池中所有任务运行完毕 再往下执行
    print('主')
ThreadPoolExecutor 线程池
#介绍
ThreadPoolExecutor is an Executor subclass that uses a pool of threads to execute calls asynchronously.
class concurrent.futures.ThreadPoolExecutor(max_workers=None, thread_name_prefix='')
An Executor subclass that uses a pool of at most max_workers threads to execute calls asynchronously.
Changed in version 3.5: If max_workers is None or not given, it will default to the number of processors on the machine, multiplied by 5, assuming that ThreadPoolExecutor is often used to overlap I/O instead of CPU work and the number of workers should be higher than the number of workers for ProcessPoolExecutor.
New in version 3.6: The thread_name_prefix argument was added to allow users to control the threading.Thread names for worker threads created by the pool for easier debugging.
#用法
与ProcessPoolExecutor相同
总结
from concurrent.futures import ProcessPoolExecutor
p_pool = PProcessPoolExecutor()
p_pool.submit(task, i).add_done_callback(call_back)
协程
协程:是单线程下的并发,又称微线程,纤程。英文名Coroutine。一句话说明什么是协程:协程是一种用户态的轻量级线程,即协程是由用户程序自己控制调度的。
需要强调的是:
- python的线程属于内核级别的,即由操作系统控制调度(如单线程遇到io或执行时间过长就会被迫交出cpu执行权限,切换其他线程运行)
 - 单线程内开启协程,一旦遇到io,就会从应用程序级别(而非操作系统)控制切换,以此来提升效率(!!!非io操作的切换与效率无关)
 
对比操作系统控制线程的切换,用户在单线程内控制协程的切换。
优点如下:
- 协程的切换开销更小,属于程序级别的切换,操作系统完全感知不到,因而更加轻量级
 - 单线程内就可以实现并发的效果,最大限度地利用cpu
 
缺点如下:
- 协程的本质是单线程下,无法利用多核,可以是一个程序开启多个进程,每个进程内开启多个线程,每个线程内开启协程
 - 协程指的是单个线程,因而一旦协程出现阻塞,将会阻塞整个线程
 
总结协程特点:
- 必须在只有一个单线程里实现并发
 - 修改共享数据不需加锁
 - 用户程序里自己保存多个控制流的上下文栈
 - 附加:一个协程遇到IO操作自动切换到其它协程(如何实现检测IO,yield、greenlet都无法实现,就用到了gevent模块(select机制))
 
'''
进程:资源单位
线程:执行单位
协程:单线程下实现并发
			自己在代码层面上检测我们所有的IO操作
			一旦遇到了IO了 我们在代码级别完成切换
			这样给cpu的感觉是你这个程序一直在运行,没有IO
			从而提升程序运行效率
多道技术:
		切换+保存状态
		cpu两种切换
		1、程序遇到IO
		2、程序长时间占用
代码是如何做到的
		切换+保存状态
切换
		切换不一定是提升效率,也有可能是降低效率
		比如计算密集型切换起来可能还会降低效率
保存状态
		保存上一次执行的状态 暂时挂起 下一次来接着上一次的操作继续往后面执行
'''
gevent模块
from gevent import monkey
monkey.patch_all()
import time
from gevent import spawn
'''
gevent模块本身无法监测常见的一些IO操作
在使用的时候需要额外导入一个
from gevent import monkey
monkey.patch_all()
'''
def eat():
    print('吃了一口')
    time.sleep(2)
    print('又吃了一口')
def play():
    print('玩了一下')
    time.sleep(3)
    print('又玩了一下')
start = time.time()
g1 = spawn(eat)
g2 = spawn(play)
g1.join()
g2.join()
print(time.time()-start)
greenlet模块
from greenlet import greenlet
def eat(name):
    print('%s eat 1' %name)
    g2.switch('nick')
    print('%s eat 2' %name)
    g2.switch()
def play(name):
    print('%s play 1' %name)
    g1.switch()
    print('%s play 2' %name)
g1=greenlet(eat)
g2=greenlet(play)
g1.switch('nick')#可以在第一次switch时传入参数,以后都不需要
# 单纯的切换(在没有io的情况下或者没有重复开辟内存空间的操作),反而会降低程序的执行速度。手动切换
												
											线程队列 concurrent 协程 greenlet gevent的更多相关文章
- 并发编程(六)——进程/线程池、协程、gevent第三方库
		
进程/线程池.协程.gevent第三方库 一.进程/线程池 1.进程池 (1)什么是进程池 如果需要创建的子进程数量不大,可以直接利用multiprocess中的Process来创建.但是当需要创建上 ...
 - python 38 线程队列与协程
		
目录 1. 线程队列 1.1 先进先出(FIFO) 1.2 后进先出(LIFO)堆栈 1.3 优先级队列 2. 事件event 3. 协程 4. Greenlet 模块 5. Gevent模块 1. ...
 - 并发编程(六)--进程/线程池、协程、gevent第三方库
		
一.进程/线程池 1.进程池 (1)什么是进程池 如果需要创建的子进程数量不大,可以直接利用multiprocess中的Process来创建.但是当需要创建上百个或上千个,手动创建就较为繁琐,这时就可 ...
 - python 协程 greenlet gevent
		
一.并发的本质 切换+保存状态 cpu正在运行一个任务,会在两种情况下切走去执行其他的任务(切换由操作系统强制控制),一种情况是该任务发生了阻塞,另外一种情况是该任务计算的时间过长时间片到了 二.协程 ...
 - day 34 线程队列 线程池 协程 Greenlet  \Gevent 模块
		
1 线程的其他方法 threading.current_thread().getName() 查询当前线程对象的名字 threading.current_thread().ident ...
 - based on Greenlets (via Eventlet and Gevent)    fork  孙子worker  比较 gevent不是异步 协程原理  占位符 placeholder (Future, Promise, Deferred)   循环引擎  greenlet    没有显式调度的微线程,换言之 协程
		
gevent GitHub - gevent/gevent: Coroutine-based concurrency library for Python https://github.com/gev ...
 - concurrent.futures进线程池和协程
		
concurrent.futures 异步执行进程线程池的模块,一个抽象类,定义submit,map,shutdown方法 from concurrent.futures import Process ...
 - 协程,greenlet原生协程库, gevent库
		
协程简介 协程(coroutine),又称为微线程,纤程,是一种用户级的轻量级线程.协程拥有自己的寄存器上下文和栈. 协程调度切换时,将寄存器上下文和栈保存到其他地方,在切回来时,恢复之前保存的上下文 ...
 - 循环引擎  greenlet    没有显式调度的微线程,换言之 协程
		
小结: 1. micro-thread with no implicit scheduling; coroutines, in other words. 没有显式调度的微线程,换言之 协程 2. 一个 ...
 
随机推荐
- 计算机网络体系结构整理-第二单元IP技术
			
IP技术 1.IPV4 Ipv4的报头格式 Ipv4地址分为ABCDE类, 类别 IP地址范围 私有IP地址范围 A 0.0.0.0-127.255.255.255 10.0.0.0-10.255.2 ...
 - Kubernetes全栈架构师(二进制高可用安装k8s集群部署篇)--学习笔记
			
目录 二进制高可用基本配置 二进制系统和内核升级 二进制基本组件安装 二进制生成证书详解 二进制高可用及etcd配置 二进制K8s组件配置 二进制使用Bootstrapping自动颁发证书 二进制No ...
 - C语言:位运算符
			
异或 ^ 两个二进制位相同结果为0:不相同结果为1 1^1=0 1^0=1 0^1=1 0^0=1 按位或 | 两个二进制位 ...
 - C语言:宏定义 本质及体现
 - 视频场景切换检测的FPGA实现
			
本文将继续讲述图像处理算法的FPGA实现,后续可能更新图像旋转(1080P).画中画.快速DCT等算法.视频场景切换检测常用于视频编解码领域,我选用的算法是双阈值灰度直方图检测法,起初在MATLAB上 ...
 - 关于java异常处理的思考
			
学习java的过程中,初学者更多的是为了实验而写代码,而不考虑实际情况中的人机交互过程中的一些问题. 在java项目中,更多的用户不会因为你给了某些限制提醒,他就一定会按照你所给的提示来输入或者操作, ...
 - springMVC-4-处理模型数据
			
返回模型数据(Model) index.jsp中 <h1>获取模型数据</h1> <a href="/model/test1">ModelAnd ...
 - PAT甲级:1025 PAT Ranking (25分)
			
PAT甲级:1025 PAT Ranking (25分) 题干 Programming Ability Test (PAT) is organized by the College of Comput ...
 - 【洛谷P5008 逛庭院】tarjan缩点+贪心
			
既然没有题解,那么我就来提供给一份. -- 首先我们看到数据范围.妈耶!数据这么大,一开始还想用个DP来做,但是看着就不行,那么根据这个数据范围,我们大致可以猜到这道题的算法是一个贪心,那么我们怎么贪 ...
 - Hadoop 3.1.1 - 概述 - 总览
			
Apache Hadoop 3.1.1 和之前发布的 3.0.X 版本线相比,Apache Hadoop 3.1.1 吸收了许多重要的改进. 总览 建议用户阅读完整的版本说明.本文提供了对主要变动的总 ...