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
严格来说,您观察到的“随机”行为是不确定性行为。
要了解此处发生的情况,请考虑通道的行为。在这种情况下,它有许多goroutine试图写入通道,而只有一个goroutine从通道中读出。
阅读过程只是顺序的,我们可以忽略它。
有许多并发写入过程,它们竞争访问共享资源(通道)。频道必须选择要接受的消息。
当通信顺序过程(CSP)网络做出 选择时 ,它引入了 不确定性 。在Go中,可以通过两种方式进行这种选择:
select
您的情况是其中的第一个。
CSP是允许对并发行为进行分析和理解的代数。Roscoe和Hoare撰写的开创性著作“ Occam编程法则 ” https://www.cs.ox.ac.uk/files/3376/PRG53.pdf(类似的想法也适用于Go,尽管差异很小)。
令人惊讶的是,goroutine的并发执行是 完全确定的 。这是 只有当选择由 非确定性的用武之地。