Go并发安全必须通过-go test -race测试暴露竞态,结合WaitGroup高概率触发竞争、atomic/Mutex修复后确保-race静默,并用goleak检查goroutine泄漏。
Go语言的并发安全性不能靠肉眼判断,必须通过有针对性的单元测试来暴露竞态条件。核心方法是结合 -race 竞态检测器 + 可重复触发的并发操作 + 显式同步控制。
-race 启动竞态检测是前提Go 自带的 race detector 是发现数据竞争最直接有效的工具。它不是可选插件,而是必须开启的测试基础:
go test -race,所有 go run 或 go build 也应加 -race 做临时验证单纯起几个 goroutine 调用函数往往不够。要让竞争“大概率发生”,需主动制造临界区压力:
sync.WaitGroup 控制多个 goroutine 同时(或快速连续)访问共享变量或方法Inc() 方法,启动 10 个 goroutine 各自调用 100 次,最后检查总数是否为 1000sync/atomic 或 sync.Mutex 修复后,测试必须能通过 -race
修复不等于“看起来不 panic”——必须确保 -race 完全静默:
atomic(如 atomic.AddInt64)处理简单数值操作,性能好且无锁
sync.Mutex 或 sync.RWMutex 包裹临界区go test -race,零警告才算真正安全go.uber.org/goleak 检查 goroutine 泄漏并发测试常伴随 goroutine 忘记结束,导致资源堆积。这不是数据竞争,但属于并发缺陷:
goleak.VerifyNone(t),自动检查是否有意外
存活的 goroutine-race 配合使用,构成并发健壮性的双重保障基本上就这些。不复杂但容易忽略的是:别只写“能跑通”的测试,要写“能让 race detector 报警”的测试——那才是并发安全的试金石。