并发编程可以提高程序的性能和稳定性,但也带来了一些挑战,如竞态条件。竞态条件是指并发程序中的多个线程同时访问共享资源,导致程序行为不确定的问题。为了避免竞态条件的产生,需要使用同步机制(如互斥锁、条件变量等)来协调线程之间的访问。然而,在复杂的程序中,竞态条件可能难以察觉,因此 Golang 提供了竞态条件检测工具 Race Detector。
Race Detector 的原理
race detector 集成在了 golang 的工具链中,当设置了 -race 标志位时,编译器会使用代码记录所有的内存访问,包括访问内存的时间和方式,而运行时库则监控对共享变量的不同步访问情况。当检测到这种竞态行为时,将会打印警告信息。
因为 race detector 只有在代码运行起来并且竞争条件被触发后才能检测到,所以需要在实际工作负载状态下进行检测,但是开启竞态条件检测会占用10倍的 CPU 和内存,因此在生产环境进行是不太现实的,所以推荐在负载测试或者集成测试阶段进行竞态条件检测(也可以在生产环境中部署多个实例,其中一个实例开启竞态条件检测)。
Race Detector 使用方法
Race Detector 的使用方法也非常简单,因为 race detector 集成在了 golang 的工具链中,编译时如果要开启竞态条件检测,只需在命令行中添加 -race 标志即可。例如:
$ go test -race mypkg // 测试包
$ go run -race mysrc.go // 编译并运行
$ go build -race mycmd // 编译
$ go install -race mypkg // 安装包
看一个具体的示例,代码如下:
package mainimport "fmt"func main() {done := make(chan bool)m := make(map[string]string)m["name"] = "world"go func() {m["name"] = "data race"done <- true}()fmt.Println("Hello,", m["name"])<-done
}
使用如下命令进行竞态条件检测:
$ go run -race racy.go
Hello, world
==================
WARNING: DATA RACE
Write at 0x00c0000940c0 by goroutine 6:runtime.mapassign_faststr()/usr/local/go1.21/src/runtime/map_faststr.go:203 +0x0main.main.func1()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:10 +0x4aPrevious read at 0x00c0000940c0 by main goroutine:runtime.mapaccess1_faststr()/usr/local/go1.21/src/runtime/map_faststr.go:13 +0x0main.main()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:13 +0x159Goroutine 6 (running) created at:main.main()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:9 +0x13c
==================
==================
WARNING: DATA RACE
Write at 0x00c0000ac088 by goroutine 6:main.main.func1()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:10 +0x56Previous read at 0x00c0000ac088 by main goroutine:main.main()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:13 +0x164Goroutine 6 (running) created at:main.main()/Users/路多辛的博客/projects/go/workspace/hello/racy.go:9 +0x13c
==================
Found 2 data race(s)
exit status 66
小结
race detector 是一个用于检查并发逻辑正确性的强大工具,不会误报,所以一定要认真解决检测出的问题。代码被执行到的越多也就是代码覆盖率越高,检测效果越好。通过合理使用 race detector,可以提高并发程序的质量和稳定性。