个人中心
gpt4 book ai didi

Go select 死锁的一个细节

转载 作者：qq735679552 更新时间：2022-09-27 22:32:09 26 4
gpt4 key购买 nike

CFSDN坚持开源创造价值，我们致力于搭建一个资源共享平台，让每一个IT人在这里找到属于你的精彩世界.

这篇CFSDN的博客文章Go select 死锁的一个细节由作者收集整理，如果你对这篇文章有兴趣，记得点赞哟.

下面对是一个 select 死锁的问题 。

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
package main
 
import "sync"
 
func main() {
  var wg sync .WaitGroup
  foo := make (chan int)
  bar := make (chan int)
  wg.Add(1)
  go func() {
   defer wg.Done()
   select {
   case foo <- <-bar:
   default:
    println( "default" )
   }
  }()
  wg.Wait()
}

按常规理解，go func 中的 select 应该执行 default 分支，程序正常运行。但结果却不是，而是死锁。可以通过该链接测试：https://play.studygolang.com/p/kF4pOjYXbXf.

原因文章也解释了，Go 语言规范中有这么一句:

For all the cases in the statement, the channel operands of receive operations and the channel and right-hand-side expressions of send statements are evaluated exactly once, in source order, upon entering the “select” statement. The result is a set of channels to receive from or send to, and the corresponding values to send. Any side effects in that evaluation will occur irrespective of which (if any) communication operation is selected to proceed. Expressions on the left-hand side of a RecvStmt with a short variable declaration or assignment are not yet evaluated. 。

不知道大家看懂没有？于是，最后来了一个例子验证你是否理解了：为什么每次都是输出一半数据，然后死锁？（同样，这里可以运行查看结果：https://play.studygolang.com/p/zoJtTzI7K5T） 。

?
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
package main
 
import (
  "fmt"
  "time"
)
 
func talk(msg string, sleep int) <-chan string {
  ch := make (chan string)
  go func() {
   for i := 0; i < 5; i++ {
    ch <- fmt .Sprintf( "%s %d" , msg, i)
    time .Sleep( time .Duration( sleep ) * time .Millisecond)
   }
  }()
  return ch
}
 
func fanIn(input1, input2 <-chan string) <-chan string {
  ch := make (chan string)
  go func() {
   for {
    select {
    case ch <- <-input1:
    case ch <- <-input2:
    }
   }
  }()
  return ch
}
 
func main() {
  ch := fanIn(talk( "A" , 10), talk( "B" , 1000))
  for i := 0; i < 10; i++ {
   fmt .Printf( "%q\n" , <-ch)
  }
}

有没有这种感觉:

Go select 死锁的一个细节

这是 StackOverflow 上的一个问题：https://stackoverflow.com/questions/51167940/chained-channel-operations-in-a-single-select-case.

关键点和文章开头例子一样，在于 select case 中两个 channel 串起来，即 fanIn 函数中:

?
1
2
3
4
select {
case ch <- <-input1:
case ch <- <-input2:
}

如果改为这样就一切正常:

?
1
2
3
4
5
6
select {
case t := <-input1:
   ch <- t
case t := <-input2:
   ch <- t
}

结合这个更复杂的例子分析 Go 语言规范中的那句话.

对于 select 语句，在进入该语句时，会按源码的顺序对每一个 case 子句进行求值：这个求值只针对发送或接收操作的额外表达式.

比如:

?
1
2
3
4
5
6
7
8
9
10
// ch 是一个 chan int；
// getVal() 返回 int
// input 是 chan int
// getch() 返回 chan int
select {
   case ch <- getVal():
   case ch <- <-input:
   case getch() <- 1 :
   case <- getch():
}

在没有选择某个具体 case 执行前，例子中的 getVal() 、 <-input 和 getch() 会执行。这里有一个验证的例子：https://play.studygolang.com/p/DkpCq3aQ1TE.

?
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
package main
 
import (
  "fmt"
)
 
func main() {
  ch := make(chan int )
  go func() {
   select {
   case ch <- getVal( 1 ):
    fmt.Println( "in first case" )
   case ch <- getVal( 2 ):
    fmt.Println( "in second case" )
   default :
    fmt.Println( "default" )
   }
  }()
 
  fmt.Println( "The val:" , <-ch)
}
 
func getVal(i int ) int {
  fmt.Println( "getVal, i=" , i)
  return i
}

无论 select 最终选择了哪个 case， getVal() 都会按照源码顺序执行： getVal(1) 和 getVal(2) ，也就是它们必然先输出:

?
1
2
getVal, i= 1
getVal, i= 2

你可以仔细琢磨一下.

现在回到 StackOverflow 上的那个问题.

每次进入以下 select 语句时:

?
1
2
3
4
select {
case ch <- <-input1:
case ch <- <-input2:
}

<-input1 和 <-input2 都会执行，相应的值是：A x 和 B x（其中 x 是 0-5）。但每次 select 只会选择其中一个 case 执行，所以 <-input1 和 <-input2 的结果，必然有一个被丢弃了，也就是不会被写入 ch 中。因此，一共只会输出 5 次，另外 5 次结果丢掉了。（你会发现，输出的 5 次结果中，x 比如是 0 1 2 3 4） 。

而 main 中循环 10 次，只获得 5 次结果，所以输出 5 次后，报死锁.

虽然这是一个小细节，但实际开发中还是有可能出现的。比如文章提到的例子写法:

?
1
2
3
4
5
6
7
8
9
10
// ch 是一个 chan int；
// getVal() 返回 int
// input 是 chan int
// getch() 返回 chan int
select {
   case ch <- getVal():
   case ch <- <-input:
   case getch() <- 1:
   case <- getch():
}

因此在使用 select 时，一定要注意这种可能的问题.

不要以为这个问题不会遇到，其实很常见。最多的就是 time.After 导致内存泄露问题，网上有很多文章解释原因，如何避免，其实最根本原因就是因为 select 这个机制导致的.

比如如下代码，有内存泄露（传递给 time.After 的时间参数越大，泄露会越厉害），你能解释原因吗?

?
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
package main
 
import (
     "time"
)
 
func main()  {
     ch := make(chan int , 10 )
 
     go func() {
         var i = 1
         for {
             i++
             ch <- i
         }
     }()
 
     for {
         select {
         case x := <- ch:
             println(x)
         case <- time.After( 30 * time.Second):
             println(time.Now().Unix())
         }
     }
}

到此这篇关于Go select 死锁的一个细节的文章就介绍到这了,更多相关Go select 死锁内容请搜索我以前的文章或继续浏览下面的相关文章希望大家以后多多支持我！ 。

原文链接：https://www.tuicool.com/articles/NZfQFfu 。

最后此篇关于Go select 死锁的一个细节的文章就讲到这里了,如果你想了解更多关于Go select 死锁的一个细节的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！ 。

26 4 0
文章推荐： Go语言并发编程之互斥锁Mutex和读写锁RWMutex
文章推荐： python使用phoenixdb操作hbase的方法示例
文章推荐： Python面向对象程序设计中类的定义、实例化、封装及私有变量/方法详解
文章推荐： Go语言Elasticsearch数据清理工具思路详解
qq735679552
个人简介

我是一名优秀的程序员,十分优秀！

滴滴打车优惠券免费领取
滴滴打车优惠券
全站热门文章
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com