atomic.loaduint64总返回0的根本原因是写操作未使用原子函数,如直接赋值counter=100或++counter,导致非原子写入不被原子读感知;必须配对使用atomic.storeuint64或atomic.adduint64等原子写操作,且确保uint64变量8字节对齐、类型严格匹配。

atomic.LoadUint64 总是返回 0?检查写操作是否用了原子函数
根本原因不是 atomic.LoadUint64 有问题,而是你对变量的写入没走原子路径。比如用 counter = 100 直接赋值,或用 ++counter,这些操作在并发下不被 LoadUint64 感知——它只保证“读那一刻的快照”,但无法看到非原子写入的内存效果。
- 所有写必须用
atomic.StoreUint64、atomic.AddUint64等原子函数,禁止裸赋值 - 类型必须严格匹配:不能对
uint32变量调atomic.LoadUint64,会 panic 或读错内存 - 如果变量定义在 struct 中,确保
uint64字段自然对齐(前后无byte、bool等小类型字段),否则 ARM 平台可能 SIGBUS
CompareAndSwapInt32 失败了为什么没报错?它本来就不该报错
atomic.CompareAndSwapInt32 的设计就是返回 bool:成功 true,失败 false。它不 panic、不抛 error,失败是正常并发反馈,不是异常。
- 典型误用:只调一次就放弃逻辑,比如
atomic.CompareAndSwapInt32(&state, 0, 1)后直接往下走,结果 state 已是 1,后续代码却按“已成功”执行 - 正确做法是 CAS loop:循环读旧值 → 判断条件 → 尝试 CAS → 成功则 break,失败则重试或让出(
runtime.Gosched()) - 高竞争下自旋开销可能反超
sync.Mutex,别无脑死循环;必要时加指数退避或改用锁
该用 atomic 还是 mutex?看操作是否「单变量、无分支、无依赖」
atomic 不是 mutex 的轻量替代品,它是另一类工具:只适合做「单个变量的简单读写或算术更新」。
- 适合 atomic 的场景:计数器累加(
atomic.AddInt64)、开关标志(atomic.LoadInt32== 1)、指针替换(atomic.StorePointer) - 必须换 mutex 的场景:涉及多个变量联动(如“A 改完再改 B”)、带条件判断的写入(“若 x > 0 则 y++”)、需要执行一段复合逻辑(如日志+更新+通知)
- Go 1.19+ 推荐优先用
atomic.Int64、atomic.Pointer[T]等泛型封装类型,类型安全、可读性好,避免裸函数传错指针
atomic.Value 不是万能 map 安全器:写入后别再修改内容
atomic.Value 适合“写少读多”且写入对象本身不可变的场景,比如配置热更新、连接池切换。但它不保护你塞进去的对象内部。
- 错误写法:
v.Store(m); m["key"] = "new"——m是 map,Store 后仍可被并发修改,线程不安全 - 正确写法:
v.Store(map[string]int{"a": 1}),每次更新都传全新 map;读取后立刻用,别缓存引用 - 性能注意:读比
sync.RWMutex快得多,但写比sync.Mutex慢,因为内部有自旋+降级机制
真正容易被忽略的是内存序语义和对齐约束——atomic.Load* 默认是 Relaxed 模型,不提供同步屏障;而 int64 字段若没对齐,在某些平台会直接崩溃,不是竞态,是硬件异常。
golang免费学习笔记(深入):立即使用
在学习笔记中,你将探索golang的核心概念和高级技巧!











