Ruby Coroutine

Ruby1.9提供了Fiber,提供了Coroutine的功能。
    Fibers作为实现轻量级合作并发的基础设施,和线程很像,提供了创建一个可以pause和resume的代码块,
但Fibers是非抢占式的,必须由程序而不是VM来调度。每一个fiber提供了4kB的栈空间可以允许fiber的
block进行深层嵌套函数调用。这是rdoc对Fiber的描述。

    Ruby的Fiber就是传说中Coroutine的实现,在lua中,coroutine被广泛使用。Ruby中coroutine的
强大功能,势必会被发扬光大。Ruby中的Fiber和lua中的coroutine基本类似,都是asymmetric coroutine,
都提供了new/create,resume和yield的操作。
看个rdoc的例子:
  fiber = Fiber.new do
    Fiber.yield 1
    2
  end

  puts fiber.resume #=>1
  puts fiber.resume #=>2
  puts fiber.resume #=>FiberError: dead fiber called

Fiber有三种状态:suspend、running、dead。Fiber被new之后处于suspend状态,当调用resume时开始运行(running),coruntine执行的block完毕或者出错时dead.
上面的例子,我们new一个fiber,这时fiber处于suspend,当我们调用resume的时候,开始执行,Fiber.yield
放弃当前的执行控制,将控制权交给resume的调用者。第二次调用fiber.resume时从Fiber.yeild 1返回,开始执行下一句代码,这时这个fiber执行完毕,所以第三次调用时fiber已经dead。

resume参数可以是任何个,第一次调用的时候作为block的参数,后面的调用作为yield的返回值。

fiber = Fiber.new do |first|
    second = Fiber.yield first + 2
end

puts fiber.resume 10 #12
puts fiber.resume 14 #14
puts fiber.resume 18 #FiberError: dead fiber called



通过上面我们已经熟悉了Coroutine,下面我们创建一个fib数列生成器的coroutine,小小练习一下:

fib = Fiber.new do  
   x, y = 0, 1 
   loop do  
    Fiber.yield y 
    x,y = y,x+y 
   end 
end 
20.times { puts fib.resume }


coroutinue最常用的场合就是合作并发的程序,producer和consumer是最典型的方式:
一个偶数生产者和消费者:
def even_producer #even number producer
    Fiber.new do
        value = 0
        loop do
            Fiber.yield value
            value += 2
        end
    end
end

def consumer(source)
    Fiber.new do
        10.times do
            next_val = source.resume
            puts next_val
        end
    end
end

consumer(even_producer).resume

在加点东东,加个过滤器,我只想要是3的倍数的偶数:
def multiple_of_three_filter(source)
    Fiber.new do
        loop do
            next_val = source.resume
            Fiber.yield next_val if next_val % 3 == 0
        end
    end
end
consumer(multiple_of_three_filter(even_producer)).resume

我们看到可以像Unix的管道一样将多个coroutine连结起来,我们甚至可以定义像Unix shell一样的
管道操作符 Pipelines Using Fibers in Ruby 1.9
even_producer | multiple_of_three_filter | consumer
class PipelineElement
    attr_accessor :source

    def initialize
        @fiber_delegate = Fiber.new do
            process
        end
    end

    def |(other)
        other.source = self
        other
    end

    def resume
        @fiber_delegate.resume
    end

    def process
        while value = input
            handle_value(value)
        end
    end

    def handle_value(value)
        output(value)
    end

    def input
        source.resume
    end

    def output(value)
        Fiber.yield(value)
    end
end

class EvenProducer < PipelineElement
    def process
        value = 0
        loop do
            output(value)
            value += 2
        end
    end
end

class MultipleOf < PipelineElement
    def initialize(factor)
        @factor = factor
        super()
    end

    def handle_value(value)
        output(value) if value % @factor == 0
    end
end

even_producer = EvenProducer.new
multiples_of_three_filter = MultipleOf.new(3)
multiples_of_seven_filter = MultipleOf.new(7)
pipeline = even_producer | multiples_of_three_filter | multiples_of_seven_filter

10.times do 
    puts pipeline.resume
end


使用shell的管道每次需要创建一个进程,而使用coroutine每次只需要创建一个轻量级的Fiber

关于asymmetric coroutine和symmetric coroutine
1)asymmetric coroutine:提供了两种控制转换操作:(re)invoking和suspending一个coroutine,suspending将控制流程返回给coroutine的调用者。这个过程和调用和被调用的routine类似(routine在现代语言中被实现为函数、方法、过程,又叫subroutine),所以这种方式非常容易被使用传统编程语言的程序员接受,这也是大多数语言实现asymmetric coroutine的原因之一,其他的原因:比如lua是和c/c++结合比较紧密的语言,如果实现symmetric coroutine则要求c/c++支持coroutine,这显然是不现实的,另外symmetric的也很容易用asymmetric描述。
2)symmetric coroutine:只提供了一种控制上述操作的操作。

你可能感兴趣的:(编程,c,unix,lua,Ruby)