Golang---Channel
摘要:今天我们来学习 Go 语言中 channel , 这是 Go 语言中非常重要的一个特性。
基础知识
创建
在使用 channel 之前需要使用 make 来创建一个 channel, 如果在使用之前没有使用 make, 则会造成死锁(原因在后面死锁部分进行说明)
ch := make(chan int) //创建无缓冲的channel ch := make(chan int, N) //创建有缓冲的channel
读写
N := <- ch //读操作 ch <- N //写操作
分类
无缓冲:发送和接收动作是同时发生的,如果没有 goroutine 读取(<- ch),则发送者(ch <- )会一致阻塞
有缓冲:channel 类似一个有容量的队列,当队列满的时候发送者会阻塞,当队列空的时候接收者会阻塞
关闭
channel 不像文件,通常不需要去关闭它们,只有在接收者必须要知道没有更多的数据的时候,才需要发送端去关闭(只有客户端才应该去关闭),比如在 range 循环遍历中。
ch := make(chan int) close(ch) //关闭 channel
关闭需要注意的几点:
1, 重复关闭 channel 会导致 panic 2, 向关闭的 channel 发送数据会导致 panic 3, 从关闭的 channel 读数据不会发生 panic, 读出 channel 中已有的数据之后, 读出的就是 channel 中值类型的默认值
判断一个 channel 是否关闭可以使用 ok-idiom 的方式,这种方式在 map 中比较常用:
//ok-idiom 方式 val, ok := <- ch if ok == false { fmt.println("closed") }else { fmt.println("not closed") }
典型用法
goroutine 通信
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
func TestChannel() { ch := make(chan int) go func() { ch <- 1 }() fmt.Println(<- ch) }
select
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
select { case v, ok := <- ch1: if(!ok) { fmt.println("ch1 channel closed!") }else { fmt.println("ch1 do something") } case v, ok := <- ch2: if(!ok) { fmt.println("ch2 channel closed!") }else { fmt.println("ch2 do something") } default: fmt.println("ch1 not ready and ch2 not ready") }
range
range 可以直接取到 channel 中的值,当我们使用 range 来操作 channel 的时候, 一旦 channel 关闭,channel 内部数据读完之后循环自动结束
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
//消费者 func consumer(ch chan int) { for x := range ch { fmt.Println(x) // do something with x } } //生产者 func producer(ch chan int) { values := make([]int, 5) for _, v := range values { ch <- v } }
超时控制
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
func queryDb(ch chan int) { time.Sleep(time.Second) ch <- 100 } func main() { ch := make(chan int) go queryDb(ch) t := time.NewTicker(time.Second) select { case v := <- ch: fmt.Println("res: ", v) case <- t.C: fmt.Println("timeout") }
死锁
死锁情况1
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
func deadlock1() { ch := make(chan int) ch <- 1 } func deadlock2() { ch := make(chan int) <- ch }
死锁分析:无缓冲信道不存储值,无论是传值还是取值都会阻塞,无缓冲信道必须同时传值和取值。
死锁情况2
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
func Deadlock3() { ch1 := make(chan string) ch2 := make(chan string) go func() { ch2 <- "ch2 value" // block point ch1 <- "ch1 value" }() <- ch1 //block point <- ch2 }
死锁分析: 在 main goroutine 中,ch1 等待数据,而在 goroutine 中,ch2 在等待数据,所以造成死锁。
死锁情况3
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
func Deadlock4() { chs := make(chan string, 2) chs <- "first" chs <- "second" //close(chs) 需要发送端主动去关闭 for ch := range chs { fmt.Println(ch) } }
死锁分析: 从空 channel 中读取会导致阻塞,同死锁情况1。
源码分析
数据结构
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
//from go/src/runtime/chan.go type hchan struct { qcount uint // total data in the queue dataqsiz uint // size of the circular queue buf unsafe.Pointer // points to an array of dataqsiz elements elemsize uint16 closed uint32 elemtype *_type // element type sendx uint // send index recvx uint // receive index recvq waitq // list of recv waiters sendq waitq // list of send waiters // 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 } type waitq struct { first *sudog last *sudog }
从上面的定义我们可以知道:一个核心的部分是存放 channel 数据的环形队列,由 qcount 和 elemsize 分别指定了队列的总容量和当前的使用量; 另一个部分就是 recvq 和 sendq 两个链表(双向),如果一个 goroutine 阻塞于 channel 了,那么它被挂在 recvq 或 sendq 中。
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
//from go/src/runtime/chan.go func makechan(t *chantype, size int) *hchan { elem := t.elem // compiler checks this but be safe. if elem.size >= 1<<16 { throw("makechan: invalid channel element type") } if hchanSize%maxAlign != 0 || elem.align > maxAlign { throw("makechan: bad alignment") } mem, overflow := math.MulUintptr(elem.size, uintptr(size)) // 求出 size 所占空间的大小 if overflow || mem > maxAlloc-hchanSize || size < 0 { panic(plainError("makechan: size out of range")) } // Hchan does not contain pointers interesting for GC when elements stored in buf do not contain pointers. // buf points into the same allocation, elemtype is persistent. // SudoG's are referenced from their owning thread so they can't be collected. // TODO(dvyukov,rlh): Rethink when collector can move allocated objects. var c *hchan switch { case mem == 0: // Queue or element size is zero. c = (*hchan)(mallocgc(hchanSize, nil, true)) //remark1: 只分配 hchan 结构体空间 // Race detector uses this location for synchronization. c.buf = c.raceaddr() case elem.ptrdata == 0: // Elements do not contain pointers. // Allocate hchan and buf in one call. c = (*hchan)(mallocgc(hchanSize+mem, nil, true)) //remark2: hchan 结构体和 chan 中size 个元素的空间一并进行分配 c.buf = add(unsafe.Pointer(c), hchanSize) default: // Elements contain pointers. c = new(hchan) c.buf = mallocgc(mem, elem, true) //remark3:先分配 hchan 结构体,包含指针的元素以特殊的方式分配 } c.elemsize = uint16(elem.size) c.elemtype = elem c.dataqsiz = uint(size) lockInit(&c.lock, lockRankHchan) if debugChan { print("makechan: chan=", c, "; elemsize=", elem.size, "; dataqsiz=", size, "\n") } return c }
注:上述代码中标记为 remark 的部分解释了 hchan 结构体中的缓冲区内存的分配方式
recvq: 因读这个通道而阻塞的 goroutine
sendq: 因写这个通道而阻塞的 goroutine
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
//from go/src/runtime/chan.go type sudog struct { // The following fields are protected by the hchan.lock of the // channel this sudog is blocking on. shrinkstack depends on // this for sudogs involved in channel ops. g *g next *sudog prev *sudog elem unsafe.Pointer // data element (may point to stack) // The following fields are never accessed concurrently. // For channels, waitlink is only accessed by g. // For semaphores, all fields (including the ones above) // are only accessed when holding a semaRoot lock. acquiretime int64 releasetime int64 ticket uint32 // isSelect indicates g is participating in a select, so // g.selectDone must be CAS'd to win the wake-up race. isSelect bool parent *sudog // semaRoot binary tree waitlink *sudog // g.waiting list or semaRoot waittail *sudog // semaRoot c *hchan // channel }
注:该结构中主要的就是一个 g 和一个 elem. elem 用于存储 goroutine 的数据。读通道时:数据从 Hchan 的队列中拷贝到 SudoG 的 elem 域;写通道时:数据则是从 SudoG 的 elem 域拷贝到 Hchan 的队列中。
发送 channel
如果执行 ch <- v 操作,在底层运行时库中对应的是一个 runtime.chansend 函数,源码为:
![](https://images.cnblogs.com/OutliningIndicators/ContractedBlock.gif)
//from go/src/runtime/chan.go func chansend(c *hchan, ep unsafe.Pointer, block bool, callerpc uintptr) bool { if c == nil { //remark1: 如果向一个 nil 的 chan 发送消息 if !block { //remark1.1: 如果是非阻塞模式,则直接返回 return false } //remark1.2: 如果是阻塞模式,为 unlockf 分配一个 m, 并运行 unlockf, 如果返回 flase, 则唤醒睡眠,此处传入 nil, 则会一致休眠,直到 timeout gopark(nil, nil, waitReasonChanSendNilChan, traceEvGoStop, 2) throw("unreachable") } if debugChan { print("chansend: chan=", c, "\n") } if raceenabled { racereadpc(c.raceaddr(), callerpc, funcPC(chansend)) } // Fast path: check for failed non-blocking operation without acquiring the lock. // // After observing that the channel is not closed, we observe that the channel is // not ready for sending. Each of these observations is a single word-sized read // (first c.closed and second full()). // Because a closed channel cannot transition from 'ready for sending' to // 'not ready for sending', even if the channel is closed between the two observations, // they imply a moment between the two when the channel was both not yet closed // and not ready for sending. We behave as if we observed the channel at that moment, // and report that the send cannot proceed. // // It is okay if the reads are reordered here: if we observe that the channel is not // ready for sending and then observe that it is not closed, that implies that the // channel wasn't closed during the first observation. However, nothing here // guarantees forward progress. We rely on the side effects of lock release in // chanrecv() and closechan() to update this thread's view of c.closed and full(). if !block && c.closed == 0 && full(c) { return false } var t0 int64 if blockprofilerate > 0 { t0 = cputicks() } lock(&c.lock) if c.closed != 0 { //remark2: 如果向一个已经关闭的 channel 发送数据,直接报错 unlock(&c.lock) panic(plainError("send on closed channel")) } if sg := c.recvq.dequeue(); sg != nil { //remark3: 如果此时有因为读操作阻塞的 goroutine,取出该 goroutine // Found a waiting receiver. We pass the value we want to send // directly to the receiver, bypassing the channel buffer (if any). /* *remark4: 将值(ep)直接复制到 接收者(sg) 的 sudog.elem 中,并将 sudog 放入到就绪队列中,状态置 ready, 然后返回 */ send(c, sg, ep, func() { unlock(&c.lock) }, 3) return true } //remark5: 如果循环队列空间可用,则直接把 send 元素入队 if c.qcount < c.dataqsiz { // Space is available in the channel buffer. Enqueue the element to send. qp := chanbuf(c, c.sendx) if raceenabled { raceacquire(qp) racerelease(qp) } typedmemmove(c.elemtype, qp, ep) c.sendx++ if c.sendx == c.dataqsiz { c.sendx = 0 } c.qcount++ unlock(&c.lock) return true } if !block { unlock(&c.lock) return false } // Block on the channel. Some receiver will complete our operation for us. //remark6: 如果没有空间可用,则阻塞 gp := getg() mysg := acquireSudog() mysg.releasetime = 0 if t0 != 0 { mysg.releasetime = -1 } // No stack splits between assigning elem and enqueuing mysg // on gp.waiting where copy stack can find it. mysg.elem = ep mysg.waitlink = nil mysg.g = gp mysg.isSelect = false mysg.c = c gp.waiting = mysg gp.param = nil c.sendq.enqueue(mysg) //remark7: 此处为什么还能入栈??,并进入阻塞状态 gopark(chanparkcommit, unsafe.Pointer(&c.lock), waitReasonChanSend, traceEvGoBlockSend, 2) // Ensure the value being sent is kept alive until the // receiver copies it out. The sudog has a pointer to the // stack object, but sudogs aren't considered as roots of the // stack tracer. KeepAlive(ep) // someone woke us up. if mysg != gp.waiting { throw("G waiting list is corrupted") } gp.waiting = nil gp.activeStackChans = false if gp.param == nil { if c.closed == 0 { throw("chansend: spurious wakeup") } panic(plainError("send on closed channel")) } gp.param = nil if mysg.releasetime > 0 { blockevent(mysg.releasetime-t0, 2) } mysg.c = nil releaseSudog(mysg) return true }
从源码分析中(remark 注释部分)可知:写操作一共分三种情况
(1) 有读 goroutine 阻塞在 recvq 上,此时直接复制要发送的信息到 阻塞 goroutine 的 sudog 的 elem 域
(2) hchan.buf 还有可用空间,此时直接入队,挂到 sendq 上
(3) hchan.buf 没有可用空间,此时阻塞当前 goroutine
接收 channel
写 channel 分析过程基本和 读 channel 过程类似,这里不再具体展开分析
总结
Golang 的 channel 实现集中在文件 runtime/chan.go 中,本身的代码不是很复杂,但是涉及到很多其他的细节,比如 gopark 等,读起来还是有点费劲的。
参考资料:
https://tour.golang.org/concurrency/4
http://legendtkl.com/2017/08/06/golang-channel-implement/