20170220-coroutine

协程 coroutine

最近频繁的听说到 “协程” 这个词，花了一段时间肤浅的研究了一下。对于 “它是一个什么东西” 有了一个大概的了解。

from wiki
Coroutines are computer program components that generalize subroutines for non-preemptive multitasking, by allowing multiple entry points for suspending and resuming execution at certain locations. Coroutines are well-suited for implementing more familiar program components such as cooperative tasks, exceptions, event loop, iterators, infinite lists and pipes.

协程是一种为了实现非抢占式多任务的程序组件，它会有多个进入点，在这些进入点可以挂起休眠和恢复执行。协程非常适合用来实现我们常见的一些程序组件，例如协作式任务、异常、事件循环、迭代器、无限列表和管道。

在我的理解中，协程本质上是一些程序的执行序列，它允许开发者使用它实现多任务协作完成某件事情。只是，与使用线程不同的是，在使用线程完成多任务开发时，会有多个线程分享 大专栏  20170220-coroutinecpu时间、在线程切换的时候会有上下文相关的操作，而且，在线程之间需要加锁来处理线程的竞态问题。
反观协程，自始至终只有一个协程存在，就算有其他协程也是出于休眠状态。协程在执行完一部分程序之后，可以切换到另外一个协程执行程序，而这个切换非常的轻量级。协程只能主动放弃执行把执行权给指定的协程，而不能被抢占，因此它是一个非抢占式的。这样意味着，有别于线程的是，协程的执行顺序是完全已知的并且可控的。

线程是操作系统的一个概念，而协程是基于程序语言实现的特性，因此是用户态的。因此，实际上，协程是一种用户态的线程，相当于你在现有程序语言的基础上，自己开发一套，实现程序的调度。

前面也说到，既然是切换，程序执行的状态需要记录下来，协程在实现的时候需要一块特殊的内存地址范围存放信息，c语言中有类似的机制setjump／longjump和ucontext。太过于底层，可以在参考文献中查看。

以上仅仅是我自己的理解