小编典典

在相同goroutine中创建的goroutine是否总是按顺序执行?

go

package main

func main() {
        c:=make(chan int)
        for i:=0; i<=100;i++ {
                i:=i
                go func() {
                        c<-i
                }() 
        }   
        for {
                b:=<-c
                println(b)
                if b==100 {
                        break
                }   
        }   
}

上面的代码创建了100个goroutine,将num插入到通道c,所以我只是想知道,这些goroutine是否会以随机顺序执行?在我的测试期间,输出将始终为1到100


阅读 357

收藏
2020-07-02

共1个答案

小编典典

严格来说,您观察到的“随机”行为是不确定性行为。

要了解此处发生的情况,请考虑通道的行为。在这种情况下,它有许多goroutine试图写入通道,而只有一个goroutine从通道中读出。

阅读过程只是顺序的,我们可以忽略它。

有许多并发写入过程,它们竞争访问共享资源(通道)。频道必须选择要接受的消息。

当通信顺序过程(CSP)网络做出 选择时 ,它引入了 不确定性 。在Go中,可以通过两种方式进行这种选择:

  • 同时访问一个通道的一端,以及
  • select 陈述。

您的情况是其中的第一个。

CSP是允许对并发行为进行分析和理解的代数。Roscoe和Hoare撰写的开创性著作“ Occam编程法则
https://www.cs.ox.ac.uk/files/3376/PRG53.pdf(类似的想法也适用于Go,尽管差异很小)。

令人惊讶的是,goroutine的并发执行是 完全确定的 。这是 只有当选择由 非确定性的用武之地。

2020-07-02