18. 并发
18. 并发

18. 并发

学到什么

  1. 并发与并行的区别?
  1. 什么是 Goroutine?
  1. 什么是通道?
  1. Goroutine 如何通信?
  1. 相关函数的使用?
  1. select 语句如何使用?
 

并发与并行

为了更有意思的解释这个概念,我借用知乎上的一个回答:
  • 你吃饭吃到一半,电话来了,你一直到吃完了以后才去接,这就说明你不支持并发也不支持并行。
  • 你吃饭吃到一半,电话来了,你停了下来接了电话,接完后继续吃饭,这说明你支持并发。
  • 你吃饭吃到一半,电话来了,你一边打电话一边吃饭,这说明你支持并行。
并发的关键是你有处理多个任务的能力,不一定要同时。
并行的关键是你有同时处理多个任务的能力。
 
对应到 CPU 上,如果是多核它就有同时执行的能力,即有并行的能力。
 
对于 Go 语言,它自行安排了我们的代码合适并发合适并行。

什么是 Goroutine

学会这个就知道怎么写一个并发程序,用起来很简单的,现在开始。
 
Goroutine 是 Go 语言中的协程,其它语言称为的协程字面上叫 Coroutine,简单理解下就是比线程更轻量的一个玩意。
 
再说白了,就是可以异步执行函数。

main Goroutine

当启动 main 入口函数时,后台就自动跑了一个 main Goroutine,还原给大家看看。
package main func main() { panic("看这里") }
执行上面代码,会输出如下部分信息:
panic: 看这里 goroutine 1 [running]: main.main()
从结果中可以看到,出现了一个 goroutine 字眼,它对应的索引为 1。

创建 Goroutine

创建 Goroutine 很简单,只需要在函数前增加一个 go 关键字,格式如下:
go fun1(...)
也支持匿名函数。
go func(...){ // ... }(...)
  • go 关键字后的函数可以写返回值,但无效。因为 Goroutine 是异步的,所以没法接受。
下来看一个完整的例子:
package main import ( "fmt" ) func PrintA() { fmt.Println("A") } func main() { go PrintA() fmt.Println("main") }
看上面 main 函数只有两行:
  • 第一行:创建一个 Goroutine,异步打印“A”字符串。
  • 第二行:打印 “main” 字符串。
现在先停留一会,想想执行该代码后,输出结果是啥。
结果如下:
main
你没看错,没有输出“A”字符串。
 
因为 go PrintA() 创建的 Goroutine 它是异步执行,main 函数执行完退出程序时,也不会管它。所以下来看如何让 main 函数等待 Goroutine 执行完。
 
方法一:使用 time.Sleep 函数。
func main() { go PrintA() fmt.Println("main") time.Sleep(time.Second) } // 输出 main A
main 函数退出前让等一会。
 
方法二:使用空的select 语句,非空的 select 用法会配合通道一块讲解。
func main() { go PrintA() fmt.Println("main") select {} } // 输出 main A fatal error: all goroutines are asleep - deadlock! ...
"A"字符串是输出了,但程序也出现异常了。
 
原因是,当程序中存在运行的 Goroutine,select{} 就会一直等待,如果 Goroutine 都执行结束了,没有什么可等待的了,就会抛出异常。
 
在真实项目中,出现异常自然不对,那 select{} 使用场景是啥,例如:
  • 爬虫项目,创建了 Goroutine,需要一直爬取数据,不需要停止。
 
方法三:使用 WaitGroup 类型等待 Goroutine 结束,项目中常常使用,完整例子如下:
package main import ( "fmt" "sync" ) var wg sync.WaitGroup func PrintA() { fmt.Println("A") wg.Done() } func main() { wg.Add(1) go PrintA() wg.Wait() fmt.Println("main") }
  • 声明 WaitGroup 类型变量 wg,使用时无需初始化。
  • wg.Add(1) 表示需要等待一个 Goroutine,如果有两个,使用 Add(2)
  • 当一个 Goroutine 运行完后使用 wg.Done() 通知。
  • wg.Wait() 等待 Goroutine 执行完。

控制并发数

Go 语言中可以控制使用 CPU 的核心数量,从 Go1.5 版本开始,默认设置为 CPU 的总核心数。如果想自定义设置,使用如下函数:
num := 2 runtime.GOMAXPROCS(num)
num 如果大于 CPU 的核心数,也是允许的,Go 语言调度器会将很多的 Goroutine 分配到不同的处理器上。

什么是通道

现在明白了怎么创建 Goroutine 后,下一步就要知道它们之间要如何通信。
notion image
Goroutine 通信使用“通道(channel)”,如果 Goroutine1 想发送数据给 Goroutine2,就把数据放到通道里,Goroutine2 直接从通道里拿就行,反过来也是一样。
 
在给通道放数据时,也可以指定通道放置的数据类型。
 

创建通道

创建通道时,分为无缓冲和有缓冲两种。

1. 无缓冲

strChan := make(chan string)
定义了一个存储数据类型为 string 的无缓冲通道,如果想存储任意类型,那数据类型设置为空接口。
allChan := make(chan interface{})
创建好了通道,下来就要给通道里放数据。
strChan := make(chan string) strChan <- "老苗"
使用"<-"操作符链接数据,表示将“老苗”字符串送入 strChan 通道变量。
 
但这样放数据是会报错的,因为 strChan 变量是无缓冲通道,放入数据时 main 函数会一直等待,因此会造成死锁。
 
如果想解决死锁情况,就要保证有地方在异步读通道,因此需要创建一个 Goroutine 来负责。
 
例子如下:
// concurrency/channel/main.go package main import ( "fmt" "sync" ) var wg sync.WaitGroup func Read(strChan chan string) { data := <-strChan fmt.Println(data) wg.Done() } func main() { wg.Add(1) strChan := make(chan string) go Read(strChan) strChan <- "老苗" wg.Wait() } // 输出 老苗
  • Read 函数负责读取通道数据,并打印。
  • 通道是引用类型,因此传递时无需使用指针。
  • <-strChan 表示从通道里拿数据,如果通道里没有数据它会进行阻塞。
  • wg.Wait() 等待 Read 异步函数执行完。

2. 有缓冲

读了上面就会了解到,对于无缓冲通道,它会产生阻塞。为了不让阻塞,必须创建一个 Goroutine 负责从通道读取才行。
 
而有缓冲的通道,会有缓冲的余地,具体来看看。
 
创建缓冲通道,如下:
bufferChan := make(chan string, 3)
  • 创建了一个存储数据类型为 string 的通道。
  • 可以缓冲 3 个数据,即给通道送入 3 个数据不会进行阻塞。
 
测试如下:
// concurrency/bufferchannel/main.go package main import "fmt" func main() { bufferChan := make(chan string, 3) bufferChan<-"a" bufferChan<-"b" bufferChan<-"c" fmt.Println(<-bufferChan) } // 输出 a
  • bufferChan 变量存入 3 个字符串。
  • 存入 3 个数据时不会阻塞,当存入数量超过 3 时,就需要 Goroutine 异步读取。
 
缓冲通道何时使用,例如:
爬虫数据,第 1 个 Goroutine 负责爬取数据,第 2 个 Goroutine 负责处理和存储数据。 当第 1 个的处理速度大于第 2 个时,可以使用缓冲通道暂存起来。
 
暂存起来后,第 1 个 Goroutine 就可以继续爬取,而不像无缓冲通道,放入数据时会阻塞,直到通道数据被读出,才能进行。
 
为了加深印象,再来一张图:
notion image
 
图解:
  • bufferChan 长度为 3 的缓冲通道,并且已存入 2 个数据。
  • 看图中的两个箭头,箭头在 bufferChan 右边,表示存,左边表示取。
  • 按照先入先出规则存取。
 

单向通道

现在知道了如何创建一个双向通道,双向通道指的就是即可以存,又可以取。
 
那单向通道创建如下:
readChan := make(<-chan string) writeChan := make(chan<- string)
  • readChan 只能读取数据。
  • writeChan 只能存取数据。
 
但这样创建的通道是无法传递数据的,为什么?
 
因为,如果只能读的通道,没法存数据,那我存了个寂寞。而存的通道,我数据拿不出来,又有何用。
 
现在看看如何正确使用单向通道的例子,如下:
// concurrency/onechannel/main.go package main import ( "fmt" "sync" ) var wg sync.WaitGroup // 写通道 func write(data chan<- int) { data<-520 wg.Done() } // 读通道 func read(data <-chan int) { fmt.Println(<-data) wg.Done() } func main() { wg.Add(2) dataChan := make(chan int) go write(dataChan) go read(dataChan) wg.Wait() } // 输出 520
  • 创建了两个 Goroutine,read 函数负责只读,write 函数负责只写。
  • 通道传递时,将双向通道转化为单向通道。
 

遍历通道

在实际项目中,通道里会产生大量的数据,这时候就要循环的从通道里读取。
 
现在改写单向通道写入数据的例子:
func write(data chan<- int) { for i := 0; i < 10; i++ { data<-i } wg.Done() }
这段代码是给通道里循环写入数字。
 
下来使用两种方式循环读取通道数据。

1. 死循环

func read(data <-chan int) { for { d := <-data fmt.Println(d) } wg.Done() }
使用死循环读取数据,但这个有个问题,什么时候退出 for 循环?
 
read 函数在读取通道时是不知道数据写入完了,如果读取不到数据,它会一直阻塞,因此,如果写数据完成时,需要使用 close 函数关闭通道。
func write(data chan<- int) { // ... close(data) wg.Done() }
关闭后,读取通道时也需要检测判断。
func read(data <-chan int) { for { d, ok := <-data if !ok { break } fmt.Println(d) } wg.Done() }
  • ok 变量为 false 时,表示通道已关闭。
  • 关闭通道后,ok 变量不会立马变成 false,而是等已放入通道的数据都读取完。
ch := make(chan string, 1) ch <- "a" close(ch) val, ok := <-ch fmt.Println(val, ok) val1, ok1 := <-ch fmt.Println(val1, ok1) // 输出 a true false

2. for-range

也可以使用 for-range 语句读取通道,这比死循环使用起来简单一点。
func read(data <-chan int) { for d := range data{ fmt.Println(d) } wg.Done() }
  • 如果想退出 for-range 语句,也需要关闭通道。
  • 如果关闭通道后,不需要增加 ok 判断,等通道数据读取完,自行会退出。

通道函数

使用 len 函数获取通道里还有多少个消息未读,cap 函数获取通道的缓冲大小
ch := make(chan int, 3) ch<-1 fmt.Println(len(ch)) fmt.Println(cap(ch)) // 输出 1 3

select 语句

上面已经知道了空 select 语句的作用,现在看看非空 select 的用法。
 
select 语句 和 switch 语句类似,它也有 case 分支,也有 default 分支,但 select 语句的不同点有两个:
  • case 分支只能是“读通道”或“写通道”,如果读写成功,即不阻塞,则 case 分支就满足。
  • fallthrough 关键字不能使用。

1. 无 default 分支

select 语句会在 case 分支中选择一个可读写成功的通道。
 
正确例子:
// concurrency/select/main.go package main import "fmt" func main() { ch1 := make(chan int, 1) ch2 := make(chan int, 1) ch1 <- 1 select { case v, ok := <-ch1: if ok { fmt.Println("ch1通道", v) } case v, ok := <-ch2: if ok { fmt.Println("ch2通道", v) } } } // 输出 ch1通道 1
  • ch1 通道有数据,因此进入了第一个 case 分支。
  • 这里展示了读通道,也可以给通道写数据,例:case ch2<-2
  • 如果删除 ch1 <- 1select 语句会在 main 函数中一直等待,因此会造成死锁。
fatal error: all goroutines are asleep - deadlock! goroutine 1 [select]: main.main() C:/workspace/go/src/gobasic/cocurrency/select/main.go:9 +0xe7

2. 有 default 分支

为了防止 select 语句出现死锁,可以增加 default 分支。意思就是,当没有一个 case 分支可以进行通道读写,那就走 default 分支。
// ... func main() { ch1 := make(chan int, 1) ch2 := make(chan int, 1) select { case v, ok := <-ch1: if ok { fmt.Println("ch1通道", v) } case v, ok := <-ch2: if ok { fmt.Println("ch2通道", v) } default: fmt.Println("没有可读写通道") } } // 输出 没有可读写通道
 

总结

这节课很关键,也是很容易出现问题的地方,我再针对重点的重点强调一下:
  • 在函数调用前增加 go 关键字,表示创建 Goroutine。
  • 执行 Goroutine 不会同步等待,常用的使用 WaitGroup 类型处理。
  • Goroutine 的通信使用通道传输。
  • 无缓冲的通道,不要进行同步读写,不然会阻塞。
 
最后,再揣摩一句话,不要用共享内存来通信,要用通信来共享内存。