Go race数据竞争检测
对同一内存的竞争读写,会导致出现数据错乱,是多进程/线程编码中的常见问题。
go中提供了race工具协助识别代码中的数据竞争问题。使用起来也非常方便,设计编译的操作时加上-race即可:
go test -race xxx
go run -race xxx
go build -race xxx
go install -race xxx
这样编译出来的二进制在执行时如果检测到竞争,就可以输出报告。
还可以通过GORACE环境变量来控制race的一些行为,比如输出报告的路径,检测到报告是否退出等。
举例:
package main
import "time"
func myChan() {
ch1 := make(chan int, 1)
go func() {
ch1 <- 123
}()
time.Sleep(1 * time.Second)
close(ch1)
}
func main() {
myChan()
}
执行输出:
zxq@DESKTOP-0BAPSTC:/mnt/d/go_test$ go run -race go_testrace.go
==================
WARNING: DATA RACE
Write at 0x00c000122010 by main goroutine:
runtime.closechan()
/usr/local/go/src/runtime/chan.go:357 +0x0
main.myChan()
/mnt/d/go_test/go_testrace.go:13 +0x84
main.main()
/mnt/d/go_test/go_testrace.go:17 +0x2f
Previous read at 0x00c000122010 by goroutine 6:
runtime.chansend()
/usr/local/go/src/runtime/chan.go:158 +0x0
main.myChan.func1()
/mnt/d/go_test/go_testrace.go:9 +0x4b
Goroutine 6 (finished) created at:
main.myChan()
/mnt/d/go_test/go_testrace.go:8 +0x69
main.main()
/mnt/d/go_test/go_testrace.go:17 +0x2f
==================
Found 1 data race(s)
exit status 66
从代码可以看出,执行过程本身是不会竞争的(sleep错开了时间),但是程序检测到了这个风险。
race检测的特点:
1.运行时检测,不是静态代码检查。
2.只有执行到的代码才能被检查出来竞争。比如一些if else的代码分支没走到,就不会检测到其中可能存在的竞争。
3.只要代码执行到就能检测出来,即使不一定出现竞争。比如上面的例子,一般是不会出现竞争态的。
4.会严重影响程序性能,可能会占用数倍的cpu和内存。所以正式环境不能上线。

浙公网安备 33010602011771号