Go race 报告没有栈信息时如何提高复现概率

Go 的 -race 报告没有完整栈信息时，先不要急着把 history_size 调到很大。这个现象通常有三种原因：竞态根本没有在本次运行中触发、报告中的历史访问无法恢复，或者测试输出被重定向/截断。正确做法是先确认缺失类型，再用重复执行、并发扰动和 GORACE 选项扩大可观测窗口。

先区分没有触发竞态和报告栈不完整

正常的 race detector 报告会列出冲突访问，例如 Read by goroutine 和 Previous write by goroutine，并继续给出相关 goroutine 的创建位置。如果输出只有普通的 ok，说明这次运行没有观察到竞态；如果有 WARNING: DATA RACE 但栈段中出现 failed to restore the stack，才是历史访问栈恢复问题。

还要检查输出链路。go test 会汇总测试输出，CI 可能只保留最后几百行；并行包测试也会让多份报告交错。先把标准错误和标准输出分别保存，能避免把日志截断误判为 race runtime 没有栈。

用 -run、-count 和 -cpu 扩大复现窗口

偶发竞态最怕“只跑一次全部测试”。先锁定目标测试，再增加重复次数和处理器并发组合。下面的命令只作为复现示例，参数按测试耗时调整：

# 只重复目标测试，避免无关包和测试稀释并发时序
go test -race -run '^TestSharedCache$' -count=80 -cpu=1,2,4 -v ./internal/cache 2>race.stderr | tee race.stdout

# 将 race runtime 报告写入带 PID 的文件，便于保留完整原始输出
GORACE="log_path=./artifacts/race strip_path_prefix=$(pwd)" \
  go test -race -run '^TestSharedCache$' -count=80 -cpu=1,2,4 ./internal/cache

-count 增加独立运行次数，-cpu 让测试在不同 GOMAXPROCS 条件下运行，-run 则把噪声压到最低。它们只能提高触发机会，不能证明代码无竞态；测试覆盖不到的请求路径仍然需要用带 -race 的程序在接近真实的负载下运行。

只有栈恢复失败时才提高 history_size

GORACE 的 history_size 控制每个 goroutine 的访问历史容量。Go 官方说明中，增大它可以避免报告里的 “failed to restore the stack”，代价是更多内存。可以先从 2 开始短时复现，仍不足再升到 3，不要把它当成让竞态更容易发生的开关。

# 仅针对栈恢复失败的复现窗口增加历史容量，并缩短报告路径
GORACE="history_size=2 log_path=./artifacts/race strip_path_prefix=$(pwd)" \
  go test -race -run '^TestSharedCache$' -count=40 ./internal/cache

log_path 会把报告写到带进程号的文件；strip_path_prefix 只改变路径显示，不改变调用关系。若报告本来就没有 WARNING: DATA RACE，调大历史窗口不会凭空生成栈；若日志被 CI 截断，应该先读取保存的文件。

用最小共享状态复查真实并发路径

为了“让 race 出现”而把程序改成固定的 time.Sleep，可能得到一个脱离真实业务的报告。更稳妥的缩减方式是保留原来的共享对象、goroutine 创建位置、channel 或锁，只减少输入数据和请求数量。每次复现记录 Go 版本、平台、测试名、-cpu 值、-count 次数以及是否设置 GORACE。

如果测试依赖随机调度，可以让测试输出随机种子或请求序列；不要只记录“偶现”。一个可修复的报告至少应能回答：哪一个共享变量发生冲突、哪条读写栈对应业务代码、两个 goroutine 从哪里创建、修复后同一命令是否不再出现 DATA RACE。

从报告回到冲突访问和创建点

拿到完整报告后，先分别圈出 Read 和 Previous write 的第一处业务函数，再向上追踪参数或字段如何指向同一共享状态。创建栈用于解释并发来源，不等于冲突发生位置；修复时要补上互斥、消息传递或对象所有权边界，而不是只让测试等待更久。

最后用相同的 -run、-count、-cpu 和负载复查。一次没有报告只能说明当前样本未触发，不代表系统已经证明无竞态；只有覆盖了原先的并发路径，并且连续复查都没有 DATA RACE，结论才更有参考价值。

相关问题

没有栈信息是不是 race detector 失效了？

不一定。先区分没有触发、历史栈恢复失败和日志截断；三者的修复动作不同。

history_size 越大越容易发现竞态吗？

不会。它主要增加访问历史，帮助恢复更完整的报告，同时增加内存开销；触发机会仍取决于实际执行路径。

为什么要同时使用 -count 和 -cpu？

-count 增加尝试次数，-cpu 改变并发度，两者结合比单纯重复同一个调度条件更容易覆盖偶发时序。