1. 并发设计理念
Go 常被人提及的设计模式是:不要通过共享内存的方式进行通信,而应该通过通信的方式共享内存
。
![](https://img-blog.csdnimg.cn/969044dc3fcc4994a8ec938cfc70e7f1.png?x-oss-process=image/watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBAcl9tYXJ0aWFu,size_18,color_FFFFFF,t_70,g_se,x_16)
在很多语言中,多个线程传递数据的方式一般是共享内存,为了解决线程竞争,需要限制同一时间能够读写这些变量的线程数。但在go里提供了一种不同的并发模型——通信顺序模型(communication sequential processes, CSP),goroutine 之间通过channel传递数据。
channel中的数据遵循先进先出(FIFO)的设计。
2. 数据结构
channel的操作封装在runtime包下的chan.go文件,参见 /src/runtime/chan.go.
type hchan struct {
qcount uint // channel中环形队列数据总数,len()返回该值
dataqsiz uint // 环形队列的长度,make时指定,cap()返回该值
buf unsafe.Pointer // 指向环形队列的指针,缓存区基于环形队列实现
elemsize uint16 // 元素的大小
closed uint32 // channel关闭标志
elemtype *_type // 元素类型
sendx uint // 向channel发送数据时,写入的位置索引
recvx uint // 从channel读数据是,读取的位置索引
recvq waitq // buf空时,读取的goroutine等待队列
sendq waitq // buf满时,写入的goroutine等待队列
// lock protects all fields in hchan, as well as several
// fields in sudogs blocked on this channel.
//
// Do not change another G's status while holding this lock
// (in particular, do not ready a G), as this can deadlock
// with stack shrinking.
lock mutex // 并发控制锁,同一时刻,只允许一个
}
// 等待goroutine的双向链表结构
type waitq struct {
first *sudog
last *sudog
}
![](https://img-blog.csdnimg.cn/895dd3713d0946bab62c1061ff61c51b.png?x-oss-process=image/watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBAcl9tYXJ0aWFu,size_20,color_FFFFFF,t_70,g_se,x_16)
3. 创建channel
func makechan(t *chantype, size int) *hchan {
var c *hchan
c = new(hchan)
c.buf = malloc(元素类型大小*size)
c.elemsize = 元素类型大小
c.elemtype = 元素类型
c.dataqsiz = size //channel 容量cap()
return c
}
3. 向channel 发送数据
发送数据调用runtime.chansend()
方法
ch := make(chan int, 10)
ch <- 100
执行流程:
1 如果等待接收队列recvq不为空,说明缓冲区中没有数据或者没有缓冲区,此时直接从recvq取出G,并把数据写入,最后把该G唤醒,结束发送过程;
2 如果缓冲区中有空位置,将数据写入缓冲区sendx位置,sendx++,qcount++,结束发送过程;
3 如果缓冲区中没有空余位置,将待发送数据写入G,将当前G加入sendq,休眠,等待被读goroutine唤醒;
![](https://img-blog.csdnimg.cn/662ff5cebf694ceca8d0e6e645cffeb0.png?x-oss-process=image/watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBAcl9tYXJ0aWFu,size_20,color_FFFFFF,t_70,g_se,x_16)
4. 从channel接收数据
读数据调用runtime.chanrecv()
方法
ch := make(chan int, 10)
data := <-ch
执行流程:
1 如果等待发送队列sendq不为空,且没有缓冲区,直接从sendq中取出G,把数据直接,最后把G唤醒,结束读取过程;
2 如果等待发送队列sendq不为空,此时说明缓冲区已满,从缓冲区中首部读出数据,把sendq出队的G中数据写入缓冲区尾部,把G唤醒,结束读取过程;
3 如果缓冲区中有数据,则从缓冲区取出数据,结束读取过程;
4 如何缓冲区为空,将当前goroutine加入recvq,进入休眠,等待被写goroutine唤醒;
![](https://img-blog.csdnimg.cn/d7461b708aca426989a9a4e34b006a1f.png?x-oss-process=image/watermark,type_d3F5LXplbmhlaQ,shadow_50,text_Q1NETiBAcl9tYXJ0aWFu,size_20,color_FFFFFF,t_70,g_se,x_16)
5. 关闭channel
1 首先校验chan是否已被初始化,然后加锁之后再校验是否已被关闭过,如果校验都通过了,那么将closed字段设值为1;
2 遍历所有的接收者和发送者,并将其goroutine 加入到glist中;
3 将所有glist中的goroutine加入调度队列,等待被唤醒,这里需要注意的是发送者在被唤醒之后会panic;