前言
channels 是一种类型安全的消息队列,充当两个 goroutine 之间的管道,将通过它同步的进行任意资源的交换。chan 控制 goroutines 交互的能力从而创建了 Go 同步机制。当创建的 chan 没有容量时,称为无缓冲通道。反过来,使用容量创建的 chan 称为缓冲通道。 要了解通过 chan 交互的 goroutine 的同步行为是什么,我们需要知道通道的类型和状态。根据我们使用的是无缓冲通道还是缓冲通道,场景会有所不同,所以让我们单独讨论每个场景。
使用技巧
Channel读写特性(15字口诀)
首先,我们先复习一下Channel都有哪些特性?
给一个 nil channel 发送数据,造成永远阻塞
从一个 nil channel 接收数据,造成永远阻塞
给一个已经关闭的 channel 发送数据,引起 panic
从一个已经关闭的 channel 接收数据,如果缓冲区中为空,则返回一个零值
无缓冲的channel是同步的,而有缓冲的channel是非同步的
以上5个特性是死东西,也可以通过口诀来记忆:“空读写阻塞,写关闭异常,读关闭空零”。
channel 的使用
Unbuffered Channels --无缓冲的通道
无缓冲 chan 没有容量,因此进行任何交换前需要两个 goroutine 同时准备好。当 goroutine 试图将一个资源发送到一个无缓冲的通道并且没有goroutine 等待接收该资源时,该通道将锁住发送 goroutine 并使其等待。当 goroutine 尝试从无缓冲通道接收,并且没有 goroutine 等待发送资源时,该通道将锁住接收 goroutine 并使其等待。
同步是发送和接收之间的交互所固有的。没有另一个就不可能发生。非缓冲信道的本质是保证同步
例子
ch := make(chan int)
var wg sync.WaitGroup
wg.Add(2)
go func() {
defer wg.Done()
ch <- 1
}()
go func() {
defer wg.Done()
id := <-ch
fmt.Println(id)
}()
wg.Wait()
g2 必须等待g1 向chen 发送的数据 两者处于同步
一个 goroutine 在发送消息 foo 之后被阻塞,因为还没有接收者准备好。规范中对这种行为进行了很好的解释:
https://golang.org/ref/spec#Channel_types
If the capacity is zero or absent, the channel is unbuffered and communication succeeds only when both a sender and receiver are ready.
如果容量为零或不存在,则信道不缓冲,通信只有在发送方和接收方都准备好时才能成功。
https://golang.org/doc/effective_go.html#channels
If the channel is unbuffered, the sender blocks until the receiver has received the value
如果信道未缓冲,则发送方将阻塞,直到接收方接收到该值为止
Receive 先于 Send 发生。
好处: 100% 保证能收到。
代价: 延迟时间未知。
Buffered Channels
缓冲通道具有容量,因此可以表现得有点不同。当 goroutine 尝试将资源发送到缓冲通道并且该通道已满时,该通道将锁定 goroutine 并使其等待,直到缓冲区变为可用。如果通道中有空间,发送就可以立即进行,通道就可以继续前进。当 goroutine 尝试从缓冲通道接收,缓冲通道为空时,该通道将锁定 goroutine 并使其等待,