为什么这个程序会在我的系统上终止而不是在操场上？

Question

考虑这个程序：package mainimport "fmt"import "time"import "runtime"func main() {    x := 0    go func() {        time.Sleep(500 * time.Millisecond)        x = 1    }()    for x == 0 {        runtime.Gosched()    }    fmt.Println("it works!")}为什么它在本地终止而不是在Playground上终止？我的程序的终止是否依赖于未定义的行为？

Answer 1

该代码没有提供太多保证。它几乎完全依赖于未定义行为的实现细节。

在大多数多线程系统中，不能保证一个没有障碍的线程中的更改会在另一个线程中看到。你有一个 goroutine，它可以在另一个处理器上运行，将一个值写入一个没有人保证读取的变量。

将for x == 0 {可以很容易地重写for {，因为从未有一个保证该变量的任何变化可能是可见的。

竞赛检测器也可能会报告此问题。你真的不应该期望这会起作用。如果你想要一个，sync.WaitGroup你应该只使用一个，因为它可以跨线程正确协调。

Answer 2

Go Playground 使用了一种特殊的实现，time.Sleep旨在防止单个程序垄断网站的后端资源。

正如这篇关于如何实现Playground 的文章中所述，调用 time.Sleep() 的 goroutine 被置于睡眠状态。操场后端等待直到所有其他 goroutine 被阻塞（否则会出现死锁），然后以最短的时间唤醒 goroutine。

在您的程序中，您有两个 goroutine：一个主要的，一个调用time.Sleep. 由于主 goroutine 永远不会阻塞，因此time.Sleep调用永远不会返回。程序继续运行，直到超过分配给它的 CPU 时间，然后终止。