Python核心技术与实战——十八|Python并发编程之Asyncio
我们在上一章学习了Python并发编程的一种实现方法——多线程。今天,我们趁热打铁,看看Python并发编程的另一种实现方式——Asyncio。和前面协程的那章不太一样,这节课我们更加注重原理的理解。
通过上节课的学习,我们知道在进行I/O操作的时候,使用多线程与普通的单线程比较,效率有了很大的提高,既然这样,为什么还要Asyncio呢?
虽然多线程有诸多优点并且应用广泛,但是也存在一定的局限性:
※多线程运行过程很容易被打断,因此有可能出现race condition的情况
※线程的切换存在一定的消耗,线程数量不能无限增加,因此,如果I/O操作非常密集,多线程很有可能满足不了高效率、高质量的需求。
针对这些问题,Asyncio应运而生。
什么是Asyncio?
Sync VS Async
我们首先来区分一下Sync(同步)和Async(异步)的概念。
※所谓Sync,是指操作一个接一个的执行,下一个操作必须等上一个操作完成后才能执行。
※而Async是指不同操作之间可以相互交替执行,如果某个操作被block,程序并不会等待,而是会找出可执行的操作继续执行。
举个简单的例子,我们要做一个报表并用邮件发送给老板,看看两种方式有什么不同:
※按照Sync的方式,我们相软件里输入各项数据,然后等5分钟生成了报表明细以后,再写邮件发送给老板
※而按照Async的方式,在输完数据以后,开始生成报表,但这个时候我们不干等这报表生成而是去写邮件,等报表明细生成以后,我们暂停邮件的编写去查看报表,确认以后继续写邮件知道发送完毕。
Asyncio的工作原理
明白了Sync和Async的套路,我们回到今天的主题,到底什么是Asyncio呢?
事实上,Asyncio和其他的Python程序一样,是单线程的,他只有一个主线程,但是恶意进行多个不同任务(task),这里的任务,就是特殊的future对象,这些不同的任务,被一个叫做event loop(事件循环)的对象控制。我可以把这里的任务,类比成多线程版本里的多个线程。
为了简化的了解这个问题,我们可以假设任务只有两个状态:一是预备状态;而是等待状态、预备状态是指任务目前空闲,但随时准备运行。而等待状态,是指已经运行,但正在等待外部的操作完成,比如I/O操作。
在这种情况下,事件循环会维护两个任务列表,分别对应这两种状态;并且选取预备状态的一个任务(具体选取那个任务,和其等待的时间长短、占用的资源等等相关),使其运行,一直到任务把控制权教会给事件循环为止。
值得一提的是,对于Asyncio来说,他的任务在运行时不会被外部的因素打断,因此Asyncio内的操作不会出现race condition的情况,这样就不需要我们担心线程安全的问题了。
Asyncio的用法
讲完了Asyncio的原理,我们结合具体的代码来看一下他的用法。还是以上一节课里下载网站上的内容为例,用Asyncio的写法如下(依旧是省略了异常处理)
import asyncio import aiohttp import time async def download_one(url): async with aiohttp.ClientSession() as session: async with session.get(url) as resp: print('Read {} from {}.'.format(resp.content_length,url)) async def download_all(sites): tasks = [asyncio.create_task(download_one(site)) for site in sites] await asyncio.gather(*tasks) def main(): sites = [ 'https://en.wikipedia.org/wiki/Portal:Arts', 'https://en.wikipedia.org/wiki/Portal:History', 'https://en.wikipedia.org/wiki/Portal:Society', 'https://en.wikipedia.org/wiki/Portal:Biography', 'https://en.wikipedia.org/wiki/Portal:Mathematics', 'https://en.wikipedia.org/wiki/Portal:Technology', 'https://en.wikipedia.org/wiki/Portal:Geography', 'https://en.wikipedia.org/wiki/Portal:Science', 'https://en.wikipedia.org/wiki/Computer_science', 'https://en.wikipedia.org/wiki/Python_(programming_language)', 'https://en.wikipedia.org/wiki/Java_(programming_language)', 'https://en.wikipedia.org/wiki/PHP', 'https://en.wikipedia.org/wiki/Node.js', 'https://en.wikipedia.org/wiki/The_C_Programming_Language', 'https://en.wikipedia.org/wiki/Go_(programming_language)' ] start_time = time.perf_counter() asyncio.run(download_all(sites)) end_time = time.perf_counter() print('Down {} sites in {} seconds'.format(len(sites),end_time-start_time)) if __name__ == '__main__': main()
这里的Async和await关键字是Asyncio的最新的写法,表示这个语句/函数是non-blocked的,正好对应了前面讲的event loop的概念。如果任务执行的过程需要等待,则将其放入等待的列表中,然后继续执行状态列表里的任务。
主函数里的asyncio.run(coro)是Asyncio的root call,表示拿到event loop,运行输入的coro,直到他结束,最后关闭这个event loop。事实上,asyncio.run()是Python3.7+以后才引入的,相当于以前的版本中下面的语法
loop = asyncio.get_event_loop() try: loop.run_until_complete(coro) finally: loop.close()
至于Asyncio版本内的download_all(),和之前多线程版本也有很大的区别:
task = [asyncio.create_task(download_one(site)) for site in sites] await asyncio.gather(*task)
这里的asynco.creat_task(core),表示对输入的协程coro创建一个任务,安排他的执行,并返回此任务对象。这个函数也是Python3.7以后的版本增加的,如果是之前的版本,我们可以用下面的方法代替:
asyncio.ensure_future(coro)
可以看到,这里我们对每一个网站的下载,都创建了一个对应的任务。
再往下看,asyncio.gather(*aws,loop=None,return_exception = False),则表示在事件循环中运行aws序列中所有的任务。当然,除了例子中用到的几个函数,Asyncio还提供了很多其他的用法,我们可以通过Python官方文档查看。
最后我们可以通过最后的输出结果发现,这种方式的效率要比之前的多线程版本还要高一些,充分体现出其优势。
Asyncio的缺陷
通过前面的讲解我们可以看出Asyncio的强大,但是任何一种方案都不是完美无瑕的,都存在一定的局限性,当然Asyncio也同样如此。
在实际的工作中,要想用好Asyncio,特别是要发挥好其强大的功能,很多情况下必须要有相应的Python库作为支持,我们可能发现了在前面的多线程编程中我们都是用的request库,但是在这里我们用的是aiohttp库,原因就是request库是不兼容Asyncio的,而aiohttp库兼容。
Asyncio软件库的兼容性问题在Python3的早期一直是一个大问题,但是随着技术的发展,这个问题也在逐步得到解决。
另外,在使用Asyncio时,因为在任务的调度方面有了了更大的自主权,写代码就要更加注意,否则会很容易出错。
举个例子,如果我们需要await一系列的操作,就带使用asyncio.gathrer();如果是单个的Futures,或许使用asyncio.wait()就可以了。那么,对于一个future,我们是需要他run_until_complete()还是run_forever(),都是要好好思考一下的。诸如此类,都是我们在面对具体问题时需要考虑的。
多线程还是Asyncio?
我们已经把并发编程的两种方式都讲了,不过,遇到实际问题,我们选择那种编程方式呢?
总得来是,我们可以遵循下面的规范
※如果是I/O bound,并且I/O操作很慢,需要很多任务/线程协同实现,那么使用Asyncio更加合适
※如果是I/O bound,但是I/O操作很快,只需要有限数量的任务或线程,那么使用多线程就可以了
※如果是CPU bound,则需要多进程来提高运行效率。
总结
在今天的学习中,我们一起学习了Asyncio的原理和用法,比较了Asyncio和多线程各自的优缺点。
共同点:
都是并发操作,多线程同一时间点只有一个线程在运行,而协程是只有一个任务在执行;
不同点:多线程是在I/O阻塞的时候通过切换线程来达到并发的效果,什么时候切换是由操作系统决定的,开发者不用操心,但会造成race condition;
协程是只有一个线程,在I/O阻塞时候通过在线程内切换任务来达到并发的效果,在什么时候切换是由开发者决定的,不会有race condition的情况。
不同于多线程,Asyncio是单线程,但其内部event loop的训话机制,可以让他并发的运行多个不同的任务,并且比多线程享有更多的自主控制权。
Asyncio中的任务,在运行的过程中不会被打断,因此不会出现race condition的情况。尤其是咋I/O操作比较密集的时候 ,Asyncio的运行效率会更高,远比线程切换的损耗要小。并且Asyncio可以开启的任务数量也比多线程中的线程数量多。
但是要注意的是,很多情况下使用Asyncio需要特定的三方库的支持,,而如果I/O操作比较快并且不heavy,使用多线程也能有效的解决问题。
思考题
我们已经讲了两种并发编程的思路,也多次提到了并行编程(multi-processing),其适用于CPU heavy的场景,
现在的需求是输入一个列表,随便指定一个元素,求出从0到这个元素所有整数的平方和。下面是常规写法,如果有多进程版本,又要怎么写呢?
import time def cpu_bound(number): print(sum(i*i for i in range(number))) def calculate_sum(numbers): for number in numbers: cpu_bound(number) def main(): start_time = time.perf_counter() numbers = [10000000 + x for x in range(20)] calculate_sum(numbers) end_time = time.perf_counter() print('Calculation takds {} seconds'.format(end_time-start_time)) if __name__ == '__main__': main()
运行结果(只贴出来运行的总时长)
Calculation takds 20.637497200000002 seconds
在来看看这种方法
import time import multiprocessing def cpu_bound(number): return sum(i*i for i in range(number)) def find_sums(numbers): with multiprocessing.Pool() as pool: pool.map(cpu_bound,numbers) if __name__ == '__main__': start_time = time.perf_counter() numbers = [10000000 + x for x in range(20)] find_sums(numbers) end_time = time.perf_counter() print('Calculation takds {} seconds'.format(end_time-start_time))
然后来看看最终的运行时间
Calculation takds 7.3418618 seconds
因为这里需要用大量的计算,所以使用的是多进程的方式来提高了程序的效率。