Lua 协同程序(coroutine)与线程比较类似:拥有独立的堆栈,独立的局部变量,独立的指令指针,同时又与其它协同程序共享全局变量和其它大部分东西。
协同是非常强大的功能,但是用起来也很复杂。
线程与协同程序的主要区别在于,一个具有多个线程的程序可以同时运行几个线程,而协同程序却需要彼此协作的运行。
在任一指定时刻只有一个协同程序在运行,并且这个正在运行的协同程序只有在明确的被要求挂起的时候才会被挂起。
协同程序有点类似同步的多线程,在等待同一个线程锁的几个线程有点类似协同。
方法 | 描述 |
---|---|
coroutine.create() |
创建coroutine,返回coroutine, 参数是一个函数,当和resume配合使用的时候就唤醒函数调用 注:当新创建一个协同程序时,它处于挂起状态,言外之意就是,协同程序不会在创建它时自动执行其内容,我们可以通过函数status来检查协同程序的状态。 |
coroutine.resume() |
重启coroutine,和create配合使用,其用于启动或再次启动一个协同程序的执行,并将其状态由挂起改为运行 |
coroutine.yield() |
挂起coroutine,将coroutine设置为挂起状态,这个和resume配合使用能有很多有用的效果 |
coroutine.status() |
查看coroutine的状态 注:coroutine的状态有三种:dead,suspend,running,具体什么时候有这样的状态请参考下面的程序 |
coroutine.wrap() |
创建coroutine,返回一个函数,一旦你调用这个函数,就进入coroutine,和create功能重复 |
coroutine.running() |
返回正在跑的coroutine,一个coroutine就是一个线程,当使用running的时候,就是返回一个corouting的线程号 |
co = coroutine.create(
function(i)
print(i);
end
)
print(coroutine.status(co))
coroutine.resume(co, 1) -- 1
print(coroutine.status(co)) -- dead
print("----------")
co = coroutine.wrap(
function(i)
print(i);
end
)
co(1)
print("----------")
co2 = coroutine.create(
function()
for i=1,10 do
print(i)
if i == 3 then
print(coroutine.status(co2)) --running
print(coroutine.running()) --thread:XXXXXX
end
coroutine.yield()
end
end
)
coroutine.resume(co2) --1
coroutine.resume(co2) --2
coroutine.resume(co2) --3
print(coroutine.status(co2)) -- suspended
print(coroutine.running())
print("----------")
以上实例执行输出结果为:
coroutine.running就可以看出来,coroutine在底层实现就是一个线程。
当create一个coroutine的时候就是在新线程中注册了一个事件。
当使用resume触发事件的时候,create的coroutine函数就被执行了,当遇到yield的时候就代表挂起当前线程,等候再次resume触发事件。
接下来我们分析一个更详细的实例:
function foo (a)
print("foo 函数输出", a)
return coroutine.yield(2 * a) -- 返回 2*a 的值
end
co = coroutine.create(function (a , b)
print("aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa")
print("第一次协同程序执行输出", a, b) -- co-body 1 10
print("bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb")
local r = foo(a + 1)
print("ccccccccccccccccccccccccccccccccccc")
print("第二次协同程序执行输出", r)
print("ddddddddddddddddddddddddddddddddddd")
local r, s = coroutine.yield(a + b, a - b) -- a,b的值为第一次调用协同程序时传入
print("eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee")
print("第三次协同程序执行输出", r, s)
print("fffffffffffffffffffffffffffffffffff")
return b, "结束协同程序" -- b的值为第二次调用协同程序时传入
end)
print("11111111111111111111111111111111111")
local ret1, value = coroutine.resume(co, 1, 10)
print("ret1 = ", ret1, "value = ", value) -- true, 4
print("11111111111111111111111111111111111")
print("--分割线----")
print("22222222222222222222222222222222222")
print("main", coroutine.resume(co, "xxx")) -- true 11 -9
print("22222222222222222222222222222222222")
print("---分割线---")
print("33333333333333333333333333333333333")
print("main", coroutine.resume(co, "x", "y")) -- true 10 end
print("33333333333333333333333333333333333")
print("---分割线---")
print("44444444444444444444444444444444444")
print("main", coroutine.resume(co, "x", "y")) -- cannot resume dead coroutine
print("44444444444444444444444444444444444")
print("---分割线---")
以上实例大致过程如下:
1,调用resume,将协同程序唤醒,resume操作成功返回true,否则返回false;
协同程序运行;
2,运行到yield语句;
3,yield挂起协同程序,第一次resume返回;(注意:此处yield返回,参数是resume的参数)
4,第二次resume,再次唤醒协同程序;(注意:此处resume的参数中,除了第一个参数,剩下的参数将作为yield的参数)
5,yield返回;
6,协同程序继续运行;
7,如果使用的协同程序继续运行完成后继续调用 resume方法则输出:cannot resume dead coroutine
resume和yield的配合强大之处在于,resume处于主程中,它将外部状态(数据)传入到协同程序内部;而yield则将内部的状态(数据)返回到主程中。
现在我就使用Lua的协同程序来完成生产者-消费者这一经典问题。
local function Sleep(n)
local t0 = os.clock()
while os.clock() - t0 <= n do end
end
local newProductor
function productor()
local i = 0
while true do
i = i + 1
Sleep(1)
send(i) -- 将生产的物品发送给消费者
end
end
function consumer()
while true do
local i = receive() -- 从生产者那里得到物品
print(i)
end
end
function receive()
local status, value = coroutine.resume(newProductor)
print("status = ", status, "value = ", value)
return value
end
function send(x)
coroutine.yield(x) -- x表示需要发送的值,值返回以后,就挂起该协同程序
end
-- 启动程序
newProductor = coroutine.create(productor)
consumer()