什么是协程

什么是协程

协程（coroutine）又叫做用户空间线程，强调「用户空间的」原因在于，协程的实现方式是在用户空间里模拟上下文切换和调度，来避免进入内核态。它区别于进程和线程的主要特点是，协程的调度，切换和具体实现都是用户可定义的，不需要进入内核态，最大化的降低内核级别的调度和上下文切换。

有栈协程和无栈协程

根据协程是否有栈空间，可以分为有栈协程和无栈协程两种方式

• 有栈协程

  • 有栈协程比较好理解，就是说每个协程是有自己独立的栈空间的

  • 在切换时，通过修改esp和ebp两个寄存器的地址，来进行栈帧的切换

  • 实现例如goroutine，libco

• 无栈协程
  • 程序的执行必然是依赖栈空间的，没有栈空间怎么能行？
  • 无栈协程其实是共用一个栈空间每个协程没有自己独立的栈。需要代码生成或用户指定的方式保存所有需要的变量，而且需要开发者主动进行切换
  • 实现例如python asyncio，boost.asio

切换代价分析

• 通过系统调用进入/退出内核态
• 调度算法的维护和计算代价 => 用户自行进行调度优先级的维护（replace）
• 内存空间切换的代价
• 协程上下文切换