同步编程即线性化编程,代码按照既定顺序执行,上一条语句执行完才会执行下一条,不然就一直等在那里。
可是许多实际操做都是CPU 密集型任务和 IO 密集型任务,好比网络请求,此时不能让这些任务阻塞主线程的工做,因而就会采用异步编程。html
异步的标准元素就是回调函数(Callback, 后来衍生出Promise/Deferred概念),主线程发起一个异步任务,让其本身到一边去工做,当其完成后,会经过执行预先指定的回调函数完成后续任务,而后返回主线程。在异步任务执行过程当中,主线程无需等待和阻塞,能够继续处理其余任务。python
下例你们并不陌生,是jQuery标准发送http异步请求的方式。程序员
1 |
$.ajax({ |
而并发的核心思想在于,大的任务能够分解成一系列的子任务,后者能够被调度成 同时执行或异步执行,而不是一次一个地或者同步地执行。两个子任务之间的 切换也就是上下文切换。ajax
当主线程发起异步任务,这个任务跑到哪里去工做了呢?这就说到多线程(包括多进程)编程,一个主线程能够主动建立多个子线程,而后将任务交给子线程,每一个子线程拥有本身的堆栈空间。操做系统能够经过分时的方式让同一个CPU轮流调度各个线程,编程人员无需关心操做系统是如何工做的。编程
可是若是须要在多个线程之间通讯,则须要编程人员本身写代码来控制线程之间的协做(利用锁或信号量)以及通讯(利用管道、队列等)。json
这个问题说的是有两方进行通讯和协做,一方只负责生产内容,另外一方只负责消费内容。消费者并不知道,也无需知道生产者什么时候生产,只是当有内容生产出来负责消费便可,没有内容时就等待。这是一个经典的异步问题。网络
传统的解决方案便是采用多线程来实现,生产者和消费者分别处于不一样的线程或进程中,由操做系统进行调度。来看一篇经典的多线程教程中的例子,是否是很像Java风格?—啰嗦。多线程
1 |
import threading |
基于多线程方案,这个问题已经演变成消息中介模式(有些公司喜欢称之为”邮局”),有各类的商业MQ方案能够直接使用。并发
这里以RabbitMQ开源方案为例,Producer一方向名为队列中发送”Hello World!”内容,而Consumer一方则监听队列,当有内容进入队列时,就执行callback函数来收取并处理内容。发送与收取的动做是异步执行的,互不干扰。app
1 |
###### Producer ######## |
1 |
####### Consumer ######## |
python采用了GIL(Global Interpretor Lock,全局解释器锁),默认全部任务都是在同一进程中执行的。(固然,能够借助多进程多线程来实现并行化。)咱们调用一个普通的Python函数时,通常是从函数的第一行代码开始执行,结束于return语句、异常或者函数结束(能够看做隐式的返回None)。一旦函数将控制权交还给调用者,就意味着所有结束。函数中作的全部工做以及保存在局部变量中的数据都将丢失。再次调用这个函数时,一切都将从头建立。
所谓协程(Coroutine)就是在同一进程/线程中,利用生成器(generator)来”同时”执行多个函数(routine)。
Python的中yield关键字与Coroutine说的是一件事情,先看看yield的基本用法。
任何包含yield
关键字的函数都会自动成为生成器(generator)对象,里面的代码通常是一个有限或无限循环结构,每当第一次调用该函数时,会执行到yield代码为止并返回本次迭代结果,yield指令起到的是return关键字的做用。而后函数的堆栈会自动冻结(freeze)在这一行。当函数调用者的下一次利用next()或generator.send()或for-in来再次调用该函数时,就会从yield代码的下一行开始,继续执行,再返回下一次迭代结果。经过这种方式,迭代器能够实现无限序列和惰性求值。
看一个用生成器来计算100之内斐波那契数列的例子。咱们先用普通递归方式来进行计算。
1 |
a = b = 1 |
再来用yield和生成器来计算斐波那契数列,该函数造成一个无限循环的生成器,由函数调用者显式地控制迭代次数。
1 |
def fibonacci(): |
总而言之,生成器(以及yield语句)最初的引入是为了让程序员能够更简单的编写用来产生值的序列的代码。 之前,要实现相似随机数生成器的东西,须要实现一个类或者一个模块,在生成数据的同时保持对每次调用之间状态的跟踪。引入生成器以后,这变得很是简单。
咱们如今利用yield关键字会自动冻结函数堆栈的特性,想象一下,假如如今有两个函数f1()和f2(),各自包含yield语句,见下例。主线程先启动f1(), 当f1()执行到yield的时候,暂时返回。这时主线程能够将执行权交给f2(),执行到f2()的yield后,能够再将执行权交给f1(),从而实现了在同一线程中交错执行f1()和f2()。f1()与f2()就是协同执行的程序,故名协程。
咱们尝试用yield创建协程,来解决Producer-Consumer问题。
1 |
# -*- coding: utf-8 -*- |
下图将控制流形象化,以说明上下文切换如何发生。
在任什么时候刻,只有一个协程在运行。
看一下Python官方的例子,利用一个@gen.coroutine
装饰器来简化代码编写,本来调用-回调两段逻辑,如今被放在了一块儿,yield充当了回调的入口。这就是异步编程同步化!
原始的回调编程模式:
1 |
class AsyncHandler(RequestHandler): |
同步化编程后的结果:
1 |
class GenAsyncHandler(RequestHandler): |
关于这个装饰器的实现方式,能够参见http://my.oschina.net/u/877348/blog/184058
看了上述代码,你是否是以为利用协程就能够将并发编程所有同步化了?错!
仔细想一想,即便用了协程,同一时间仍然只能有一段代码获得执行,此时若是有同步的I/O任务,则仍会存在阻塞想象。除非…除非将I/O任务自动并发掉,才有可能真正利用协程来将大量异步并发任务同步化!注意这里的http_client是异步网络库,非同步阻塞库。通常是须要回调,但利用协程对get()函数同步化之后,当执行到yield时,至关于发出了多个网络请求,而后挂起这个get()函数,其余协程将获得调度。当异步网络请求都已返回且协程调度有空闲时,会调用get.send(),继续这个协程,以同步化编程的方式继续完成原先放在回调函数中的逻辑。上例中网络请求若是采用普通的urllib.urlopen()就不行了。
慢着,若是urllib.urlopen()可以异步执行,那不就好了?
这就是Greenlet库所作的,它是以C扩展模块形式接入Python的轻量级协程,将一些本来同步运行的网络库以mockey_patch的方式进行了重写。Greenlets所有运行在主程序操做系统进程的内部,但它们被协做式地调度。
而Gevent库则是基于Greenlet,实现了协程调度功能。将多个函数spawn为协程,而后join到一块儿,如此简单!
看一个Gevent的官方例子:
1 |
import gevent.monkey |
实现异步编程同步化还有一个方法,就是利用的map()函数。这个函数咱们并不陌生,它能够在一个序列上实现某个函数之间的映射。
1 |
results = map(urllib2.urlopen, ['http://www.yahoo.com', 'http://www.reddit.com']) |
上述代码对会依次访问每一个url,不过由于只有一个进程,后一个urlopen仍然须要等待前一个urlopen完成后才会进行,仍然是一种串行的方式。可是,只要借助正确的库,map()也能够轻松实现并行化操做,那就是multiprocessing
库。
这个库以及其不为人知的子库multiprocessing.dummy
,一个用于多进程,一个用于多线程。后者提供改良的map()函数,能够自动将多个异步任务,分配到多个线程上,编程人员无需关注,也就天然地把异步编程转为了同步编程的风格。IO 密集型任务选择multiprocessing.dummy,CPU 密集型任务选择multiprocessing。
前述那个教科书式的例子,能够改写为
1 |
import urllib2 |
关于map()
函数和yield
关键字的解释,请参考 @申导 的另外一篇文章《Python函数式编程》