Go 共享状态并发安全：mutex、atomic 和 channel 怎么选

Go 鼓励通过通信共享内存，但真实业务里仍然会有本地缓存、计数器、连接状态和配置快照。选择同步工具时，要看数据语义，而不是只看哪个写起来短。

mutex 适合保护复杂状态

如果一次操作需要同时读写多个字段，mutex 最清晰。临界区要短，不要在持锁时做网络请求或慢 SQL。

atomic 适合简单数值或指针替换

计数器、开关、只读配置快照可以考虑 atomic。但 atomic 不能自动保护多个变量之间的一致性。

channel 适合所有权转移

当数据应该由单个 goroutine 顺序处理时，channel 可以让所有权更清晰，例如任务队列或事件流。

生产场景

适用于本地缓存、计数器、配置快照、连接状态和限流器集合。共享状态越靠近热路径，越需要清晰的同步语义和 race 检查。

关键指标

• race 检测结果与并发测试覆盖
• 锁等待时间和临界区耗时
• 缓存命中率、配置切换次数与异常状态

常见误区

• 用 atomic 维护多个相关字段导致状态不一致
• 持锁时访问网络或数据库
• map 并发读写依赖线上偶现才发现

落地建议

建议按语义选工具：复杂状态用 mutex，简单计数用 atomic，顺序处理用 channel。上线前对相关包执行 go test -race，并在压测中观察锁竞争。

代码示例

type Counter struct {
    mu sync.Mutex
    m  map[string]int64
}

func (c *Counter) Inc(key string) {
    c.mu.Lock()
    defer c.mu.Unlock()
    c.m[key]++
}

上线检查

• 本地运行 go test -race。
• 持锁区域不做慢 IO。
• 多个字段的一致性不用 atomic 硬凑。