协程(Coroutines)是用户态下的非抢占式的轻量级线程,是一种在程序开发中处理多任务的组件
项目介绍
项目开发环境
Linux
项目开发语言及工具
C、vim、gcc、gdb、Makefile
项目特点
协程是完全由程序来控制的,是在用户态下执行,这样子就没有用户态到内核态的切换开销
协程是非抢占式的调度,用户可以自己实现调度,同一时间只能有一个协程在执行,并且由协程主动交出控制权
协程的执行效率非常高。因为子程序切换不是线程切换,而是由程序自身控制,与同等数量的线程相比,协程的执行效率会更高
项目适用场景
协程主要用于I/O密集型程序,例如TCP服务器,在传统中使用多进程/线程+IO复用来实现TCP服务器,当每来一个客户端时都会创建一个线程或者进程,占用了大量的资源。每当使用时都会伴随着用户态和内核态之间调度切换带来的开销。而使用协程会解决传统方式的问题
项目简介
相当于用户态的一个线程组,做的每一个协程都有自己的协程栈,当有任务时将任务以回调的方式放入到协程中,在协程的回调函数中,当有任务就绪时就执行,当任务未就绪时就将自己切换出去,然后让别的流程去运行,当运行到某一条件时就去恢复协程,然后再依次判断协程中的任务是否就绪,就绪就执行,未就绪再切换出去
项目实现概要
用一个结构体来封装协程的属性,再用一个结构体来管理调度协程。其中协程有5个属性,分别是回调函数、回调函数的参数、协程的上下文信息、协程单独使用的栈、还有协程的状态。而管理调度协程的调度器有4属性,分别是一个协程类型的指针数组,该数组中的元素都是一个协程、还有正在运行的协程的所在数组的下标,以及指针数组中的最大下标,最后一个是主流程的上下文环境。
创建协程时需要传入协程的调度管理器和该协程要绑定的回调函数,然后对协程的各个属性进行赋值,此时我们就要使用到ucontext函数族,在makecontext函数中将该协程的上下文回调函数设置为一个统一的函数,然后在该函数中再调用协程自身绑定的那个函数。当函数运行完时修改协程的状态为DEAD状态。
启动协程时将协程的状态改为RUNNING状态,然后使用swapcontext函数将主流程的上下文环境进行保存,然后执行协程的回调函数。
切换协程时将协程状态改为SUSPEND状态,然后使用swapcontext函数保存协程的上下文环境,然后执行主流程的上下文。
回复协程时将协程的状态改为RUNNING状态,然后使用swapcontext函数将主流程的上下文环境进行保存,然后执行协程上次执行到的上下文的地方
友情链接
linux ucontext族函数的原理及使用
协程实现
源代码----协程
头文件以及需要的宏定义
#include <ucontext.h>
#define COR_SIZE (1024) //协程数量
#define STACK_SIZE (1024*64) //每个协程的栈大小
协程的状态有:死亡态、就绪态、运行态、暂停态
enum State {
DEAD, READY, RUNNING, SUSPEND};
协程与调度器
//协程
typedef struct coroutine
{
void *(*call_back)(struct schedule *s, void* args);//回调函数
void *args; //回调函数参数
ucontext_t ctx; //协程上下文
char stack[STACK_SIZE]; //协程栈
enum State state; //协程状态
}coroutine_t;
//协程调度器
typedef struct schedule
{
coroutine_t** coroutines;//协程数组
int cur_id;//当前运行的协程
int max_id;//数组的最大协程数
ucontext_t ctx_main;//主流程上下文
}schedule_t;
实现接口声明
//创建协程调度器