11.1. 计算密集型与IO
密集型
- 计算密集型:要进行大量的计算,消耗CPU资源,比如计算圆周率、对视频进行高清解码等等,全靠CPU的运算能力。这种计算密集型任务虽然也可以用多任务完成,但是任务越多,花在任务切换的时间就越多,CPU执行任务的效率就越低,所以,要最高效地利用CPU,计算密集型任务同时进行的数量应当等于CPU的核心数。计算密集型任务由于主要消耗CPU资源,因此,代码运行效率至关重要。Python这样的脚本语言运行效率很低,完全不适合计算密集型任务。对于计算密集型任务,最好用C语言编写。
IO
密集型:涉及到网络、磁盘IO
的任务都是IO
密集型任务,这类任务的特点是CPU消耗很少,任务的大部分时间都在等待IO
操作完成(因为IO
的速度远远低于CPU和内存的速度)。对于IO
密集型任务,任务越多,CPU效率越高,但也有一个限度。常见的大部分任务都是IO
密集型任务,比如Web
应用。IO
密集型任务执行期间,99%的时间都花在IO
上,花在CPU
上的时间很少,因此,用运行速度极快的C
语言替换用Python
这样运行速度极低的脚本语言,完全无法提升运行效率。对于IO密集型任务,最合适的语言就是开发效率最高(代码量最少)的语言,脚本语言是首选,C
语言最差。
多线程和多进程的模型虽然解决了并发问题,但是系统不能无上限地增加线程。由于系统切换线程的开销也很大,所以,一旦线程数量过多,CPU的时间就花在线程切换上了,真正运行代码的时间就少了,结果导致性能严重下降。
由于我们要解决的问题是CPU高速执行能力和IO
设备的龟速严重不匹配,多线程和多进程只是解决这一问题的一种方法。
另一种解决IO
问题的方法是异步IO
。当代码需要执行一个耗时的IO
操作时,它只发出IO
指令,并不等待IO
结果,然后就去执行其他代码了。一段时间后,当IO
返回结果时,再通知CPU进行处理。
11.2. 协程
协程(Corontine),又称微线程、纤程。
子程序,或者称为函数,在所有语言中都是层级调用,比如A调用B,B在执行过程中又调用了C,C执行完毕返回,B执行完毕返回,最后是A执行完毕。所以子程序调用是通过栈实现的,一个线程就是执行一个子程序。
子程序调用总是一个入口,一次返回,调用顺序是明确的。而协程的调用和子程序不同。
协程看上去也是子程序,但执行过程中,在子程序内部可中断,然后转而执行别的子程序,在适当的时候再返回来接着执行。
注意,在一个子程序中中断,去执行其他子程序,不是函数调用,有点类似CPU的中断。比如子程序A、B:
1 | def A(): |
假设由协程执行,在执行A的过程中,可以随时中断,去执行B,B也可能在执行过程中中断再去执行A,结果如下。可以看出,在A中是没有调用B的,所以协程的调用比函数调用理解起来要难一些。
1 | 1 |
- 看起来A、B的执行有点像多线程,但协程的特点在于是一个线程执行,那和多线程比,协程有何优势?
协程执行效率极高。因为子程序切换不是线程切换,而是由程序自身控制,因此,没有线程切换的开销,和多线程比,线程数量越多,协程的性能优势就越明显。
不需要多线程的锁机制,因为只有一个线程,也不存在同时写变量冲突,在协程中控制共享资源不加锁,只需要判断状态就好了,所以执行效率比多线程高很多。
- 因为协程是一个线程执行,那怎么利用多核CPU呢?
最简单的方法是多进程+协程,既充分利用多核,又充分发挥协程的高效率,可获得极高的性能
Python
对协程的支持如何通过generator
实现的?
在
generato
r中,我们不但可以通过for
循环来迭代,还可以不断调用next()
函数获取由yield
语句返回的下一个值。但是Python
的yield
不但可以返回一个值,它还可以接收调用者发出的参数。
传统的生产者-消费者模型是一个线程写消息,一个线程取消息,通过锁机制控制队列核等待,但一不小心就可能死锁。如果改用协程,生产者生产消息后,直接通过yeild
跳转到消费者开始执行,待消费者执行完毕后,切换生产者继续生产,效率极高。
1 | # 消费者 |
运行分析:注意到
consumer
函数是一个generator
,把一个consumer
传入produce
后:(1)首先调用
c.send(None)
启动生成器;
(2)然后,一旦生产了东西,通过c.send(n)
切换到consumer
执行;
(3)consumer
通过yield
拿到消息,处理,又通过yield
把结果传回;
(4)produce
拿到consumer
处理的结果,继续生产下一条消息;
(5)produce
决定不生产了,通过c.close()
关闭consumer
,整个过程结束。
整个流程无锁,由一个线程执行,
produce
和consumer
协作完成任务,所以称为“协程”,而非线程的抢占式多任务。
11.3. asyncio
asynio
是Python
3.4版本引入的标准库,直接内置了对异步IO
的支持。它的编程模型就是一个消息循环。我们从asyncio
模块中直接获取一个EventLoop
的引用,然后把需要执行的协程扔到EventLoop
中执行,就实现了异步IO
。
asyncio
提供了完善的异步IO支持;- 异步操作需要在
coroutine
中通过yield from
完成; - 多个
coroutine
可以封装成一组Task
然后并发执行。
1 | import asyncio |
使用task
封装两个coroutine
:
1 | import asyncio |
案例:用asyncio
的异步网络连接sina
、souhu
和163的网站首页
1 | import asyncio |
11.4. async
/await
为了简化并更好地标识异步IO
,从Python
3.5开始引入新的语法async
和await
,可以让corountine
的代码更简洁易读。与Python
3.4的asyncio
和yield from
的区别:
- 把
@asyncio.coroutine
替换为async
- 把
yield from
替换为await
。
1 | import asyncio |
11.5. aiohttp
aiohttp
可以实现单线程并发IO
操作。如果仅用在客户端,发货的威力不大。如果把asyncio
用在服务端,例如Web
服务器,由于HTTP
连接就是IO
操作,因此可以用单线程+coroutine
实现多用户的高并发。
asyncio
实现了TCP
、UDP
、SSL
等协议,aiohttp
则是基于asyncio
实现的HTTP
框架。
- 安装
aiohttp
:pip install aiohttp
- 编写
HTTP
服务器,分别处理以下URL
:/
-首页返回b'<h1>Index</h1>'
;/hello/{name}
-根据URL
参数返回文本hello, %s!
。
- 用
aiohttp
创建服务
1 | import asyncio |
- 本文作者: Lajos
- 本文链接: https://www.lajos.top/2020/05/05/No-11-Python语言基础-异步IO/
- 版权声明: 本博客所有文章除特别声明外,均采用 MIT 许可协议。转载请注明出处!