不设置runtime.GOMAXPROC时一个很奇怪的竞态条件问题

Question

Golangpackage main
import "fmt"

var quit chan int
var glo int

func test() {
    fmt.Println(glo)
}

func main() {
    glo = 0
    n := 10000
    quit = make(chan int, n)
    go test()
    for {
        quit <- 1
        glo++
    }
}

这段代码在用Go1.4.2编译运行时，当n较小时（比如10000）输出数字等于n，但是当n比较大（比如1000000）时输出的数字却是小于n的。我没有设置GOMAXPROC所以两个goroutine应当不能并行，同时glo++操作是在quit <- 1后面，为什么会出现竞态条件呢？

Answer 1

我在stackoverflow上也提问了相同的问题，获得了回答。大致翻译如下：
因为main和test两个goroutine之间没有同步，所以无法预料test中的fmt.Println会在什么时候被执行。

当在GOMAXPROC=1时运行时，输出的结果取决于调度器决定什么时候暂停main的运行并切换到test。循环中向channel的发送操作是一个可以进行调度的点，所以for循环经过了足够次迭代后test会在某个时刻获得执行机会。程序的各次运行过程中这个切换的点不一定一样，所以每次输出的结果都不一样。

使用竞态检查器可以捕获这个竞态条件：

$ go run -race test.go
==================
WARNING: DATA RACE
Read by goroutine 5:
  main.test()
      /../test.go:8 +0x6e

Previous write by main goroutine:
  main.main()
      /.../test.go:18 +0xfe

Goroutine 5 (running) created at:
  main.main()
      /.../test.go:15 +0x8f
==================

(我这却没法捕获这个竞态条件，只会输出一个结果然后提示死锁，我试了一下只有消除死锁之后才能捕获成功，不知道原答主是怎么做的）