第9章协同程序
协同程序（coroutine)与多线程情况下的线程比较类似:有自己的堆栈，自己的局部变量，有自己的指令指针，但是和其他协同程序共享全局变量等很多信息。线程和协同程序的主要不同在于:在多处理器情况下，从概念上来讲多线程程序同时运行多个线 程;而协同程序是通过协作来完成，在任一指定时刻只有一个协同程序在运行，并且这个正在运行的协同程序只有在明确的被要求挂起的时候才会被挂起。
协同是非常强大的功能，但是用起来也很复杂。
9.1 协同的基础
Lua 通过 table 提供了所有的协同函数，create 函数创建一个新的协同程序，create 只有一个参数：协同程序将要运行的代码封装而成的函数，返回值为 thread 类型的值表 示创建了一个新的协同程序。通常情况下，create 的参数是一个匿名函数:
co = coroutine.create(function ()
print("hi")
end)
print(co) --> thread: 0x8071d98
协同有三个状态:挂起态、运行态、停止态。当我们创建一个协同程序时他开始的 状态为挂起态，也就是说我们创建协同程序的时候不会自动运行，可以使用 status函数 检查协同的状态:
print (coroutine.status(co)) --> suspended函数 coroutine.resume 可以使程序由挂起状态变为运行态:
coroutine.resume(co) --> hi
这个例子中，协同体仅仅打印出"hi"之后便进入终止状态:
print(coroutine.status(co)) --> dead
当目前为止，协同看起来只是一种复杂的调用函数的方式，真正的强大之处体现在
yield 函数，它可以将正在运行的代码挂起，看一个例子:
co =coroutine.create(function ()
for i=1,10 do
print("co", i)
coroutine.yield()
end
end)现在重新执行这个协同程序，程序将在第一个 yield 处被挂起:
coroutine.resume(co) --> co 1
print(coroutine.status(co)) --> suspended 返回并继续程序的执行直到再次遇到yield 或者程序结束。
|
|
coroutine.resume(co)-->co 2
coroutine.resume(co)-->co 3
...
coroutine.resume(co)-->co
10
coroutine.resume(co) --prints nothing
上面最后一次调用的时候，协同体己经结束，因此协同程序处于终止状态。如果我 们仍然企图激活他，resume 将返回 false和错误信息。
print(coroutine.resume(co))
--> false cannot resume deadcoroutine
注意:resume 运行在保护模式下，因此如果协同内部存在错误 Lua并不会抛出错误而 是将错误返回给 resume 函数。Lua中一对 resume-yield 可以相互交换数据。下面第一个例子 resume，没有相应的 yield，resume 把额外的参数传递给协同的主程序。
co = coroutine.create(function (a,b,c)
print("co", a,b,c)
end)
coroutine.resume(co, 1, 2, 3) --> co 1 2 3
第二个例子，resume 返回除了 true 以外的其他部分将作为参数传递给相应的 yield
co = coroutine.create(function (a,b)
coroutine.yield(a + b, a - b)
end)
print(coroutine.resume(co, 20, 10)) --> true 30 10
对称性，yield 返回的额外的参数也将会传递给resume。
co =coroutine.create (function ()
print("co",coroutine.yield())
end)
coroutine.resume(co)
coroutine.resume(co, 4, 5) --> co 4 5
最后一个例子，当协同代码结束时主函数返回的值都会传给相应的 resume:
co =coroutine.create(function ()
return 6, 7
end)
print(coroutine.resume(co)) --> true 6 7 我们很少在同一个协同程序中使用这几种特性，但每一种都有其用处。 现在己经了解了一些协同的内容，在我们继续学习以前，先要澄清两个概念:Lua
提供的这种协同我们称为不对称的协同，就是说挂起一个正在执行的协同的函数与使一
个被挂起的协同再次执行的函数是不同的，有些语言提供对称的协同，这种情况下，由执行到挂起之间状态转换的函数是相同的。
有人称不对称的协同为半协同，另一些人使用同样的术语表示真正的协同，严格意 义上的协同不论在什么地方只要它不是在其他的辅助代码内部的时候都可以并且只能使执行挂起，不论什么时候在其控制枝内都不会有不可决定的调用。(However, other people use the same term semi-coroutine to denote a restricted implementation of coroutines, where a coroutine can only suspend its execution when it is not inside any auxiliary function, that is,when it has no pending calls in its control stack.)。只有半协同程序的主体中才可以 yield， python 中的产生器(generator)就是这种类型的半协同的例子。
与对称的协同和不对称协同的区别不同的是，协同与产生器的区别更大。产生器相 对比较简单，他不能完成真正的协同所能完成的一些任务。我们熟练使用不对称的协同之后，可以利用不对称的协同实现比较优越的对称协同。
9.2 管道和过滤器
协同最有代表性的作用是用来描述生产者-消费者问题。我们假定有一个函数在不断 的生产值(比如从文件中读取)，另一个函数不断的消费这些值(比如写到另一文件中)， 这两个函数如下:
function producer ()
while true do
local x = io.read() -- produce newvalue
send(x) -- sendto consumer
end
end
function consumer ()
while true do
local x = receive() -- receive fromproducer
io.write(x,"\n") -- consumenew value
end
end
(例子中生产者和消费者都在不停的循环，修改一下使得没有数据的时候他们停下 来并不困难)，问题在于如何使得 receive 和 send 协同工作。只是一个典型的谁拥有住循 环的情况，生产者和消费者都处在活动状态，都有自己的主循环，都认为另一方是可调 用的服务。对于这种特殊的情况，可以改变一个函数的结构解除循环，使其作为被动的接受。然而这种改变在某些特定的实际情况下可能并不简单。
协同为解决这种问题提供了理想的方法，因为调用者与被调用者之间的 resume-yield关系会不断颠倒。当一个协同调用 yield 时并不会进入一个新的函数，取而代之的是返回一个未决的 resume 的调用。相似的，调用 resume时也不会开始一个新的函数而是返回yield 的调用。这种性质正是我们所需要的，与使得 send-receive 协同工作的方式是一致 的.receive 唤醒生产者生产新值，send 把产生的值送给消费者消费。
function receive ()
local status, value =coroutine.resume(producer)
return value
end
function send (x) coroutine.yield(x)
end
producer =coroutine.create( function ()
while true do
local x = io.read() -- produce newvalue
send(x)
end
end)
这种设计下，开始时调用消费者，当消费者需要值时他唤起生产者生产值，生产者生产值后停止直到消费者再次请求。我们称这种设计为消费者驱动的设计。
我们可以使用过滤器扩展这个涉及，过滤器指在生产者与消费者之间，可以对数据进行某些转换处理。过滤器在同一时间既是生产者又是消费者，他请求生产者生产值并 且转换格式后传给消费者，我们修改上面的代码加入过滤器(每一行前面加上行号)。完 整的代码如下:
function receive (prod)
local status, value =coroutine.resume(prod)
return value
end
function send (x)
coroutine.yield(x)
end
function producer ()
return coroutine.create(function ()
while true do
local x = io.read() -- produce newvalue
send(x)
end
end)
end
function filter (prod)
return coroutine.create(function ()
local line = 1
while true do
local x = receive(prod) -- get newvalue
x =string.format("%5d %s", line, x)
send(x) -- send it to consumer
line = line + 1
end
end)
end
function consumer (prod)
while true do
local x = receive(prod) -- get new value
io.write(x,"\n") -- consumenew value
end
end
可以调用:
p =producer( )
f = filter(p)
consumer(f)或者:
consumer(filter(producer()))看完上面这个例子你可能很自然的想到 UNIX 的管道，协同是一种非抢占式的多线 程。管道的方式下，每一个任务在独立的进程中运行，而协同方式下，每个任务运行在独立的协同代码中。管道在读(consumer)与写(producer)之间提供了一个缓冲，因此两者相关的的速度没有什么限制，在上下文管道中这是非常重要的，因为在进程间的切换代价是很高的。协同模式下，任务间的切换代价较小，与函数调用相当，因此读写可以很好的协同处理。
9.3 用作迭代器的协同
我们可以将循环的迭代器看作生产者-消费者模式的特殊的例子。迭代函数产生值给 循环体消费。所以可以使用协同来实现迭代器。协同的一个关键特征是它可以不断颠倒调用者与被调用者之间的关系，这样我们毫无顾虑的使用它实现一个迭代器，而不用保 存迭代函数返回的状态。
我们来完成一个打印一个数组元素的所有的排列来阐明这种应用。直接写这样一个 迭代函数来完成这个任务并不容易，但是写一个生成所有排列的递归函数并不难。思路是这样的:将数组中的每一个元素放到最后，依次递归生成所有剩余元素的排列。代码 如下:
function permgen (a, n)
if n == 0 then
printResult(a)
else
fori=1,n do
-- put i-thelement as thelast one
a[n], a[i] = a[i],a[n]
--generateall permutations of the other elements
permgen(a, n - 1)
-- restore i-thelement
a[n], a[i] = a[i],a[n]
end
end
end
function printResult (a)
fori,v in ipairs(a)do
io.write(v," ")
end
end
io.write("\n")
permgen ({1,2,3,4}, 4)有了上面的生成器后，下面我们将这个例子修改一下使其转换成一个迭代函数:
1. 第一步 printResult 改为 yield
function permgen (a, n)
if n == 0 then
coroutine.yield(a)
else
...
2. 第二步，我们定义一个迭代工厂，修改生成器在生成器内创建迭代函数，并使生 成器运行在一个协同程序内。迭代函数负责请求协同产生下一个可能的排列。
function perm (a)
local n = table.getn(a)
local co = coroutine.create(function() permgen(a,n) end) return function () -- iterator
local code, res =coroutine.resume(co)
return res
end
end
这样我们就可以使用 for 循环来打印出一个数组的所有排列情况了:
forp in perm{"a","b", "c"} do
printResult(p)
end
-->b c a
-->c b a
-->c a b
-->a c b
-->b a c
-->a b cperm 函数使用了 Lua 中常用的模式:将一个对协同的resume 的调用封装在一个函 数内部，这种方式在 Lua 非常常 见，所以 Lua专门为 此专门提供了一个函数 coroutine.wrap。与 create 相同的是，wrap 创建一个协同程序;不同的是 wrap 不返回协 同本身，而是返回一个函数，当这个函数被调用时将 resume协同。wrap 中 resume 协同 的时候不会返回错误代码作为第一个返回结果，一旦有错误发生，将抛出错误。我们可以使用 wrap 重写 perm:
functionperm (a)
localn = table.getn(a)
return coroutine.wrap(function() permgen(a, n) end)
end
一般情况下，coroutine.wrap比 coroutine.create 使用起来简单直观，前者更确切的提供了我们所需要的:一个可以 resume 协同的函数，然而缺少灵活性，没有办法知道wrap所创建的协同的状态，也没有办法检查错误的发生。
9.4 非抢占式多线程
如前面所见，Lua 中的协同是一协作的多线程，每一个协同等同于一个线程， yield-resume 可以实现在线程中切换。然而与真正的多线程不同的是，协同是非抢占式的。 当一个协同正在运行时，不能在外部终止他。只能通过显示的调用 yield 挂起他的执行。 对于某些应用来说这个不存在问题，但有些应用对此是不能忍受的。不存在抢占式调用 的程序是容易编写的。不需要考虑同步带来的 bugs，因为程序中的所有线程间的同步都 是显示的。你仅仅需要在协同代码超出临界区时调用 yield 即可。
对非抢占式多线程来说，不管什么时候只要有一个线程调用一个阻塞操作（blocking operation)，整个程序在阻塞操作完成之前都将停止。对大部分应用程序而言，只是无法 忍受的，这使得很多程序员离协同而去。下面我们将看到这个问题可以被有趣的解决。
看一个多线程的例子:我们想通过 http 协议从远程主机上下在一些文件。我们使用 Diego Nehab 开发的 LuaSocket 库来完成。我们先看下在一个文件的实现，大概步骤是打开一个到远程主机的连接，发送下载文件的请求，开始下载文件，下载完毕后关闭连接。
第一，加载 LuaSocket库
require "luasocket"
第二，定义远程主机和需要下载的文件名
host = "www.w3.org"
file = "/TR/REC-html32.html"
第三，打开一个 TCP 连接到远程主机的 80端口Chttp 服务的标准端口)
c =assert(socket.connect(host, 80))
上面这句返回一个连接对象，我们可以使用这个连接对象请求发送文件
c:send("GET" .. file .. "HTTP/1.0\r\n\r\n")receive 函数返回他送接收到的数据加上一个表示操作状态的字符串。当主机断开连 接时，我们退出循环。
第四，关闭连接
c:close()
现在我们知道了如何下载一个文件，下面我们来看看如何下载多个文件。一种方法 是我们在一个时刻只下载一个文件，这种顺序下载的方式必须等前一个文件下载完成后一个文件才能开始下载。实际上是，当我们发送一个请求之后有很多时间是在等待数据 的到达，也就是说大部分时间浪费在调用 receive 上。如果同时可以下载多个文件，效率 将会有很大提高。当一个连接没有数据到达时，可以从另一个连接读取数据。很显然，协同为这种同时下载提供了很方便的支持，我们为每一个下载任务创建一个线程，当一 个线程没有数据到达时，他将控制权交给一个分配器，由分配器唤起另外的线程读取数 据。
使用协同机制重写上面的代码，在一个函数内:
<pre name="code" class="plain">function download (host, file)
local c = assert(socket.connect(host, 80))
local count = 0 -- counts number ofbytes read
c:send("GET" .. file .. " HTTP/1.0\r\n\r\n")
while true do
locals, status =receive© count = count+ string.len(s)
if status == "closed" then break end
end
c:close()
print(file,count)
end
由于我们不关心文件的内容，上面的代码只是计算文件的大小而不是将文件内容输 出。C当有多个线程下载多个文件时，输出会混杂在一起)，在新的函数代码中，我们使用 receive 从远程连接接收数据，在顺序接收数据的方式下代码如下:
function receive (connection)
return connection:receive(2^10)
end
在同步接受数据的方式下，函数接收数据时不能被阻塞，而是在没有数据可取时
yield，代码如下:
function receive (connection)
connection:timeout(0) -- do notblock
local s, status = connection:receive(2^10)
if status == "timeout" then
coroutine.yield(connection)
end
returns, status
end
调用函数 timeout(0)使得对连接的任何操作都不会阻塞。当操作返回的状态为 timeout 时意味着操作未完成就返回了。在这种情况下，线程 yield。非 false 的数值作为 yield 的参数告诉分配器线程仍在执行它的任务。C后面我们将看到分配器需要 timeout连接的情况)，注意:即使在 timeout 模式下，连接依然返回他接受到直到 timeout 为止， 因此 receive 会一直返回 s给她的调用者。
下面的函数保证每一个下载运行在自己独立的线程内:
threads = {} --list of alllive threads
function get (host, file)
-- create coroutine
local co = coroutine.create(function()
download(host, file)
end)
-- insert it in thelist
table.insert(threads, co)
end
代码中 table 中为分配器保存了所有活动的线程。 分配器代码是很简单的，它是一个循环，逐个调用每一个线程。并且从线程列表中
移除己经完成任务的线程。当没有线程可以运行时退出循环。
<pre name="code" class="plain">function dispatcher ()
while true do
localn = table.getn(threads)
if n == 0 then break end -- no more threadsto run
fori=1,n do
local status, res =coroutine.resume(threads[i])
if not resthen -- thread finishedits task?
table.remove(threads, i)
break
end
end
end
end最后，在主程序中创建需要的线程调用分配器，例如:从 W3C 站点上下载 4 个文 件:
host = "www.w3c.org"
get(host, "/TR/html401/html40.txt")
get(host, "/TR/2002/REC-xhtml1-20020801/xhtml1.pdf") get(host,"/TR/REC-html32.html")
get(host,
"/TR/2000/REC-DOM-Level-2-Core-20001113/DOM2-Core.txt")
dispatcher() --main loop使用协同方式下，我的机器花了6s下载完这几个文件;顺序方式下用了 15s，大概 2 倍的时间。尽管效率提高了，但距离理想的实现还相差甚远，当至少有一个线程有数据可读取 的时候，这段代码可以很好的运行。否则，分配器将进入忙等待状态，从一个线程到另一个线程不停的循环判断是否有数据可获取。结果协同实现的代码比顺序读取将花费 30倍的 CPU 时间。
为了避免这种情况出现，我们可以使用 LuaSocket 库中的 select函数。当程序在一组 socket中不断的循环等待状态改变时，它可以使程序被阻塞。我们只需要修改分配器， 使用 select 函数修改后的代码如下:
function dispatcher ()
while true do
local n = table.getn(threads)
if n == 0 then break end -- no more threadsto run
local connections = {}
fori=1,n do
local status, res =coroutine.resume(threads[i])
if not resthen -- thread finishedits task?
table.remove(threads, i)
break
else -- timeout
table.insert(connections, res)
end
end
if table.getn(connections) == n then
socket.select(connections)
end
end
end
在内层的循环分配器收集连接表中 timeout 地连接，注意:receive 将连接传递给 yield， 因此 resume 返回他们。当所有的连接都 timeout 分配器调用 select 等待任一连接状态的 改变。最终的实现效率和上一个协同实现的方式相当，另外，他不会发生忙等待，比起顺序实现的方式消耗 CPU的时间仅仅多一点点。
2350
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
