chapter9_2 管道与过滤器

  一个关于协同程序的经典示例就是“生产者-消费者”的问题。

一个不断产生值,一个不断消费这些值。比如:

function producer()
    while true do
        local x = io.read()         --produce new value
        send(x)                        --send it to consumer
    end
end

function consumer()
    while true do
        local x = receive()        --receive value from producer
        io.write(x,"\n")            --consumer it
    end
end

如何将send和receive匹配起来,这是一个典型的“谁有主循环”的问题。由于两则都有一个主循环,并且都将对方视为一个可调用的服务。

协同程序被称为一种匹配生产者和消费者的理想工具,一对resume-yield完全一改典型的调用者与被调用者之间的关系。

当一个协同程序调用yield时,它不是进入一个新的函数,而是从一个resume调用中返回。

同样对于resume,也不是启动一个新函数,而是从一次yield调用中返回。

两者都认为自己是主动方,对方是被动。

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()        --产生新值
            send(x)
        end
    end)

在这种设计中,程序通过调用消费者来启动,当消费者需要一个新值时,唤醒生产者。

生产者返回一个新值后停止运行,并等待消费者的再次唤醒。这种设计称为“消费者驱动(consumer-driven)”。

还有一种就是使用“生产者驱动”设计,消费者是一个协同程序。

过滤器

  过滤器是一种位于生产者和消费者之间的处理功能,可用于对数据的一些变换。

过滤器既是一个消费者又是一个生产者,它唤醒一个生产者促使其产生新值,又将变换后的值传递给消费者。

例如,在上面的代码中添加一个过滤器,在每行起始处插一个行号:

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()        --产生一个新值
            send(x)
        end
    end)
end

function filter(prod)
    return coroutine.create(function ()
        for line = 1,math.huge do
            local x = receive(prod)    --获得一个新值
            x = string.format("%5d %s",line,x)
            send(x)                    -- send it to consumer
        end
     end)
end

function consumer(prod)
    while true do
        local x = receive(prod)     --获得一个新值
        io.write(x,"\n")            --消费一个新值
    end
end

接下来运行代码,然后启动消费者:

p = producer ()
f = filter(p)
consumer(f)

--或者更简单
consumer(filter(producer()))

在pipe中每个任务都在各自独立的进程中运行,而在协同程序中每项任务都在各自独立的协同程序中运行。

pipe在消费者与生产者之间提供一个缓冲器,因此它们的运行速度允许存在一定差异。但是,在pipe中进程间切换代价很高。

而在协同程序中,切换代价小得多(差不多等于函数调用)。

 

posted @ 2016-08-30 11:40  daiker  阅读(144)  评论(0编辑  收藏  举报