云风协程库代码分析

一、什么是协程

协程，英文叫做 Coroutine，又称微线程、纤程，协程是一种用户态的轻量级线程。简单地说，协程就是在用户态对线程的模拟，我们都知道线程的调度是由操作系统内核完成的，而协程的调度是由用户代码完成的。
相比线程，协程有如下优势

• 协程切换在用户态完成，不需要进入内核态，没有线程切换的开销，效率更高
• 多个协程是在同一个线程中运行的，不存在多线程环境下的写变量冲突，因此不需要多线程的锁机制，执行效率高

当然，有优点就有缺点

• 多个协程在同一个线程中运行，如果不结合多线程就无法充分利用多核处理器的性能

二、云风协程库实现

2.1 基本功能

一个协程库需要对用户提供的最基本的三个功能是

• coroutine_new，创建一个协程
• coroutine_resume，唤醒一个协程
• coroutine_yield，挂起一个协程

我们都知道，操作系统内核在切换线程时，需要保存以及切换线程的上下文。同样，协程库在切换协程时，也需要保存以及切换协程的上下文。
切换上下文，听起来很麻烦，好在ucontext.h头文件提供了对上下文进行操作的函数，使得我们不必通过汇编代码来操作上下文。

2.2 ucontext

云风的协程库用到了ucontext中的以下四个函数

• 保存当前运行程序的上下文到ucp

#include <ucontext.h>
int getcontext(ucontext_t* ucp);

typedef struct ucontext {
   
	struct ucontext* uc_link;
	sigset_t uc_sigmask;
	stack_t uc_stack;
	mcontext_t uc_mcontext;
	...
} ucontext_t;

• 切换当前程序的上下文为ucp

#include <ucontext.h>
int setcontext(const ucontext_t* ucp);

• 保存当前上下文到oucp，并且换上下文为ucp

#include <ucontext.h>
int makecontext(ucontext_t* oucp, const ucontext_t* ucp);

• 修改ucp指向的上下文的程序入口为func

#include <ucontext.h>
void makecontext(ucontext_t* ucp, void(*func)(), int argc, ...);

• 上面这四个函数的源码清晰请看context源码分析，当然，就算不完全搞懂context的源码，也能看懂云风的协程库

2.3 协程和调度器的数据结构

• 协程的数据结构

struct coroutine {
   
	coroutine_func func; // 函数指针ÿ