今天正好跟ownwaterloo聊到协程，于是查了查资料，顺便写个博客记录一下吧。
我主要参考的是这篇资料http://www.chiark.greenend.org.uk/~sgtatham/coroutines.html，是Simon Tatham提出的一个协程的C实现，非常有意思。
协程的思想主要是为了解决多个任务如何分享CPU这个问题的。线程在很多协作问题上处理的不好，而且需要锁机制，导致运行缓慢，不易理解，容易出错。协程的思想是，一系列互相依赖的协程间依次使用CPU，每次只有一个协程工作，而其他协程处于休眠状态。与线程不同，协程是自己主动让出CPU，并交付他期望的下一个协程运行，而不是在任何时候都有可能被系统调度打断。因此协程的使用更加清晰易懂，并且多数情况下不需要锁机制（或者说他本身就是一个全局锁）。
Simon的举例是一个生产者消费者例子。传统的程序可能是生产者一个循环不断产生字符，之后退出。而消费者一个循环不断读取字符，并处理之。使用时或许会用一个管道，将生产者的输出重定向到消费者的输入。从而使两者协作。
Simon提出，如何使这样的简单任务无需通过管道这类操作系统相关的重型机制，就能完成。他提出，生产者或者消费者之间，有一方需要改变自己的工作模式。不再是在循环中不断处理任务，而是一次只处理一个字符然后立刻返回。而另一方依旧保持原状，只需在原本输出到或读取自标准IO的地方修改为调用对方的那个函数就可以了。
但这种写法难以维护。他提出了协程的概念，并期待写出类似这样的代码：
int function(void) {
int i;
for (i = 0; i < 10; i++)
return i; /* won't work, but wouldn't it be nice */
}在这里return语句并不是终止函数，而是将函数转入睡眠的状态，并将CPU交付给另一个函数执行。例如生产者写入一个字符后，调用类似的return语句，交付消费者处理这个字符。稍后当消费者处理完并调用return语句后，能重新激活生产者协程，并继续这个for循环。
如何在C语言中实现这样的功能而不需使用汇编代码去hack堆栈和寄存器呢？他给出的最初的实现是使用goto语句。
int function(void) {
static int i, state = 0;
switch (state) {
case 0: goto LABEL0;
case 1: goto LABEL1;
}
LABEL0: /* start of function */
for (i = 0; i < 10; i++) {
state = 1; /* so we will come back to LABEL1 */
return i;
LABEL1:; /* resume control straight after the return */
}
}巧妙的使用静态变量存储函数状态，并使用goto语句来继续for循环。但这种写法不够优美，于是又引入了Duff’s device。
switch (count % 8) {
case 0: do { *to = *from++;
case 7: *to = *from++;
case 6: *to = *from++;
case 5: *to = *from++;
case 4: *to = *from++;
case 3: *to = *from++;
case 2: *to = *from++;
case 1: *to = *from++;
} while ((count -= 8) > 0);
}使用这种trick来将switch-case语句作为循环中的跳转。这就避免了goto-label语句需要同时维护goto和label两处代码的麻烦。于是前面的代码可以变成这个样子。
int function(void) {
static int i, state = 0;
switch (state) {
case 0: /* start of function */
for (i = 0; i < 10; i++) {
state = 1; /* so we will come back to "case 1" */
return i;
case 1:; /* resume control straight after the return */
}
}
}他的文章后面还有一些内容，例如如何使用宏包装这套机制。如何使用__LINE__宏避免state被赋予相同的数值。如何避免多线程调用下干扰静态变量等等。我这里就不赘述了，大家有兴趣可参考原文。
总之读此文的两个收获一个是认识协程，一个是学习到了一种诡谲的C语言用法。非常开心。
