Golang中的Channel

1. Channel

Goroutine(协程) 使用 Channel 传递数据

图中两个 Goroutine 一个向 Channel 中发送数据，另一个从 Channel 中接收数据,通过Channel 间接完成通信；

1.1 数据结构

Go 语言的 Channel 在运行时使用 runtime.hchan 结构体表示。在 Go 语言中创建新的 Channel 时，实际上创建的都是如下所示的结构：

type hchan struct {
	qcount   uint // Channel 中元素的个数
	dataqsiz uint // Channel 中循环队列的长度
	buf      unsafe.Pointer // Channel 的缓冲区数据指针
	elemsize uint16 // 当前 Channel 能够收发的元素大小
	closed   uint32
	elemtype *_type // 当前 Channel 能够收发的元素类型
	sendx    uint // Channel 的发送操作处理到的位置
	recvx    uint // Channel 的接收操作处理到的位置

	// sendq 和 recvq 存储了当前 Channel 由于缓冲区空间不足而阻塞的 Goroutine 列表
	recvq    waitq
	sendq    waitq

	lock mutex
}

1.2 创建管道

• Go 语言中所有 Channel 创建都会使用 make 关键字；编译器会将 make(chan int, 10) 表达式转换成 OMAKE 类型的节点，并在类型检查阶段将 OMAKE 类型的节点转换成 OMAKECHAN 类型:
• 如果我们不向 make 传递表示缓冲区大小的参数，那么就会设置一个默认值 0，也就是当前 Channel 不存在缓冲区。

1.3 发送数据

• 向 Channel 发送数据的时，使用 ch <- i 语句，编译器会将它解析成 OSEND 节点；
  在发送数据的逻辑执行之前会先为当前 Channel 加锁，防止多个线程并发并修改数据。如果 Channel 关闭，那么向该 Channel 发送数据时会报 “send on closed channel” 错误并中止程序。

1.4 接收数据

Go 语言中有两种方式接收 Channel 数据:

i <- ch
i, ok -< ch

接收数据的 5 种情况:

1. 如果 Channel 为空，那么会直接调用 runtime.gopark 挂起当前的 Goroutine;
2. 如果 Channel 已经关闭并且缓冲区没有任何数据，runtime.chanrecv 会直接返回;
3. 如果 Channel 的 sendq 队列中存在挂起的 Goroutine 会将 recvx 索引所在的数据拷贝到接收变量所在的内存空间上，并将 sendq 队列中 Goroutine的数据拷贝到缓冲区;
4. 如果 Channel 的缓冲区中包含数据，那么直接读取 recvx 索引对应的数据；
5. 在默认情况下会挂起当前的 Goroutine，将 runtime.sudog 结构加入 recvq 队列并陷入休眠等待调度器的唤醒；

Channel 接收数据，会触发 Goroutine 调度的两个时机：

• 当 Channel 为空时；
• 当缓冲区中不存在数据并且也不存在数据的发送者时;

1.5 关闭管道

• 关闭管道用到的是 close 关键字 ，然后调用到的是runtime.closechan 函数;
• 当Channel是一个空指针或者已经关闭时，Go语言运行时都会直接崩溃并抛出异常；