Boost中的协程—Boost.Asio中的coroutine类

Boost.Asio中有两处涉及协程，本文介绍其中的coroutine类。

Boost.Asio中的stackless协程是由coroutine类和一些宏来实现的。coroutine类非常简单，包括四个函数，一个int类型变量，用来保存当前函数的运行状态，与之配合使用的宏中，因采用switch来实现，所以可以根据这个整型变量的值实现跳转。

Boost.Asio定义了一些宏，构成所谓的“伪关键字”

reenter

reenter用来定义协程内容，用法如下：

reenter (coroutine变量)   

{

  ... coroutine body ...

}

上面代码块如在成员函数内，coroutine变量用this，否则是变量名，最好别在body中定义变量，否则有麻烦（reenter的实现是用switch来做的）。

yield

yield的用法大致如下：

yield … 或 yield {  …  }

yield return

yield后加return，则reenter块后的代码不执行了。

yield;

本次进入reenter块什么都不做，但计数会增加

yield break

终止，再也不会进入reenter块

fork

fork用于“复制”协程，类似于unix的fork，程序先执行fork的代码，完毕后，再接着运行fork下一行代码。

 

boost::asio::coroutine c;	
boost::asio::coroutine c2;	
void forkit(int i)
{
	reenter(c2) 
	{
		yield std::cout<<"forkit1 "<< i<

程序运行示意图

通讯过程中stackless协程的用法示例（Boost.asio文档中示例）

struct session : boost::asio::coroutine
{
  boost::shared_ptr socket_;
  boost::shared_ptr > buffer_;

  session(boost::shared_ptr socket)
    : socket_(socket), buffer_(new std::vector(1024))
  {
  }

  void operator()(boost::system::error_code ec = boost::system::error_code(), std::size_t n = 0)
  {
    if (!ec) reenter (this)
    {
      for (;;)
      {
        yield socket_->async_read_some(boost::asio::buffer(*buffer_), *this);
        yield boost::asio::async_write(*socket_, boost::asio::buffer(*buffer_, n), *this);
      }
    }
  }
};

需要说明的是，reenter中采用for循环后，运行顺序就变成了第一个yield，第二个yield，第一个yield…