《Go语言编程》1书介绍了libtask库,可以认为这个库同等于go的底层goroutine实现。
libtask库的channel的数据结构以下:
struct Alt
{
Channel *c;
void *v;
unsigned int op;
Task *task;
Alt *xalt;
};
struct Altarray
{
Alt **a;
unsigned int n;
unsigned int m;
};
struct Channel
{
unsigned int bufsize;
unsigned int elemsize;
unsigned char *buf;
unsigned int nbuf;
unsigned int off;
Altarray asend;
Altarray arecv;
char *name;
};
我们可以看到channel的基本组成以下:
内存缓存,用于寄存元素;
发送队列;
接受队列。
书中罗列完channel的结构后没有深入讲授如何在channel这个结构上进行通讯的进程。其实结合书中前面介绍的内容task(协程)的通讯进程已不言而明了。
但是从学习者的角度,固然是把这个问题讲授的越明白越好。接下来我试着介绍1下task(协程)是如何在这个channel的基础上通讯的。
对1个往channel里写数据的情况:
对1个从channel里读数据的情况:
注意:以上两个流程都是基于书中对协程的工作原理和channel数据结构的介绍后我个人脑补的,并没有去翻看libtask的代码。极可能存在疏漏,只应当把这两个流程作为理解协程工作方式的参照。