文章目录
- 2.11 – Coroutines
2.11 – Coroutines
Lua supports coroutines, also called collaborative multithreading. A coroutine in Lua represents an independent thread of execution. Unlike threads in multithread systems, however, a coroutine only suspends its execution by explicitly calling a yield function.
You create a coroutine with a call to coroutine.create. Its sole argument is a function that is the main function of the coroutine. The create function only creates a new coroutine and returns a handle to it (an object of type thread); it does not start the coroutine execution.
When you first call coroutine.resume, passing as its first argument a thread returned by coroutine.create, the coroutine starts its execution, at the first line of its main function. Extra arguments passed to coroutine.resume are passed on to the coroutine main function. After the coroutine starts running, it runs until it terminates or yields.
A coroutine can terminate its execution in two ways: normally, when its main function returns (explicitly or implicitly, after the last instruction); and abnormally, if there is an unprotected error.
In the first case, coroutine.resume returns true, plus any values returned by the coroutine main function. In case of errors, coroutine.resume returns false plus an error message.
A coroutine yields by calling coroutine.yield. When a coroutine yields, the corresponding coroutine.resume returns immediately, even if the yield happens inside nested function calls (that is, not in the main function, but in a function directly or indirectly called by the main function).
In the case of a yield, coroutine.resume also returns true, plus any values passed to coroutine.yield. The next time you resume the same coroutine, it continues its execution from the point where it yielded, with the call to coroutine.yield returning any extra arguments passed to coroutine.resume.
Like coroutine.create, the coroutine.wrap function also creates a coroutine, but instead of returning the coroutine itself, it returns a function that, when called, resumes the coroutine. Any arguments passed to this function go as extra arguments to coroutine.resume. coroutine.wrap returns all the values returned by coroutine.resume, except the first one (the boolean error code). Unlike coroutine.resume, coroutine.wrap does not catch errors; any error is propagated to the caller.
As an example, consider the following code:
function foo (a)print("foo", a)return coroutine.yield(2*a)endco = coroutine.create(function (a,b)print("co-body", a, b)local r = foo(a+1)print("co-body", r)local r, s = coroutine.yield(a+b, a-b)print("co-body", r, s)return b, "end"end)print("main", coroutine.resume(co, 1, 10))print("main", coroutine.resume(co, "r"))print("main", coroutine.resume(co, "x", "y"))print("main", coroutine.resume(co, "x", "y"))
When you run it, it produces the following output:
co-body 1 10foo 2main true 4co-body rmain true 11 -9co-body x ymain true 10 endmain false cannot resume dead coroutine
补充：
例子：生产者和消费者
producer = coroutine.create(function ()while true dolocal x = io.read()send(x)endend
)function consumer ()while true dolocal x = receive()io.write(x, "\n")end
endfunction receive ()local status, value = coroutine.resume(producer)return value
endfunction send (x)coroutine.yield(x)
endconsumer()We can extend this design with filters, which are tasks that sit between the producer and the consumer doing some kind of transformation in the data. A filter is a consumer and a producer at the same time, so it resumes a producer to get new values and yields the transformed values to a consumer.
例子：管道和过滤器
function receive (prod)local status, value = coroutine.resume(prod)return value
endfunction send (x)coroutine.yield(x)
endfunction producer ()return coroutine.create(function ()while true dolocal x = io.read() -- produce new valuesend(x)endend)
endfunction filter (prod)return coroutine.create(function ()for line = 1, math.huge dolocal x = receive(prod) -- get new valuex = string.format("%5d %s", line, x)send(x) -- send it to consumerendend)
endfunction consumer (prod)while true dolocal x = receive(prod)io.write(x, "\n")end
endp = producer()
f = filter(p)
consumer(f)If you thought about Unix pipes after reading the previous example, you are not alone. After all, coroutines are a kind of (non-preemptive) multithreading. While with pipes each task runs in a separate process, with coroutines each task runs in a separate coroutine. Pipes provide a buffer between the writer (producer) and the reader (consumer) so there is some freedom in their relative
speeds. This is important in the context of pipes, because the cost of switching between processes is high. With coroutines, the cost of switching between tasks is much smaller (roughly the same as a function call), so the writer and the reader can run hand in hand.
补充：Iterators and the Generic for
7.1 Iterators and Closures
An iterator is any construction that allows you to iterate over the elements of a collection. In Lua, we typically represent iterators by functions: each time we call the function, it returns the “next” element from the collection.
Every iterator needs to keep some state between successive calls, so that it knows where it is and how to proceed from there. Closures provide an excellent mechanism for this task. Remember that a closure is a function that accesses one or more local variables from its enclosing environment. These variables keep their values across successive calls to the closure, allowing the closure to remember where it is along a traversal. Of course, to create a new closure we must also create its non-local variables. Therefore, a closure construction typically involves two functions: the closure itself and a factory, the function that creates the closure.
As an example, let us write a simple iterator for a list. Unlike ipairs, this iterator does not return the index of each element, only its value:
function values(t)local i = 0return function()i = i + 1; return t[i]end
end
In this example, values is the factory. Each time we call this factory, it creates a new closure (the iterator itself). This closure keeps its state in its external variables t and i. Each time we call the iterator, it returns a next value from the list t. After the last element the iterator returns nil, which signals the end of the iteration.
We can use this iterator in a while loop:
t = { 10, 20, 30 }
iter = values(t) -- creates the iterator
while true dolocal element = iter() -- calls the iteratorif element == nil then break endprint(element)
end
However, it is easier to use the generic for. After all, it was designed for this kind of iteration:
t = { 10, 20, 30 }
for element in values(t) doprint(element)
end
The generic for does all the bookkeeping for an iteration loop: it keeps the iterator function internally, so we do not need the iter variable; it calls the iterator on each new iteration; and it stops the loop when the iterator returns nil. (In the next section we will see that the generic for does even more than that.)
例子：Iterator to traverse all words from the input file
function allwords()local line = io.read() -- current linelocal pos = 1 -- current position in the linereturn function() -- iterator functionwhile line do -- repeat while there are lineslocal s, e = string.find(line, "%w+", pos)if s then -- found a word?pos = e + 1 -- next position is after this wordreturn string.sub(line, s, e) -- return the wordelseline = io.read() -- word not found; try next linepos = 1 -- restart from first positionendendreturn nil -- no more lines: end of traversalend
endfor word in allwords() doprint(word)
endA for statement like
for var_1, ···, var_n in explist do block endis equivalent to the code:
dolocal f, s, var = explistwhile true dolocal var_1, ···, var_n = f(s, var)var = var_1if var == nil then break endblockendendWe call the first variable var_1 in the list the control variable. Its value is never nil during the loop, because when it becomes nil the loop ends.
The first thing the for does is to evaluate the expressions after the in. These expressions should result in the three values kept by the for: the iterator function, the invariant state, and the initial value for the control variable. Like in a multiple assignment, only the last (or the only) element of the list【explist】 can result in more than one value; and the number of values is adjusted to three, extra values being discarded or nils added as needed.
(When we use simple iterators, the factory returns only the iterator function, so the invariant state and the control variable get nil.)
After this initialization step, the for calls the iterator function with two arguments: the invariant state and the control variable. (From the standpoint of the for construct, the invariant state has no meaning at all. The for only passes the state value from the initialization step to the calls to the iterator function.) Then the for assigns the values returned by the iterator function to the variables declared by its variable list. If the first value returned (the one assigned to the control variable) is nil, the loop terminates. Otherwise, the for executes its body and calls the iteration function again, repeating the process.
7.3 Stateless Iterators
As the name implies, a stateless iterator is an iterator that does not keep any state by itself. Therefore, we may use the same stateless iterator in multiple loops, avoiding the cost of creating new closures.
For each iteration, the for loop calls its iterator function with two arguments: the invariant state and the control variable. A stateless iterator generates the next element for the iteration using only these two values.
例子：ipairs 和 pairs 函数
local function iter(a, i)i = i + 1local v = a[i]if v thenreturn i, vend
endfunction ipairs(a)return iter, a, 0
endlocal a = {"a", "b", "c" ,"d"}
for i,v in ipairs(a) doprint(i, v)
end-- The call next(t,k), where k is a key of the table t, returns a next key in the
-- table, in an arbitrary order, plus the value associated with this key as a second
-- return value. The call next(t,nil) returns a first pair. When there are no more
-- pairs, next returns nil.
function pairs(t)return next, t, nil
endlocal t = {a = 1, b = 2, c = 3}
for k,v in pairs(t) doprint(k, v)
end7.4 Iterators with Complex State
Frequently, an iterator needs to keep more state than fits into a single invariant state and a control variable. The simplest solution is to use closures. An alternative solution is to pack all it needs into a table and use this table as the invariant state for the iteration. Using a table, an iterator can keep as much data as it needs along the loop. Moreover, it can change this data as it goes.
Although the state is always the same table (and therefore invariant), the table contents change along the loop. Because such iterators have all their data in the state, they typically ignore the second argument provided by the generic for (the iterator variable).
As an example of this technique, we will rewrite the iterator allwords, which traverses all the words from the current input file. This time, we will keep its state using a table with two fields: line and pos.
例子：重写 allwords 迭代器
local iterator -- to be defined later
function allwords()local state = { line = io.read(), pos = 1 }return iterator, state
endfunction iterator(state)while state.line do -- repeat while there are lines-- search for next wordlocal s, e = string.find(state.line, "%w+", state.pos)if s then -- found a word?-- update next position (after this word)state.pos = e + 1return string.sub(state.line, s, e)else -- word not foundstate.line = io.read() -- try next line...state.pos = 1 -- ... from first positionendendreturn nil -- no more lines: end loop
endfor word in allwords() doprint(word)
endWhenever possible, you should try to write stateless iterators, those that keep all their state in the for variables. With them, you do not create new objects when you start a loop. If you cannot fit your iteration into this model, then you should try closures. Besides being more elegant, typically a closure is more efficient than an iterator using tables is: first, it is cheaper to create a closure than a table; second, access to non-local variables is faster than access to table fields. Later we will see yet another way to write iterators, with coroutines. This is the most powerful solution, but a little more expensive.
补充：9.3 Coroutines as Iterators
We can see loop iterators as a particular example of the producer–consumer pattern: an iterator produces items to be consumed by the loop body. Therefore, it seems appropriate to use coroutines to write iterators. Indeed, coroutines provide a powerful tool for this task. Again, the key feature is their ability to turn upside-down the relationship between caller and callee. With this feature, we can write iterators without worrying about how to keep state between successive
calls to the iterator.
To illustrate this kind of use, let us write an iterator to traverse all permutations of a given array.
例子：生成排列
function printResult (a)for i = 1, #a doio.write(a[i], " ")endio.write("\n")
endfunction permgen (a, n)n = n or #a -- default for ’n’ is size of ’a’if n <= 1 then -- nothing to change?printResult(a)elsefor i=1,n do-- put i-th element as the last onea[n], a[i] = a[i], a[n]-- generate all permutations of the other elementspermgen(a, n - 1)-- restore i-th elementa[n], a[i] = a[i], a[n]endend
endpermgen ({1,2,3,4})
改写成协程的版本：
function printResult (a)for i = 1, #a doio.write(a[i], " ")endio.write("\n")
endfunction permgen (a, n)n = n or #a -- default for ’n’ is size of ’a’if n <= 1 then -- nothing to change?coroutine.yield(a)elsefor i=1,n do-- put i-th element as the last onea[n], a[i] = a[i], a[n]-- generate all permutations of the other elementspermgen(a, n - 1)-- restore i-th elementa[n], a[i] = a[i], a[n]endend
endfunction permutations (a)local co = coroutine.create(function () permgen(a) end)return function () -- iteratorlocal code, res = coroutine.resume(co)return resend
endfor p in permutations{"a", "b", "c"} doprintResult(p)
end
The permutations function uses a common pattern in Lua, which packs a call to resume with its corresponding coroutine inside a function. This pattern is so common that Lua provides a special function for it: coroutine.wrap. Like create, wrap creates a new coroutine. Unlike create, wrap does not return the coroutine itself; instead, it returns a function that, when called, resumes the
coroutine. Unlike the original resume, that function does not return an error code as its first result; instead, it raises the error in case of error. Using wrap, we can write permutations as follows:
function permutations(a)return coroutine.wrap(function() permgen(a) end)
end
Usually, coroutine.wrap is simpler to use than coroutine.create. It gives us exactly what we need from a coroutine: a function to resume it. However, it is also less flexible. There is no way to check the status of a coroutine created with wrap. Moreover, we cannot check for runtime errors.
例子：使用协程下载多个文件
local socket = require "socket"function receive(connection)connection:settimeout(0) -- do not blocklocal s, status, partial = connection:receive(2 ^ 10)if status == "timeout" thencoroutine.yield(connection)endreturn s or partial, status
endfunction download(host, file)local c = assert(socket.connect(host, 80))local count = 0 -- counts number of bytes readc:send("GET " .. file .. " HTTP/1.0\r\n\r\n")while true dolocal s, status, partial = receive(c)count = count + #(s or partial)if status == "closed" then break endendc:close()print(file, count)
endthreads = {} -- list of all live threads
function get(host, file)-- create coroutinelocal co = coroutine.create(function()download(host, file)end)-- insert it in the listtable.insert(threads, co)
endfunction dispatch()local i = 1local connections = {}while true doif threads[i] == nil then -- no more threads?if threads[1] == nil then break endi = 1 -- restart the loopconnections = {}endlocal status, res = coroutine.resume(threads[i])if not res then -- thread finished its task?table.remove(threads, i)else -- time outi = i + 1connections[#connections + 1] = resif #connections == #threads then -- all threads blocked?-- wait for any of these connections to change statussocket.select(connections)endendend
endhost = "www.w3.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")dispatch()
需要安装 luasocket 库
luarocks install luasocket
