Question

0 0

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


 Golang


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

竞态条件 go goroutine 并发

10 years ago

天天撸管子

share

天天撸管子 10 years ago

Answer 1

0

我在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
==================

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

answered 10 years ago

derlin

share

derlin answered 10 years ago

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

天天撸管子

Answers

derlin

Your Answer