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

Question

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

Answer 1

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

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

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

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

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

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

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

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

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