- select 概念
- select 应用场景
- 死锁
- select 重要特性
select 概念
select 语句用于在多个发送/接收信道操作中进行选择。select 语句会一直阻塞,直到发送/接收操作准备就绪。如果有多个信道操作准备完毕,select 会随机地选取其中之一执行。该语法与 switch 类似,所不同的是,这里的每个 case 语句都是信道操作
代码语言:javascript复制package main
import (
"fmt"
"time"
)
func server1(ch chan string) {
time.Sleep(6 * time.Second)
ch <- "from server1"
}
func server2(ch chan string) {
time.Sleep(3 * time.Second)
ch <- "from server2"
}
func main() {
output1 := make(chan string)
output2 := make(chan string)
go server1(output1)
go server2(output2)
select {
case s1 := <-output1:
fmt.Println(s1)
case s2 := <-output2:
fmt.Println(s2)
}
}
在上面程序里,server1 函数(第 8 行)休眠了 6 秒,接着将文本 from server1 写入信道 ch。而 server2 函数(第 12 行)休眠了 3 秒,然后把 from server2 写入了信道 ch。
而 main 函数在第 20 行和第 21 行,分别调用了 server1 和 server2 两个 Go 协程。
在第 22 行,程序运行到了 select 语句。select 会一直发生阻塞,除非其中有 case 准备就绪。在上述程序里,server1 协程会在 6 秒之后写入 output1 信道,而server2 协程在 3 秒之后就写入了 output2 信道。因此 select 语句会阻塞 3 秒钟,等着 server2 向 output2 信道写入数据。3 秒钟过后,程序会输出:
如果是下面的代码呢?
代码语言:javascript复制package main
import (
"fmt"
"time"
)
func server1(ch chan string) {
time.Sleep(6 * time.Second)
ch <- "from server1"
}
func server2(ch chan string) {
time.Sleep(3 * time.Second)
ch <- "from server2"
}
func main() {
output1 := make(chan string)
output2 := make(chan string)
go server1(output1)
go server2(output2)
select {
case s1 := <-output1:
fmt.Println(s1)
case s2 := <-output2:
fmt.Println(s2)
default:fmt.Println("不好意思,我先结束了")
}
}
image.png
select 应用场景
假设我们有一个关键性应用,需要尽快地把输出返回给用户。这个应用的数据库复制并且存储在世界各地的服务器上。假设函数 server1 和 server2 与这样不同区域的两台服务器进行通信。每台服务器的负载和网络时延决定了它的响应时间。我们向两台服务器发送请求,并使用 select 语句等待相应的信道发出响应。select 会选择首先响应的服务器,而忽略其它的响应。使用这种方法,我们可以向多个服务器发送请求,并给用户返回最快的响应了。:)
代码语言:javascript复制package main
import (
"fmt"
"time"
)
func process(ch chan string) {
time.Sleep(6 * time.Second)
ch <- "process successful"
}
func main() {
ch := make(chan string)
go process(ch)
for {
time.Sleep(5 * time.Second)
select {
case v := <-ch:
fmt.Println("received value: ", v)
return
default:
fmt.Println("no value received")
}
}
}
for 是一个无限循环的操作,当5秒达到后,没有收到信道的数据,会执行默认分支,在第6秒的时候信道中有数据了,这个时候,不会立马执行分支,知道第二轮循环的时候,分支从信道中取到了数据所以执行了`fmt.Println("received value: ", v)
产生死锁
代码语言:javascript复制package main
func main() {
ch := make(chan string)
select {
case <-ch:
}
}
因为没有线程给chan 写数据,所以代码会一致卡在select 这里,它已经卡死了,系统会差生panic
select的重要特性
1.如果select 有默认分支就不会死锁
代码语言:javascript复制package main
import "fmt"
func main() {
ch := make(chan string)
select {
case <-ch:
default:
fmt.Println("default case executed")
}
}
2.若果信道的默认值为nil 也会死锁
代码语言:javascript复制package main
import "fmt"
func main() {
var ch chan string
select {
case v := <-ch:
fmt.Println("received value", v)
}
}
3.当 select 由多个 case 准备就绪时,将会随机地选取其中之一去执行。
代码语言:javascript复制package main
import (
"fmt"
"time"
)
func server1(ch chan string) {
ch <- "from server1"
}
func server2(ch chan string) {
ch <- "from server2"
}
func main() {
output1 := make(chan string)
output2 := make(chan string)
go server1(output1)
go server2(output2)
time.Sleep(1 * time.Second)
select {
case s1 := <-output1:
fmt.Println(s1)
case s2 := <-output2:
fmt.Println(s2)
}
}
4.空 select 会一致阻塞,引发panic
代码语言:javascript复制package main
func main() {
select {}
}
image.png