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

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

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后面,为什么会出现竞态条件呢?


我在stackoverflow上也提问了相同的问题,获得了回答。大致翻译如下:
因为maintest两个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
==================

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

【热门文章】
【热门文章】