Internal downstream skill for …

# CTF沙箱复现竞态条件：共享 Map 状态漂移实战

一、环境准备

• 基础镜像：Golang 1.20+ 官方镜像
• 竞态检测开关：构建/运行时加 -race 参数
• 沙箱要求：关闭容器内只读限制，允许写 /tmp 输出日志

二、复现代码设计要点

• 定义共享 state map[string]int，故意不加 sync.Mutex/sync.RWMutex（这是复现前提）
• 启动 3 个 goroutine：
• 1 个写者：循环 10 万次执行 state["key"]++（读-改-写非原子，天然竞态窗口）
• 2 个读者：并发循环读取 v := state["key"] 并累加校验值
• 写者结束后用 wg.Wait() 等待，再对比期望值与实际值：
• 期望 state["key"] == 100000，实际通常小于该值（写写冲突丢失更新）
• 读者观测值与最终值不一致即视为 state drift

三、触发与捕获步骤

1. go build -race -o race_demo main.go

2. GORACE="log_path=/tmp/race.log halt_on_error=0" ./race_demo

3. 程序输出 drift 结果（如 expected=100000 got=98xxx，具体数值每次运行不同）

4. 查看 /tmp/race.log.* 获取竞态报告

四、Race Detector 日志解读

• 关注 WARNING: DATA RACE 字样
• 报告包含三要素：
• Read at ...：读操作调用栈（读者 goroutine）
• Previous write at ...：写操作调用栈（写者 goroutine）
• Location：指向 map 访问的源码行与偏移
• 每次检测默认最多报告有限数量的竞态，可用 GORACE 调整

五、修复对照验证（可选加分项）

• 加 sync.RWMutex：写者 Lock/Unlock，读者 RLock/RUnlock
• 重新 -race 运行，应无告警且 drift 消失（实际值等于期望值）

六、注意事项

• 不加 -race 时 drift 可能偶发不出现，建议多次运行或适当增大迭代次数
• 竞态是未定义行为，同一二进制多次运行结果会不同，日志中的中间值仅作演示参考