用专业词汇解释专业词汇,相当于没说,百度百科一惯如此。
再后来,因为工作圈子的问题,就没有再了解过协程相关的知识。在我之后写爬虫的这一年多时间里,我查看scrapy源码时试图查看twisted的源码,但感觉太难直接放弃。这可能是我最早的一次尝试查看异步代码。
到了2017年,听说了asyncio这个包。我认为我这个人有时候很不理性,总认为自己很屌能似的在对框架整体都没啥概念时就去查看别人写的源码,所以撞南墙也是我自己活该。asyncio貌似部分代码使用c实现,对于我这种半路出家的卢瑟遇到c相关的东西直接gg。所以再次放弃。
如果非要说我的协程启蒙教育是从什么时候开始的,我感觉应该是在我读了>这本书之后。里面有一章关于协程的讲解,随后还讲解了asyncio,受益匪浅。
当时让我明白了什么叫委派生成器,为什么一堆生成器套在一起就算是一个协程应用了。但是我始终存在这几个盲点,关于sleep以及真正的io阻塞是怎么实现的。对于io这一块我知道底层肯定是使用io多路复用。但是究竟是怎么借助一个事件循环让其跑起来的呢?我百撕不得骑姐。
之后,也就是前两天吧,我闲的蛋疼,不知道触到哪根筋了,突然想看tornado的源码。这个大名鼎鼎的web异步框架,据说是使用了协程实现。等等,为什么用“据说”二字?那是因为在此之前我的电脑从来没有运行过pip install tornado。作为一个爬虫专(cai)家(niao),我不否认我之前看过很多web框架的源码,什么django,bottle,flask,但是因为平时工作中我很少写web,所以看过就忘了。实践是检验真理的唯一标准,在web这方面,我最缺乏的就是实践。
没有使用tornado写过一行代码的我,一上手就直接开始看tonado源码。
下面先简单介绍一下tornado里面的协程实现。这一部分不想看的可以不看,直接跳到重点,tornado为了兼容多个python版本,实现起来可能比较复杂。
事件循环
tornado中的事件循环,本质上使用io多路复用实现。io多路复用的最主要作用就是为了唤醒事件循环。事件循环可以通过监听文件描述符来唤醒,所以tornado就自己创建一个管道。监听管道输出(read),并设置了超时时间,此时epoll会在超时时间内阻塞,如果有callback加入。则通过向管道写入任意字节唤醒,这样就相当于实现了一个可唤醒的阻塞。唤醒之后,会依次执行callback。同时执行timeouts中的callback,timeouts使用堆来保证时间最近的在最上面。
以一个简单的调用为例来说明
程序开始,定义了一个asyn_sum协程,在main函数中第一行调用了该协程
同时tornado.gen.coroutine中调用asyn_sum生成器,获取第一个yield值也就是future,并创建了一个runner对象
runner通过__init__调用了其方法handle_yield,并检查future的完成情况,很明显在第一个代码块中`tornado.ioloop.ioloop.instance().add_callback(callback, a, b)`刚被加入事件循环,此时事件循环还未启动,所以callback中的`future.set_result(a+b)`并未被调用,因此future并未done。
让我们把注意力移到`self.io_loop.add_future(self.future, inner)`这么代码中,这行代码将inner在future完成之后加入到了事件循环的callbacks中,由下面的代码可以的看出
future在开启事件循环后马上就会完成,因此,随后就会调用`self.add_callback(callback, future)`这段代码将inner加入事件循环,继而调用了self.run()
run会获取future的结果,同时发送结果给协程
相应的,结果就被赋值给了main中的`result = yield future`,继而结束了整个协程的调用。
future对象
future对象可以当成一次异步调用的代理人,异步调用在创建后,加入事件循环中。随着事件循环进行,异步调用被执行了,执行一结束,代理人马上获取结果,并置done=true,同时代理人会将异步调用后的全部回调函数执行,其中的一个回调函数就包括runner.run,其作用是将异步调用结果赋值给yield左边的变量,同时继续执行接下来的代码,直到下一个yield出现。
对嵌套协程的调用
首先要清楚子协程返回的也一个future对象,因为这个future还没有完成,返回对于yield左边的变量会阻塞住。当子协程完成时,通过raise return或者stopiteration的方式通过一个异常来将结果值传递出来,并为result_future也就是子协程的future进行set_result,子协程future完成后,父协程继续。
总结
对于`a = yield b`这种结构。b是一个future,那么a的最终结果值为future.result(),对于b,若是一个生成器,将其变成协程的方法只是实现了操控生成器在返回一个future对象的同时,将生成器中每次yield都变成异步执行。
设计思路
eventloop和torando的ioloop一样,使用io多路复用来阻塞循环,使用一个waker来唤醒eventloop,这点我是照抄的torando,不同之处在于eventloop中没有回调函数列表,而是拥有一个协程字典。
协程字典是由一堆协程对象作为key组成的。协程类继承于torando::future,本质上协程对象也是一个future对象,不过更进一步的是,他同时还是一个生成器代理。key对应的value为每次yield返回的值。
和当ioloop一样,eventloop开始事件循环后,每当有协程对象加入到事件循环中,都会被唤醒,执行循环,循环会处理监听到的文件描述符,调用其handler,处理timout对象。接下来处理的协程字典中的协程是ioloop所没有的操作。
处理协程的方法如下:
为什么要这么实现呢?
假设我们现在拥有一个简单的协程
demo0
以上代码大致会经过如下的操作:
创建一个协程对象
创建事件循环
将协程对象添加到协程字典中
开启事件循环
事件循环运行到process_coroutine,此时yielded在process_coroutine中由倒数第4行代码依次变成1, 2, 3(因为协程中的yield返回的不是future类型),并通过send方法赋值给了a, b, c。直到最后抛出stopiteration。并删除了该协程
运行结束result方法可以调用了返回return值
通过这个简单的协程我们大致了解了整个程序的运行流程。但这种协程并没有什么卵用,而且把一件简单的事情弄的非常复杂。接下来再更进一步介绍一个相对复杂的协程。
我们先看一个阻塞函数:
这个函数和tornado的sleep函数差不多,函数创建了一个future对象,并在eventloop中添加了一个timeout对象,timeout对象会在指定时间后后被事件循环调用其callback。在这里,被callback之后,future被set_result,也就是说future.done()变为了true(记住这一点,后面会用到,很重要)。
下面再写一个复杂一点的的协程
demo1
以上代码大致会经过如下的操作:
创建一个协程对象
创建事件循环
将协程对象添加到协程字典中
开启事件循环
事件循环运行到process_coroutine,sleep返回一个future对象,并且调用其done方法发现没有完成。于是跳出循环,回到事件循环。
事件循环会获取timeouts中所有timeout对象的最小延迟时长并做为超时时长挂起。这时候整个世界都停止了。
等超时之后,处理timeouts中timeout对象,发现sleep结束了,调用其callback,future对象这时被置为完成。
事件循环继续前进到达process_coroutine,此时调用future的done方法发现完成了。send future.result(),继而执行a + b。随后的情况和第一个例子无异了。
在这个例子中我们定义了一个sleep子协程,并学习到了如何实现阻塞。
再来看第三个更复杂的例子
demo2
刚才说了协程也是一个future,但协程本身还是一个生成器。所以当我们返回协程时,使用yield from 代替yield。
当使用yield from 时生成器和子生器之间就建立起了一个长长的管道,子生器生成的值可以直接返回,无论链接多少个生成器,就好像直接调用一个生成器一样。。
在这里coroutine2中调用了sum子协程。一但其结束,sum的值会被赋值给sum_result,coroutine2继续执行multi,直到结束。
写到现在,可能有同学会问了,如果是真正的io阻塞,怎么处理。比如socket。别急,下面马上给出第4个例子。
在此之前,我又实现了一个类似于sleep的阻塞函数
这个函数是专门用来处理socket读产生的阻塞的,创建一个future,并创建一个回调函数,添加到事件循环中,eventloop中有一组对象被称为handlers,是用来处理文件描述符的。这个和tornado的ioloop保持一致。通过add_handler可以添加。
在这里,socket被监听了read事件。
demo3
同时我开启一个server
这个例子和sleep差不多,不同之处在于sleep让事件循环停止了一段时间,而通过io多路复用则是在被监听的文件描述符发生读事件时激活了事件循环。之后的步骤和demo1一样。
下面还有最后一个例子,就是多个协程一起运行。
demo4