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

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

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

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

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

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

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

• 同时访问一个通道的一端，以及

• select

  陈述。

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

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

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