多个goroutine同时读写共享内存必然导致竞态，非概率问题而是确定性错误；必须用Mutex、atomic、channel或sync.Map等机制精准同步，锁范围应仅限临界区，避免滥用。
多个 goroutine 同时读写同一块内存，不加控制就必然出现竞态——这不是概率问题，是确定性错误。Go 的 counter++、map[key] = value、slice = append(slice, x) 这些看似原子的操作，底层都是多步内存访问，只要没同步，就一定会丢数据。
sync.Mutex 是最直接的修复方式，但锁的范围必须精准
很多人用 mutex.Lock() 把整个函数包起来，结果性能崩了，还掩盖了真正的问题边界。锁只该包裹「真正共享且可变」的那几行代码，不是整个逻辑流。
- 错误示范：
mutex.Lock()放在函数开头、defer mutex.Unlock()放在结尾，中间夹着 HTTP 请求、日志打印、JSON 解析等无关操作 - 正确做法：只锁住
counter++或cache[key] = val这类纯内存写入动作 - 注意：
mutex必须是变量的 *所属者* 持有，不能是局部拷贝；如果结构体字段要并发安全，mutex应作为该结构体的字段，而非外部独立变量
sync.Map 适合高频读 + 偶尔写，但别误当万能 map 替代品
sync.Map 不是线程安全版 map 的通用平替。它牺牲了遍历一致性、不支持 len()、不能用 range 安全迭代，且写多于读时性能反而不如加锁的普通 map。
- 适用场景：缓存类结构，比如
userID → sessionToken，读占比 >95%，写极少且不关心遍历顺序 - 不适用场景：需要频繁
range遍历、依赖len(m)判断大小、或写操作密集（如每秒数百次更新） - 关键限制：
sync.Map的LoadOrStore返回值是(interface{}, bool)，第二个bool表示是否为新存入，这个语义常被忽略导致逻辑错判
atomic 包只适用于基础类型，且仅限「单变量」原子操作
atomic 能解决 int32、int64、uintptr、unsafe.Pointer 和某些结构体（需满足 unsafe.Alignof 约束），但它不能保护字段组合、不能用于 map 或 slice，更不能替代锁来保护业务逻辑。
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
- 典型用法：
atomic.AddInt64(&counter, 1)、atomic.LoadPointer(&ptr) - 常见误用：试图用
atomic.StorePointer安全替换一个含多个字段的 struct 指针——这只能保证指针本身原子更新，struct 内部字段仍可能被并发读写破坏 - 陷阱：
atomic不提供内存屏障之外的同步语义，比如两个 goroutine 分别执行atomic.StoreInt64(&a, 1)和atomic.StoreInt64(&b, 2)，无法保证其他 goroutine 看到a和b的更新顺序一致
channel 通信比共享内存更安全，但别为了“哲学”硬套
Go 官方推荐 “不要通过共享内存来通信”，这句话的潜台词是：当你发现需要给 3 个以上 goroutine 同时读写一个变量时，大概率该重构为 channel 驱动的模型。但 channel 不是银弹——它引入队列、阻塞、缓冲区管理等新复杂度。
- 适合 channel 的场景：状态机驱动（如连接管理）、事件分发（如日志聚合）、生产者-消费者明确分离
- 不适合硬转 channel 的场景：低延迟高频计数（channel 发送/接收开销远高于 atomic）、嵌套深的配置更新（需多次 channel 往返才能落地）
- 真实坑点：无缓冲 channel 在 sender 和 receiver 未就位时会永久阻塞；带缓冲 channel 的容量设小了丢消息，设大了吃内存，且
len(ch)只反映当前缓冲长度，不是可靠的状态指标
竞态不是靠加锁就能消失的——它暴露的是设计缺陷。最危险的不是没加锁，而是加了锁却没覆盖全部访问路径，比如忘了某个 goroutine 直接读全局变量、或在 defer 里 unlock 之前 panic 导致锁永远不释放。用 go run -race 是底线，但真正的防线在第一次写共享变量时，就想清楚谁该拥有它、谁该请求它、以及失败时怎么退。
