10-协程和通道(go基础)
协程
Go 语言的 协程(Groutine) 是与其他函数或方法一起并发运行的工作方式。协程可以看作是轻量级线程。与线程相比,创建一个协程的成本很小。因此在 Go 应用中,常常会看到会有很多协程并发地运行。
启动一个协程
主函数运行在一个特殊的协程上,这个协程称之为 主协程(Main Goroutine) 。
启动一个新的协程时,协程的调用会立即返回。与函数不同,程序控制不会去等待 Go 协程执行完毕。在调用 Go 协程之后,程序控制会立即返回到代码的下一行,忽略该协程的任何返回值。如果 Go 主协程终止,则程序终止,于是其他 Go 协程也会终止。
1 | package main |
启动多个 Go 协程
1 | package main |
通道
通道(channel) ,就是一个管道,可以想像成 Go 协程之间通信的管道。它是一种队列式的数据结构,遵循先入先出的规则。
通道的声明
每个通道都只能传递一种数据类型的数据,在你声明的时候,我们要指定通道的类型。chan Type
表示 Type
类型的通道。通道的零值为 nil
。
1 | var channel_name chan channel_types |
下面的语句声明了一个类型为 string
的通道 nameChan
,该通道 nameChan
的值为 nil
。
1 | var ch chan string |
通道的初始化
声明完通道后,通道的值为 nil
,我们不能直接使用,必须先使用 make
函数对通道进行初始化操作。
使用下面的语句我们可以对上面声明过的通道 ch
进行初始化:(这样,我们就已经定义好了一个 string
类型的通道 nameChan
)
1 | ch = make(chan string) |
可以用简短声明一次性定义一个通道:
1 | ch := make(chan string) |
使用通道发送和接收数据
往通道发送数据
1
2
3// 把data数据发送到channel_name中
// 即把 data 数据写入到 channel_name 通道中
channel_name <- data从通道接收数据
1
2
3// 从 channel_name 通道中接收数据到 value
// 即从 channel_name 通道中读取数据到 value
value := <- channel_name
通道旁的箭头方向指定了是发送数据还是接收数据。箭头指向通道,代表数据写入到通道中;箭头往通道指向外,代表从通道读数据出去。
例子:
该程序模拟了两个协程并发调用的场景:
- 在
main
函数中,创建了一个通道,在main
函数中先打印了 开始 ,然后开启协程运行PrintChan
函数,而main
函数通过协程接收数据,主协程发生了阻塞,等待通道ch
发送的数据。 - 在函数中,数据 abcd 传入通道中,当写入完成时,主协程接收了数据,解除了阻塞状态,打印出从通道接收到的数据 abcd ,最后打印 结束。
==发送与接收默认是阻塞的==
从下面的例子我们知道,如果从通道接收数据没接收完主协程是不会继续执行下去的。当把数据发送到通道时,会在发送数据的语句处发生阻塞,直到有其它协程从通道读取到数据,才会解除阻塞。与此类似,当读取通道的数据时,如果没有其它的协程把数据写入到这个通道,那么读取过程就会一直阻塞着。
1 | package main |
通道的关闭
1 | // 对于一个已经使用完毕的通道,我们要将其进行关闭。 |
注意事项:对于一个已经关闭的通道如果再次关闭会导致报错,我们可以在接收数据时,判断通道是否已经关闭,从通道读取数据返回的第二个值表示通道是否没被关闭,如果已经关闭,返回值为 false
;如果还未关闭,返回值为 true
。
1 | value, ok := <- channel_name |
通道的容量与长度
我们在前面讲过 make
函数是可以接收两个参数的,同理,创建通道可以传入第二个参数——容量。
- 当容量为
0
时,说明通道中不能存放数据,在发送数据时,必须要求立马有人接收,否则会报错。此时的通道称之为无缓冲通道。 - 当容量为
1
时,说明通道只能缓存一个数据,若通道中已有一个数据,此时再往里发送数据,会造成程序阻塞。利用这点可以利用通道来做锁。 - 当容量大于
1
时,通道中可以存放多个数据,可以用于多个协程之间的通信管道,共享资源。
既然通道有容量和长度,那么我们可以通过 cap
函数和 len
函数获取通道的容量和长度。
缓冲通道与无缓冲通道
按照是否可缓冲数据可分为:缓冲通道 与 无缓冲通道 。
无缓冲通道在通道里无法存储数据,接收端必须先于发送端准备好,以确保你发送完数据后,有人立马接收数据,否则发送端就会造成阻塞,原因很简单,通道中无法存储数据。也就是说发送端和接收端是同步运行的。
1
2
3c := make(chan int)
// 或者
c := make(chan int, 0)缓冲通道允许通道里存储一个或多个数据,设置缓冲区后,发送端和接收端可以处于异步的状态。
1
c := make(chan int, 3)
双向通道
上面定义的都是双向通道,既可以发送数据也可以接收数据。
例如:
1 | package main |
单向通道
单向通道只能发送或者接收数据。所以可以具体细分为只读通道和只写通道。
<-chan
表示只读通道1
2
3
4
5
6
7
8
9// 定义只读通道
c := make(chan string)
// 定义类型
type Receiver = <-chan string
var receiver Receiver = c
// 或者简单写成下面的形式
type Receiver = <-chan int
receiver := make(Receiver)chan<-
表示只写通道1
2
3
4
5
6
7
8
9// 定义只写通道
c := make(chan int)
// 定义类型
type Sender = chan<- int
var sender Sender = c
// 或者简单写成下面的形式
type Sender = chan<- int
sender := make(Sender)例子
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42package main
import (
"fmt"
"time"
)
type Sender = chan<- string
type Receiver = <-chan string
func main() {
// 创建一个双向通道
var ch = make(chan string)
// 开启一个协程
go func() {
// 只写通道
var sender Sender = ch
fmt.Println("即将开始:")
sender <- "go语言"
}()
// 开启一个协程
go func() {
// 只读通道
var receiver Receiver = ch
message := <-receiver
fmt.Println("开始:", message)
}()
// 主协程休眠
time.Sleep(time.Millisecond)
}
// 输出
/*
即将开始:
开始: go语言
*/
遍历通道
使用 for range
循环可以遍历通道,但在遍历时要确保通道是处于关闭状态,否则循环会被阻塞。
1 | package main |
用通道做锁
上面讲过,当通道容量为 1
时,说明通道只能缓存一个数据,若通道中已有一个数据,此时再往里发送数据,会造成程序阻塞。
例如:
1 | package main |
死锁
当协程给一个通道发送数据时,照理说会有其他 Go 协程来接收数据。如果没有的话,程序就会在运行时触发 panic
,形成死锁。同理,当有协程等着从一个通道接收数据时,我们期望其他的 Go 协程会向该通道写入数据,要不然程序也会触发 panic
。
一个造成死锁的例子:
1 | package main |
报错:fatal error: all goroutines are asleep - deadlock!
另一个报错的例子:
原因:使用 make
函数创建通道时默认不传递第二个参数,通道中不能存放数据,在发送数据时,必须要求立马有人接收,即该通道为无缓冲通道。所以在接收者没有准备好前,发送操作会被阻塞。
1 | package main |
报错:fatal error: all goroutines are asleep - deadlock!
可以将代码修改如下,使用协程,将接收者代码放在另一个协程里:
1 | package main |
我们定义了通道的容量,但通道里的容量已经放不下新的数据,而没有接收者接收数据,就会造成阻塞,而对于一个协程来说就会造成死锁:
1 | package main |
同理,当程序一直在等待从通道里读取数据,而此时并没有发送者会往通道中写入数据。此时程序就会陷入死循环,造成死锁。
WaitGroup
在实际开发中我们并不能保证每个协程执行的时间,如果需要等待多个协程,全部结束任务后,再执行某个业务逻辑。下面我们介绍处理这种情况的方式。
WaitGroup
有几个方法:
Add
:初始值为0
,这里直接传入子协程的数量,你传入的值会往计数器上加。Done
:当某个子协程完成后,可调用此方法,会从计数器上减一,即子协程的数量减一,通常使用defer
来调用。Wait
:阻塞当前协程,直到实例里的计数器归零。
使用信道
信道可以实现多个协程间的通信,于是乎我们可以定义一个信道,在任务执行完成后,往信道中写入 true
,然后在主协程中获取到 true
,就可以认为子协程已经执行完毕。
1 | package main |
用 WaitGroup
1 | package main |