文章目录
1.干货写在前面
-
协程是一种用户态的轻量级线程
-
首先我们可以看看有哪些语言已经具备协程语义:
-
比较重量级的有C#、erlang、golang*
-
轻量级有python、lua、javascript、ruby
-
还有函数式的scala、scheme等
c/c++不直接支持协程语义,但有不少开源的协程库,如:
Protothreads:一个“蝇量级” C 语言协程库
libco:来自腾讯的开源协程库libco介绍,官网
coroutine:云风的一个C语言同步协程库,详细信息
-
-
目前看到大概有四种实现协程的方式:
-
第一种:利用glibc 的 ucontext组件(云风的库)
-
第二种:使用汇编代码来切换上下文(实现c协程)
-
第三种:利用C语言语法switch-case的奇淫技巧来实现(Protothreads)
-
第四种:利用了 C 语言的 setjmp 和 longjmp( 一种协程的 C/C++ 实现,要求函数里面使用 static local 的变量来保存协程内部的数据)
本篇主要使用ucontext来实现简单的协程库。
-
2.ucontext初接触
利用ucontext提供的四个函数getcontext(),setcontext(),makecontext(),swapcontext()可以在一个进程中实现用户级的线程切换。
本节我们先来看ucontext实现的一个简单的例子:
#include <stdio.h>
#include <ucontext.h>
#include <unistd.h>
int main(int argc, const char *argv[]){
ucontext_t context;
getcontext(&context);
puts("Hello world");
sleep(1);
setcontext(&context);
return 0;
}
注:示例代码来自维基百科.
保存上述代码到example.c,执行编译命令:
gcc example.c -o example
想想程序运行的结果会是什么样?
cxy@ubuntu:~$ ./example
Hello world
Hello world
Hello world
Hello world
Hello world
Hello world
Hello world
^C
cxy@ubuntu:~$
上面是程序执行的部分输出,不知道是否和你想得一样呢?我们可以看到,程序在输出第一个“Hello world"后并没有退出程序,而是持续不断的输出”Hello world“。其实是程序通过getcontext先保存了一个上下文,然后输出"Hello world",在通过setcontext恢复到getcontext的地方,重新