boost::asio实例中的HTTP Server 4使用“stackless coroutines”实现,还从来没见过这种诡异又极其难读的代码,遂到网上八了一下,原来coroutines是一个古老的计算模式,中文翻译叫“协程”,在现代程序语言里面属于“非主流”,erlang语言就是采用的这种模式。
coroutine和subroutine的不同点在于coroutine可以很多个调用入口点,而subroutine只能有一个。当coroutine被第一次调用到的时候,它将从起始处开始执行,一旦遇到具有yield(类似subroutine中的return语句)语义的语句的时候,就是返回给另外一个coroutine或者调用者,而在接下来再次被调用的时候,就从yield语句下面的一条语句继续执行直到遇到新的yield语句或者coroutine的结束。
对于subroutine调用方式已根深蒂固的开发者说,上面的coroutine介绍肯定是非常抽象和空洞的,下面就通一个使用C++实现的一个coroutine程序来具体化这个概念:
05
int
switch_magic(
void
) {
06
static
int
i, state = 0;
09
for
(i = 0; i < 10; i++) {
20
cout << switch_magic() << endl;
21
cout << switch_magic() << endl;
22
cout << switch_magic() << endl;
23
cout << switch_magic() << endl;
24
cout << switch_magic() << endl;
25
cout << switch_magic() << endl;
26
cout << switch_magic() << endl;
27
cout << switch_magic() << endl;
28
cout << switch_magic() << endl;
29
cout << switch_magic() << endl;
30
cout << switch_magic() << endl;
运行输出:
0 1 2 3 4 5 6 7 8 9 -1
通过定义一些精巧的macro可以屏蔽coroutine的C实现细节,让代码更加简单、易读:
05
#define crBegin static int state=0; switch(state) { case 0:
07
#define crReturn(x) do { state=__LINE__; return x; \
08
case
__LINE__:; }
while
(0)
12
int
switch_magic(
void
) {
15
for
(i = 0; i < 10; i++)
23
cout << switch_magic() << endl;
24
cout << switch_magic() << endl;
25
cout << switch_magic() << endl;
26
cout << switch_magic() << endl;
27
cout << switch_magic() << endl;
28
cout << switch_magic() << endl;
29
cout << switch_magic() << endl;
30
cout << switch_magic() << endl;
31
cout << switch_magic() << endl;
32
cout << switch_magic() << endl;
33
cout << switch_magic() << endl;
参考资料:
说说一个新的老概念coroutine
Coroutine - Wiki
Coroutines in C
Coroutine实现有感